Interactive Epistemology and Reasoning: On the Foundations of Game Theory

Game theory describes and analyzes strategic interaction. It is usually distinguished between static games, which are strategic situations in which the players choose only once as well as simultaneously, and dynamic games, which are strategic situations involving sequential choices. In addition, dynamic games can be further classified according to perfect and imperfect information. Indeed, a dynamic game is said to exhibit perfect information, whenever at any point of the game every player has full informational access to all choices that have been conducted so far. However, in the case of imperfect information some players are not fully informed about some choices. Game-theoretic analysis proceeds in two steps. Firstly, games are modelled by so-called form structures which extract and formalize the significant parts of the underlying strategic interaction. The basic and most commonly used models of games are the normal form, which rather sparsely describes a game merely in terms of the players' strategy sets and utilities, and the extensive form, which models a game in a more detailed way as a tree. In fact, it is standard to formalize static games with the normal form and dynamic games with the extensive form. Secondly, solution concepts are developed to solve models of games in the sense of identifying the choices that should be taken by rational players. Indeed, the ultimate objective of the classical approach to game theory, which is of normative character, is the development of a solution concept that is capable of identifying a unique choice for every player in an arbitrary game. However, given the large variety of games, it is not at all certain whether it is possible to device a solution concept with such universal capability. Alternatively, interactive epistemology provides an epistemic approach to game theory of descriptive character. This rather recent discipline analyzes the relation between knowledge, belief and choice of game-playing agents in an epistemic framework. The description of the players' choices in a given game relative to various epistemic assumptions constitutes the fundamental problem addressed by an epistemic approach to game theory. In a general sense, the objective of interactive epistemology consists in characterizing existing game-theoretic solution concepts in terms of epistemic assumptions as well as in proposing novel solution concepts by studying the game-theoretic implications of refined or new epistemic hypotheses. Intuitively, an epistemic model of a game can be interpreted as representing the reasoning of the players. Indeed, before making a decision in a game, the players reason about the game and their respective opponents, given their knowledge and beliefs. Precisely these epistemic mental states on which players base their decisions are explicitly expressible in an epistemic framework. In this PhD thesis, we consider an epistemic approach to game theory from a foundational point of view. In Chapter 1, basic game-theoretic notions as well as Aumann's epistemic framework for games are expounded and illustrated. Also, Aumann's sufficient conditions for backward induction are presented and his conceptual views discussed. In Chapter 2, Aumann's interactive epistemology is conceptually analyzed. In Chapter 3, which is based on joint work with Conrad Heilmann, a three-stage account for dynamic games is introduced and a type-based epistemic model is extended with a notion of agent connectedness. Then, sufficient conditions for backward induction are derived. In Chapter 4, which is based on joint work with Jérémie Cabessa, a topological approach to interactive epistemology is initiated. In particular, the epistemic-topological operator limit knowledge is defined and some implications for games considered. In Chapter 5, which is based on joint work with Jérémie Cabessa and Andrés Perea, Aumann's impossibility theorem on agreeing to disagree is revisited and weakened in the sense that possible contexts are provided in which agents can indeed agree to disagree.

Protein-protein interaction investigated by steered molecular dynamics: the TCR-pMHC complex.

We present a novel steered molecular dynamics scheme to induce the dissociation of large protein-protein complexes. We apply this scheme to study the interaction of a T cell receptor (TCR) with a major histocompatibility complex (MHC) presenting a peptide (p). Two TCR-pMHC complexes are considered, which only differ by the mutation of a single amino acid on the peptide; one is a strong agonist that produces T cell activation in vivo, while the other is an antagonist. We investigate the interaction mechanism from a large number of unbinding trajectories by analyzing van der Waals and electrostatic interactions and by computing energy changes in proteins and solvent. In addition, dissociation potentials of mean force are calculated with the Jarzynski identity, using an averaging method developed for our steering scheme. We analyze the convergence of the Jarzynski exponential average, which is hampered by the large amount of dissipative work involved and the complexity of the system. The resulting dissociation free energies largely underestimate experimental values, but the simulations are able to clearly differentiate between wild-type and mutated TCR-pMHC and give insights into the dissociation mechanism.

Structural and functional interaction sites between Na,K-ATPase and FXYD proteins.

Several members of the FXYD protein family are tissue-specific regulators of Na,K-ATPase that produce distinct effects on its apparent K(+) and Na(+) affinity. Little is known about the interaction sites between the Na,K-ATPase alpha subunit and FXYD proteins that mediate the efficient association and/or the functional effects of FXYD proteins. In this study, we have analyzed the role of the transmembrane segment TM9 of the Na,K-ATPase alpha subunit in the structural and functional interaction with FXYD2, FXYD4, and FXYD7. Mutational analysis combined with expression in Xenopus oocytes reveals that Phe(956), Glu(960), Leu(964), and Phe(967) in TM9 of the Na,K-ATPase alpha subunit represent one face interacting with the three FXYD proteins. Leu(964) and Phe(967) contribute to the efficient association of FXYD proteins with the Na,K-ATPase alpha subunit, whereas Phe(956) and Glu(960) are essential for the transmission of the functional effect of FXYD proteins on the apparent K(+) affinity of Na,K-ATPase. The relative contribution of Phe(956) and Glu(960) to the K(+) effect differs for different FXYD proteins, probably reflecting the intrinsic differences of FXYD proteins on the apparent K(+) affinity of Na,K-ATPase. In contrast to the effect on the apparent K(+) affinity, Phe(956) and Glu(960) are not involved in the effect of FXYD2 and FXYD4 on the apparent Na(+) affinity of Na,K-ATPase. The mutational analysis is in good agreement with a docking model of the Na,K-ATPase/FXYD7 complex, which also predicts the importance of Phe(956), Glu(960), Leu(964), and Phe(967) in subunit interaction. In conclusion, by using mutational analysis and modeling, we show that TM9 of the Na,K-ATPase alpha subunit exposes one face of the helix that interacts with FXYD proteins and contributes to the stable interaction with FXYD proteins, as well as mediating the effect of FXYD proteins on the apparent K(+) affinity of Na,K-ATPase.

Three-dimensional models of 14α-sterol demethylase (Cyp51A) from Aspergillus lentulus and Aspergillus fumigatus: an insight into differences in voriconazole interaction.

Aspergillus lentulus, an Aspergillus fumigatus sibling species, is increasingly reported in corticosteroid-treated patients. Its clinical significance is unknown, but the fact that A. lentulus shows reduced antifungal susceptibility, mainly to voriconazole, is of serious concern. Heterologous expression of cyp51A from A. fumigatus and A. lentulus was performed in Saccharomyces cerevisiae to assess differences in the interaction of Cyp51A with the azole drugs. The absence of endogenous ERG11 was efficiently complemented in S. cerevisiae by the expression of either Aspergillus cyp51A allele. There was a marked difference between azole minimum inhibitory concentration (MIC) values of the clones expressing each Aspergillus spp. cyp51A. Saccharomyces cerevisiae clones expressing A. lentulus alleles showed higher MICs to all of the azoles tested, supporting the hypothesis that the intrinsic azole resistance of A. lentulus could be associated with Cyp51A. Homology models of A. fumigatus and A. lentulus Cyp51A protein based on the crystal structure of Cyp51p from Mycobacterium tuberculosis in complex with fluconazole were almost identical owing to their mutual high sequence identity. Molecular dynamics (MD) was applied to both three-dimensional protein models to refine the homology modelling and to explore possible differences in the Cyp51A-voriconazole interaction. After 20ns of MD modelling, some critical differences were observed in the putative closed form adopted by the protein upon voriconazole binding. A closer study of the A. fumigatus and A. lentulus voriconazole putative binding site in Cyp51A suggested that some major differences in the protein's BC loop could differentially affect the lock-up of voriconazole, which in turn could correlate with their different azole susceptibility profiles.

LILRB2 interaction with HLA class I correlates with control of HIV-1 infection.

Natural progression of HIV-1 infection depends on genetic variation in the human major histocompatibility complex (MHC) class I locus, and the CD8+ T cell response is thought to be a primary mechanism of this effect. However, polymorphism within the MHC may also alter innate immune activity against human immunodeficiency virus type 1 (HIV-1) by changing interactions of human leukocyte antigen (HLA) class I molecules with leukocyte immunoglobulin-like receptors (LILR), a group of immunoregulatory receptors mainly expressed on myelomonocytic cells including dendritic cells (DCs). We used previously characterized HLA allotype-specific binding capacities of LILRB1 and LILRB2 as well as data from a large cohort of HIV-1-infected individuals (N = 5126) to test whether LILR-HLA class I interactions influence viral load in HIV-1 infection. Our analyses in persons of European descent, the largest ethnic group examined, show that the effect of HLA-B alleles on HIV-1 control correlates with the binding strength between corresponding HLA-B allotypes and LILRB2 (p = 10(-2)). Moreover, overall binding strength of LILRB2 to classical HLA class I allotypes, defined by the HLA-A/B/C genotypes in each patient, positively associates with viral replication in the absence of therapy in patients of both European (p = 10(-11)-10(-9)) and African (p = 10(-5)-10(-3)) descent. This effect appears to be driven by variations in LILRB2 binding affinities to HLA-B and is independent of individual class I allelic effects that are not related to the LILRB2 function. Correspondingly, in vitro experiments suggest that strong LILRB2-HLA binding negatively affects antigen-presenting properties of DCs. Thus, we propose an impact of LILRB2 on HIV-1 disease outcomes through altered regulation of DCs by LILRB2-HLA engagement.

Pharmacokinetic interaction between methotrexate and chloral hydrate.

We report the case of a drug interaction between methotrexate (MTX) and chloral hydrate (CH) observed in a child treated for acute leukemia. Significantly slower MTX clearance and increased MTX exposure occurred on the first three courses of a high-dose chemotherapy when co-administered with CH despite normal renal function, adequate hydration, and alkalinization. Mean MTX area under the curve associated with CH administration was 1,134 µmol hours/L, compared to 608 µmol hours/L after discontinuation of CH. This interaction possibly resulted from a competition between anionic CH metabolites and MTX for renal tubular excretion.

An infrared reflection-absorption spectroscopic (IRRAS) study of the interaction of lipid A and lipopolysaccharide Re with endotoxin-binding proteins.

Lipopolysaccharides (LPS, endotoxins) are main constituents of the outer membranes of Gram-negative bacteria, with the 'endotoxic principle' lipid A anchoring LPS into the membrane. When LPS is removed from the bacteria by the action of the immune system or simply by cell dividing, it may interact strongly with immunocompetent cells such as mononuclear cells. This interaction may lead, depending on the LPS concentration, to beneficial (at low) or pathophysiological (at high concentrations) reactions, the latter frequently causing the septic shock syndrome. There is a variety of endogenous LPS-binding proteins. To this class belong lactoferrin (LF) and hemoglobin (Hb), which have been shown to suppress and enhance the LPS-induced cytokine secretion in mononuclear cells, respectively. To elucidate the interaction mechanisms of endotoxins with these proteins, we have investigated in an infrared reflection-absorption spectroscopy (IRRAS) study the interaction of LPS or lipid A monolayers at the air/water interface with LF and Hb proteins, injected into the aqueous subphase. The data are clearly indicative of completely different interaction mechanisms of the endotoxins with the proteins, with the LF acting only at the LPS backbone, whereas Hb incorporates into the lipid monolayer. These data allow an understanding of the different reactivities in the biomedicinal systems.

Social Interaction Effects on Fertility: Intentions and Behaviors

The existing literature shows that social interactions in individuals' networks affect their reproductive attitudes and behaviors through three mechanisms: social influence, social learning, and social support. In this paper, we discuss to what extent the Theory of Planned Behavior (TPB), an individual based theorization of intentions and behavior used to model fertility, takes these social mechanisms into account. We argue that the TPB already integrates social influence and that it could easily accommodate the two other social network mechanisms. By doing so, the theory would be enriched in two respects. First, it will explain more completely how macro level changes eventually ends in micro level changes in behavioral intentions. Indeed, mechanisms of social influence may explain why changes in representations of parenthood and ideal family size can be slower than changes in socio-economic conditions and institutions. Social learning mechanisms should also be considered, since they are crucial to distinguish who adopts new behavioral beliefs and practices, when change at the macro level finally sinks in. Secondly, relationships are a capital of services that can complement institutional offering (informal child care) as well as a capital of knowledge which help individuals navigate in a complex institutional reality, providing a crucial element to explain heterogeneity in the successful realization of fertility intentions across individuals. We develop specific hypotheses concerning the effect of social interactions on fertility intentions and their realization to conclude with a critical review of the existing surveys suitable to test them and their limits.

Le code-switching comme ressource stratégique pour la gestion de l'interaction multilingue : coordination et leadership dans un groupe de travail

In this article, we analyze a multilingual interaction in a students' working group and hypothesize a correlation between management of languages in interaction and leadership. We consider Codeswitching as one of the most relevant observables in multilingual interaction and attempt to analyze how it is used by speakers. After a brief presentation of three theoretical and analytical conceptions of Code-switching in interaction (Auer, Mondada & Myers Scotton), we define Code-switching as an interactional, strategical, multilingual resource exploited by speakers to achieve various interactional and non interactional goals. We then show in two CA-like analysis how multilingual strategical resources occur in the interactional practices of the analyzed working group, and how they are exploited by speakers in order to organize interaction, work, tasks, and to construct one's leadership. We also consider the metadiscourses of the students about their own practices and multilingualism in general, in order to confront them to their actual multilingual practices. We draw the hypothesis that discrepancies observed between metadiscourses and practices can be explained through the development of (meta)discourses showing a unilingual conception in describing multilingual practices.