Epistemic alignment repair

International audienc

Forgetting agent awareness: a partial semantics approach

International audiencePartial Dynamic Epistemic Logic allows agents to have different knowledge representations about the world through agent awareness. Agents use their own vocabularies to reason and talk about the world and raise their awareness when confronted with new vocabulary. Through raising awareness the vocabularies of agents are extended, suggesting there is a dual, inverse operator for forgetting awareness that decreases vocabularies. In this paper, we discuss such an operator. Unlike raising awareness, this operator may induce an abstraction on models that removes evidence while preserving conclusions. This is useful to better understand how agents with different knowledge representations communicate with each other, as they may forget the justifications that led them to their conclusions

Agent ontology alignment repair through dynamic epistemic logic

vandenberg2020aInternational audienceOntology alignments enable agents to communicate while preserving heterogeneity in their information. Alignments may not be provided as input and should be able to evolve when communication fails or when new information contradicting the alignment is acquired. In the Alignment Repair Game (ARG) this evolution is achieved via adaptation operators. ARG was evaluated experimentally and the experiments showed that agents converge towards successful communication and improve their alignments. However, whether the adaptation operators are formally correct, complete or redundant is still an open question. In this paper, we introduce a formal framework based on Dynamic Epistemic Logic that allows us to answer this question. This framework allows us (1) to express the ontologies and alignments used, (2) to model the ARG adaptation operators through announcements and conservative upgrades and (3) to formally establish the correctness, partial redundancy and incompleteness of the adaptation operators in ARG

Unawareness in multi-agent systems with partial valuations

International audiencePublic signature awareness is satisfied if agents are aware of the vocabulary, propositions, used by other agents to think and talk about the world. However, assuming that agents are fully aware of each other's signatures prevents them to adapt their vocabularies to newly gained information, from the environment or learned through agent communication. Therefore this is not realistic for open multi-agent systems. We propose a novel way to model awareness with partial valuations that drops public signature awareness and can model agent signature unawareness, and we give a first view on defining the dynamics of raising and forgetting awareness on this framework

Genetic correlation between amyotrophic lateral sclerosis and schizophrenia

A. Palotie on työryhmän Schizophrenia Working Grp Psychiat jäsen.We have previously shown higher-than-expected rates of schizophrenia in relatives of patients with amyotrophic lateral sclerosis (ALS), suggesting an aetiological relationship between the diseases. Here, we investigate the genetic relationship between ALS and schizophrenia using genome-wide association study data from over 100,000 unique individuals. Using linkage disequilibrium score regression, we estimate the genetic correlation between ALS and schizophrenia to be 14.3% (7.05-21.6; P = 1 x 10(-4)) with schizophrenia polygenic risk scores explaining up to 0.12% of the variance in ALS (P = 8.4 x 10(-7)). A modest increase in comorbidity of ALS and schizophrenia is expected given these findings (odds ratio 1.08-1.26) but this would require very large studies to observe epidemiologically. We identify five potential novel ALS-associated loci using conditional false discovery rate analysis. It is likely that shared neurobiological mechanisms between these two disorders will engender novel hypotheses in future preclinical and clinical studies.Peer reviewe

Identification of 12 new susceptibility loci for different histotypes of epithelial ovarian cancer.

To identify common alleles associated with different histotypes of epithelial ovarian cancer (EOC), we pooled data from multiple genome-wide genotyping projects totaling 25,509 EOC cases and 40,941 controls. We identified nine new susceptibility loci for different EOC histotypes: six for serous EOC histotypes (3q28, 4q32.3, 8q21.11, 10q24.33, 18q11.2 and 22q12.1), two for mucinous EOC (3q22.3 and 9q31.1) and one for endometrioid EOC (5q12.3). We then performed meta-analysis on the results for high-grade serous ovarian cancer with the results from analysis of 31,448 BRCA1 and BRCA2 mutation carriers, including 3,887 mutation carriers with EOC. This identified three additional susceptibility loci at 2q13, 8q24.1 and 12q24.31. Integrated analyses of genes and regulatory biofeatures at each locus predicted candidate susceptibility genes, including OBFC1, a new candidate susceptibility gene for low-grade and borderline serous EOC

L'évolution culturelle de la connaissance en logique épistémique dynamique

Experimental cultural knowledge evolution aims at studying the mechanisms that agents use to evolve their knowledge in situated, dynamic and open environments: environments in which agents simultaneously use their knowledge to accomplish a (joint) task and evolve their knowledge when it fails.It has been applied to the evolution of alignments in the Alignment Repair Game (ARG).In ARG, agents play a communication game using alignments between their ontologies and apply adaptation operators to repair the alignments whenever communication failures occur.Experiments have shown that, through ARG, agents improve their alignments and reach successful communication.Such experiments contribute to understanding how agents evolve their knowledge: through simulations with large number of games, properties such as convergence can be studied and established.However, these simulations and experiments are not sufficient to understand the formal, logical properties of cultural knowledge evolution, whether for example the adaptation operators applied in ARG are formally correct, complete or redundant.This thesis bridges experimental cultural knowledge evolution with a theoretical evaluation of cultural knowledge evolution in logic.This is achieved by introducing Dynamic Epistemic Ontology Logic and defining a faithful translation of ARG in DEOL that (a) encodes the ontologies, (b) maps agents' ontologies and alignments to knowledge and beliefs, and (c) captures the adaptation operators through announcements and conservative upgrades.With this translation, the formal properties (correctness, completeness and redundancy) of the adaptation operators are investigated: how they compare to the mechanisms used by agents in logic to evolve.We prove that all but one adaptation operator are formally correct, all adaptation operators are incomplete and two adaptation operators are partially redundant.Three differences between the ARG agents and their logical modeling are identified: (1) reasoning locally or globally, (2) vocabulary awareness and (3) the ability of agents to remember or discard individual cases in favour of general knowledge.Addressing these differences leads to introduce awareness for DEOL based partial valuation functions and weakly reflexive relations, and define raising awareness and forgetting modalities.This is used to define an alternative translation of ARG under which the adaptation operators are proven to be correct and complete for ARG states of two agents, therefore showing that DEOL is insufficient to model cultural knowledge evolution.The contribution of this thesis is two-fold.The Alignment Repair Game is modeled and evaluated using logic, establishing the formal properties of the adaptation operators.Furthermore, an independent model of awareness is introduced on which raising awareness and forgetting modalities are defined.With this, it is possible to model situations in which agents use different and dynamic vocabularies to represent their knowledge and beliefs.Lastly, awareness is used to show that to be successful in ARG, agents do not need full awareness of the vocabularies used by others.Together, they pave the way for defining a theoretical model of cultural knowledge evolution.L'évolution culturelle et expérimentale de la connaissance vise à étudier les mécanismes que les agents utilisent pour faire évoluer leurs connaissances dans des environnements situés, dynamiques et ouverts : des environnements dans lesquels les agents utilisent simultanément leurs connaissances pour accomplir une tâche (conjointe) et font évoluer leurs connaissances en cas d'échec.Elle a été appliquée à l'évolution des alignements dans le jeu de réparation des alignements (ARG).Dans l'ARG, les agents jouent un jeu de communication en utilisant des alignements entre leurs ontologies et appliquent des opérateurs d'adaptation pour réparer les alignements lorsque des échecs de communication se produisent.Des expériences ont montré que, grâce à l'ARG, les agents améliorent leurs alignements et parviennent à communiquer avec succès.Ces expériences contribuent à la compréhension de la manière dont les agents font évoluer leurs connaissances : grâce à des simulations avec un grand nombre de jeux, des propriétés telles que la convergence peuvent être étudiées et établies.Cependant, ces simulations et expériences ne sont pas suffisantes pour comprendre les propriétés formelles et logiques de l'évolution culturelle de la connaissance, si, par exemple, les opérateurs d'adaptation appliqués dans ARG sont formellement corrects, complets ou redondants.Cette thèse jette un pont entre l'évolution culturelle de la connaissance et une évaluation théorique de l'évolution culturelle de la connaissance en logique.Ceci est réalisé en introduisant la Logique épistémique dynamique d'ontologies (DEOL) et en définissant une traduction fidèle de ARG en DEOL qui (a) encode les ontologies, (b) fait correspondre les ontologies et les alignements des agents aux connaissances et aux croyances, et (c) capture les opérateurs d'adaptation à travers les annonces et les mises à jour conservatrices.Avec cette traduction, nous étudions les propriétés formelles (correction, complétude et redondance) des opérateurs d'adaptation : comment ils se comparent aux mécanismes utilisés par les agents en logique pour évoluer.Nous prouvons que tous les opérateurs d'adaptation sauf un sont formellement corrects, que tous les opérateurs d'adaptation sont incomplets et que deux opérateurs d'adaptation sont partiellement redondants.Nous identifions trois différences entre les agents ARG et leur modélisation logique : (1) le raisonnement local ou global, (2) la connaissance du vocabulaire et (3) la capacité des agents à se souvenir ou à écarter des cas particuliers en faveur de connaissances générales.La prise en compte de ces différences conduit à introduire la prise de conscience pour les fonctions d'évaluation partielle basées sur DEOL et les relations faiblement réflexives, et à définir les modalités de prise de conscience et d'oubli.Ceci est utilisé pour définir une traduction alternative de ARG sous laquelle il est prouvé que les opérateurs d'adaptation sont corrects et complets pour les états ARG de deux agents, montrant ainsi que DEOL est insuffisant pour modéliser l'évolution culturelle de la connaissance.La contribution de cette thèse est double.Le jeu de réparation des alignements est modélisé et évalué en utilisant la logique, établissant les propriétés formelles des opérateurs d'adaptation.De plus, un modèle indépendant de la conscience est introduit sur lequel les modalités de prise de conscience et d'oubli sont définies.Grâce à cela, il est possible de modéliser des situations dans lesquelles les agents utilisent des vocabulaires différents et dynamiques pour représenter leurs connaissances et leurs croyances.Enfin, la conscience est utilisée pour montrer que afin de réussir dans l'ARG, les agents n'ont pas besoin d'avoir une connaissance totale des vocabulaires utilisés par les autres.Ensemble, ils ouvrent la voie à la définition d'un modèle théorique d'évolution culturelle de la connaissance

L'évolution culturelle de la connaissance en logique épistémique dynamique

Experimental cultural knowledge evolution aims at studying the mechanisms that agents use to evolve their knowledge in situated, dynamic and open environments: environments in which agents simultaneously use their knowledge to accomplish a (joint) task and evolve their knowledge when it fails.It has been applied to the evolution of alignments in the Alignment Repair Game (ARG).In ARG, agents play a communication game using alignments between their ontologies and apply adaptation operators to repair the alignments whenever communication failures occur.Experiments have shown that, through ARG, agents improve their alignments and reach successful communication.Such experiments contribute to understanding how agents evolve their knowledge: through simulations with large number of games, properties such as convergence can be studied and established.However, these simulations and experiments are not sufficient to understand the formal, logical properties of cultural knowledge evolution, whether for example the adaptation operators applied in ARG are formally correct, complete or redundant.This thesis bridges experimental cultural knowledge evolution with a theoretical evaluation of cultural knowledge evolution in logic.This is achieved by introducing Dynamic Epistemic Ontology Logic and defining a faithful translation of ARG in DEOL that (a) encodes the ontologies, (b) maps agents' ontologies and alignments to knowledge and beliefs, and (c) captures the adaptation operators through announcements and conservative upgrades.With this translation, the formal properties (correctness, completeness and redundancy) of the adaptation operators are investigated: how they compare to the mechanisms used by agents in logic to evolve.We prove that all but one adaptation operator are formally correct, all adaptation operators are incomplete and two adaptation operators are partially redundant.Three differences between the ARG agents and their logical modeling are identified: (1) reasoning locally or globally, (2) vocabulary awareness and (3) the ability of agents to remember or discard individual cases in favour of general knowledge.Addressing these differences leads to introduce awareness for DEOL based partial valuation functions and weakly reflexive relations, and define raising awareness and forgetting modalities.This is used to define an alternative translation of ARG under which the adaptation operators are proven to be correct and complete for ARG states of two agents, therefore showing that DEOL is insufficient to model cultural knowledge evolution.The contribution of this thesis is two-fold.The Alignment Repair Game is modeled and evaluated using logic, establishing the formal properties of the adaptation operators.Furthermore, an independent model of awareness is introduced on which raising awareness and forgetting modalities are defined.With this, it is possible to model situations in which agents use different and dynamic vocabularies to represent their knowledge and beliefs.Lastly, awareness is used to show that to be successful in ARG, agents do not need full awareness of the vocabularies used by others.Together, they pave the way for defining a theoretical model of cultural knowledge evolution.L'évolution culturelle et expérimentale de la connaissance vise à étudier les mécanismes que les agents utilisent pour faire évoluer leurs connaissances dans des environnements situés, dynamiques et ouverts : des environnements dans lesquels les agents utilisent simultanément leurs connaissances pour accomplir une tâche (conjointe) et font évoluer leurs connaissances en cas d'échec.Elle a été appliquée à l'évolution des alignements dans le jeu de réparation des alignements (ARG).Dans l'ARG, les agents jouent un jeu de communication en utilisant des alignements entre leurs ontologies et appliquent des opérateurs d'adaptation pour réparer les alignements lorsque des échecs de communication se produisent.Des expériences ont montré que, grâce à l'ARG, les agents améliorent leurs alignements et parviennent à communiquer avec succès.Ces expériences contribuent à la compréhension de la manière dont les agents font évoluer leurs connaissances : grâce à des simulations avec un grand nombre de jeux, des propriétés telles que la convergence peuvent être étudiées et établies.Cependant, ces simulations et expériences ne sont pas suffisantes pour comprendre les propriétés formelles et logiques de l'évolution culturelle de la connaissance, si, par exemple, les opérateurs d'adaptation appliqués dans ARG sont formellement corrects, complets ou redondants.Cette thèse jette un pont entre l'évolution culturelle de la connaissance et une évaluation théorique de l'évolution culturelle de la connaissance en logique.Ceci est réalisé en introduisant la Logique épistémique dynamique d'ontologies (DEOL) et en définissant une traduction fidèle de ARG en DEOL qui (a) encode les ontologies, (b) fait correspondre les ontologies et les alignements des agents aux connaissances et aux croyances, et (c) capture les opérateurs d'adaptation à travers les annonces et les mises à jour conservatrices.Avec cette traduction, nous étudions les propriétés formelles (correction, complétude et redondance) des opérateurs d'adaptation : comment ils se comparent aux mécanismes utilisés par les agents en logique pour évoluer.Nous prouvons que tous les opérateurs d'adaptation sauf un sont formellement corrects, que tous les opérateurs d'adaptation sont incomplets et que deux opérateurs d'adaptation sont partiellement redondants.Nous identifions trois différences entre les agents ARG et leur modélisation logique : (1) le raisonnement local ou global, (2) la connaissance du vocabulaire et (3) la capacité des agents à se souvenir ou à écarter des cas particuliers en faveur de connaissances générales.La prise en compte de ces différences conduit à introduire la prise de conscience pour les fonctions d'évaluation partielle basées sur DEOL et les relations faiblement réflexives, et à définir les modalités de prise de conscience et d'oubli.Ceci est utilisé pour définir une traduction alternative de ARG sous laquelle il est prouvé que les opérateurs d'adaptation sont corrects et complets pour les états ARG de deux agents, montrant ainsi que DEOL est insuffisant pour modéliser l'évolution culturelle de la connaissance.La contribution de cette thèse est double.Le jeu de réparation des alignements est modélisé et évalué en utilisant la logique, établissant les propriétés formelles des opérateurs d'adaptation.De plus, un modèle indépendant de la conscience est introduit sur lequel les modalités de prise de conscience et d'oubli sont définies.Grâce à cela, il est possible de modéliser des situations dans lesquelles les agents utilisent des vocabulaires différents et dynamiques pour représenter leurs connaissances et leurs croyances.Enfin, la conscience est utilisée pour montrer que afin de réussir dans l'ARG, les agents n'ont pas besoin d'avoir une connaissance totale des vocabulaires utilisés par les autres.Ensemble, ils ouvrent la voie à la définition d'un modèle théorique d'évolution culturelle de la connaissance

Epistemic alignment repair

International audienc