Some Remarks on the Model Theory of Epistemic Plausibility Models

Classical logics of knowledge and belief are usually interpreted on Kripke models, for which a mathematically well-developed model theory is available. However, such models are inadequate to capture dynamic phenomena. Therefore, epistemic plausibility models have been introduced. Because these are much richer structures than Kripke models, they do not straightforwardly inherit the model-theoretical results of modal logic. Therefore, while epistemic plausibility structures are well-suited for modeling purposes, an extensive investigation of their model theory has been lacking so far. The aim of the present paper is to fill exactly this gap, by initiating a systematic exploration of the model theory of epistemic plausibility models. Like in 'ordinary' modal logic, the focus will be on the notion of bisimulation. We define various notions of bisimulations (parametrized by a language L) and show that L-bisimilarity implies L-equivalence. We prove a Hennesy-Milner type result, and also two undefinability results. However, our main point is a negative one, viz. that bisimulations cannot straightforwardly be generalized to epistemic plausibility models if conditional belief is taken into account. We present two ways of coping with this issue: (i) adding a modality to the language, and (ii) putting extra constraints on the models. Finally, we make some remarks about the interaction between bisimulation and dynamic model changes.Comment: 19 pages, 3 figure

Interpreting an action from what we perceive and what we expect

International audienceIn update logic as studied by Baltag, Moss, Solecki and van Benthem, little attention is paid to the interpretation of an action by an agent, which is just assumed to depend on the situation. This is actually a complex issue that nevertheless complies to some logical dynamics. In this paper, we tackle this topic. We also deal with actions that change propositional facts of the situation. In parallel, we propose a formalism to accurately represent an agent's epistemic state based on hyperreal numbers. In that respect, we use infinitesimals to express what would surprise the agents (and by how much) by contradicting their beliefs. We also use a subjective probability to model the notion of belief. It turns out that our probabilistic update mechanism satisfies the AGM postulates of belief revision

On the Right Path: A Modal Logic for Supervised Learning

Formal learning theory formalizes the process of inferring a general result from examples, as in the case of inferring grammars from sentences when learning a language. Although empirical evidence suggests that children can learn a language without responding to the correction of linguistic mistakes, the importance of Teacher in many other paradigms is significant. Instead of focusing only on learner(s), this work develops a general framework---the supervised learning game (SLG)---to investigate the interaction between Teacher and Learner. In particular, our proposal highlights several interesting features of the agents: on the one hand,Learner may make mistakes in the learning process, and she may also ignore the potential relation between different hypotheses; on the other hand, Teacher is able to correct Learner's mistakes, eliminate potential mistakes and point out the facts ignored by Learner. To reason about strategies in this game, we develop a modal logic of supervised learning (SLL). Broadly, this work takes a small step towards studying the interaction between graph games, logics and formal learning theory.Comment: The paper was accepted by LORI 2019. But due to the page-limit constraints, that Proceedings version does not include any proofs. In this version, we show the proofs for the result

Dynamics of Macrophage Trogocytosis of Rituximab-Coated B Cells

Macrophages can remove antigen from the surface of antibody-coated cells by a process termed trogocytosis. Using live cell microscopy and flow cytometry, we investigated the dynamics of trogocytosis by RAW264.7 macrophages of Ramos B cells opsonized with the anti-CD20 monoclonal antibody rituximab. Spontaneous and reversible formation of uropods was observed on Ramos cells, and these showed a strong enrichment in rituximab binding. RAW-Ramos conjugate interfaces were highly enriched in rituximab, and transfer of rituximab to the RAW cells in submicron-sized puncta occurred shortly after cell contact. Membrane from the target cells was concomitantly transferred along with rituximab to a variable extent. We established a flow cytometry-based approach to follow the kinetics of transfer and internalization of rituximab. Disruption of actin polymerization nearly eliminated transfer, while blocking phosphatidylinositol 3-kinase activity only resulted in a delay in its acquisition. Inhibition of Src family kinase activity both slowed acquisition and reduced the extent of trogocytosis. The effects of inhibiting these kinases are likely due to their role in efficient formation of cell-cell conjugates. Selective pre-treatment of Ramos cells with phenylarsine oxide blocked uropod formation, reduced enrichment of rituximab at cell-cell interfaces, and reduced the efficiency of trogocytic transfer of rituximab. Our findings highlight that dynamic changes in target cell shape and surface distribution of antigen may significantly influence the progression and extent of trogocytosis. Understanding the mechanistic determinants of macrophage trogocytosis will be important for optimal design of antibody therapies

Logics of knowledge and action: critical analysis and challenges

International audienceWe overview the most prominent logics of knowledge and action that were proposed and studied in the multiagent systems literature. We classify them according to these two dimensions, knowledge and action, and moreover introduce a distinction between individual knowledge and group knowledge, and between a nonstrategic an a strategic interpretation of action operators. For each of the logics in our classification we highlight problematic properties. They indicate weaknesses in the design of these logics and call into question their suitability to represent knowledge and reason about it. This leads to a list of research challenges

Plasmodium falciparum Adhesion on Human Brain Microvascular Endothelial Cells Involves Transmigration-Like Cup Formation and Induces Opening of Intercellular Junctions

Cerebral malaria, a major cause of death during malaria infection, is characterised by the sequestration of infected red blood cells (IRBC) in brain microvessels. Most of the molecules implicated in the adhesion of IRBC on endothelial cells (EC) are already described; however, the structure of the IRBC/EC junction and the impact of this adhesion on the EC are poorly understood. We analysed this interaction using human brain microvascular EC monolayers co-cultured with IRBC. Our study demonstrates the transfer of material from the IRBC to the brain EC plasma membrane in a trogocytosis-like process, followed by a TNF-enhanced IRBC engulfing process. Upon IRBC/EC binding, parasite antigens are transferred to early endosomes in the EC, in a cytoskeleton-dependent process. This is associated with the opening of the intercellular junctions. The transfer of IRBC antigens can thus transform EC into a target for the immune response and contribute to the profound EC alterations, including peri-vascular oedema, associated with cerebral malaria

Fas Signalling Promotes Intercellular Communication in T Cells

Cell-to-cell communication is a fundamental process for development and maintenance of multicellular organisms. Diverse mechanisms for the exchange of molecular information between cells have been documented, such as the exchange of membrane fragments (trogocytosis), formation of tunneling nanotubes (TNTs) and release of microvesicles (MVs). In this study we assign to Fas signalling a pivotal role for intercellular communication in CD4+ T cells. Binding of membrane-bound FasL to Fas expressing target cells triggers a well-characterized pro-apoptotic signalling cascade. However, our results, pairing up flow cytometric studies with confocal microscopy data, highlight a new social dimension for Fas/FasL interactions between CD4+ T cells. Indeed, FasL enhances the formation of cell conjugates (8 fold of increase) in an early time-frame of stimulation (30 min), and this phenomenon appears to be a crucial step to prime intercellular communication. Our findings show that this communication mainly proceeds along a cytosolic material exchange (ratio of exchange >10, calculated as ratio of stimulated cells signal divided by that recorded in control cells) via TNTs and MVs release. In particular, inhibition of TNTs genesis by pharmacological agents (Latruculin A and Nocodazole) markedly reduced this exchange (inhibition percentage: >40% and >50% respectively), suggesting a key role for TNTs in CD4+ T cells communication. Although MVs are present in supernatants from PHA-activated T cells, Fas treatment also leads to a significant increase in the amount of released MVs. In fact, the co-culture performed between MVs and untreated cells highlights a higher presence of MVs in the medium (1.4 fold of increase) and a significant MVs uptake (6 fold of increase) by untreated T lymphocytes. We conclude that Fas signalling induces intercellular communication in CD4+ T cells by different mechanisms that seem to start concomitantly with the main pathway (programmed cell death) promoted by FasL