1,720,966 research outputs found
Raising awareness without disclosing truth
No full textAgents use their own vocabularies to reason and talk about the world. Public signature awareness is satisfied if agents are aware of the vocabularies, or signatures, used by all agents they may, eventually, interact with. Multi-agent modal logics and in particular Dynamic Epistemic Logic rely on public signature awareness for modeling information flow in multi-agent systems. However, this assumption is not desirable for dynamic and open multi-agent systems because (1) it prevents agents to use unique signatures other agents are unaware of, (2) it prevents agents to openly extend their signatures when encountering new information, and (3) it requires that all future knowledge and beliefs of agents are bounded by the current state. We propose a new semantics for awareness that enables us to drop public signature awareness. This semantics is based on partial valuation functions and weakly reflexive relations. Dynamics for raising public and private awareness are then defined in such a way as to differentiate between becoming aware of a proposition and learning its truth value. With this, we show that knowledge and beliefs are not affected through the raising operations
Cultural knowledge evolution in dynamic epistemic logic
No full textL'é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.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
Forgetting agent awareness: a partial semantics approach
Get PDFInternational 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
L'évolution culturelle de la connaissance en logique épistémique dynamique
No full textExperimental 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
Going Beyond Counting First Authors in Author Co-citation Analysis
Get PDFThe present study examines one of the fundamental aspects of author co-citation analysis (ACA) - the way co-citation
counts are defined. Co-citation counting provides the data on which all subsequent statistical analyses and mappings
are based, and we compare ACA results based on two different types of co-citation counting - the traditional type that
only counts the first one among a cited work's authors on the one hand and a non-traditional type that takes into
account the first 5 authors of a cited work on the other hand. Results indicate that the picture produced through this non-traditional author co-citation counting contains more coherent author groups and is therefore considerably clearer. However, this picture represents fewer specialties in the research field being studied than that produced through the traditional first-author co-citation counting when the same number of top-ranked authors is selected and analyzed. Reasons for these effects are discussed
Variations on the Author
Get PDF“Variations on the Author” discusses two of Eduardo Coutinho’s recent films (Um Dia na Vida, from 2010, and Últimas Conversas, posthumously released in 2015) and their contribution to the general question of documentary authorship. The director’s filmography is characterized by a consistent yet self-effacing form of authorial self-inscription: Coutinho often features as an interviewer that rather than express opinions propels discourses; an interviewer that is good at listening. This mode of self-inscription characterizes him as an author who is not expressive but who is nonetheless markedly present on the screen. In Um Dia na Vida, however, Coutinho is completely absent form the image, while Últimas Conversas, on the contrary, includes a confessional prologue that moves the director from the margins to the center of his films. This article examines the ways in which these works stand out in the filmography of a director who offers new insights into the notion of cinematic authorship
Appropriate Similarity Measures for Author Cocitation Analysis
Get PDFWe provide a number of new insights into the methodological discussion about author cocitation analysis. We first argue that the use of the Pearson correlation for measuring the similarity between authors’ cocitation profiles is not very satisfactory. We then discuss what kind of similarity measures may be used as an alternative to the Pearson correlation. We consider three similarity measures in particular. One is the well-known cosine. The other two similarity measures have not been used before in the bibliometric literature. Finally, we show by means of an example that our findings have a high practical relevance.information science;Pearson correlation;cosine;similarity measure;author cocitation analysis
Dispelling the Myths Behind First-author Citation Counts
Get PDFWe conducted a full-scale evaluative citation analysis study of scholars in the XML research field to explore just how different from each other author rankings resulting from different citation counting methods actually are, and to demonstrate the capability of emerging data and tools on the Web in supporting more realistic citation counting methods. Our results contest some common arguments for the continued
use of first-author citation counts in the evaluation of scholars, such as high correlations between author rankings by first-author citation counts and other citation
counting methods, and high costs of using more realistic citation counting methods that are not well-supported by the ISI databases. It is argued that increasingly available digital full text research papers make it possible for citation analysis studies to go beyond what the ISI databases have directly supported and to employ more
sophisticated methods
- …
