Logical Theories of Collective Attitudes and the Belief Base Perspective - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

Logical Theories of Collective Attitudes and the Belief Base Perspective

Résumé

We present two logics of collective belief with a semantics exploiting the notion of belief base. The semantics distinguishes explicit from implicit belief: an agent's belief of explicit type is a piece of information contained in the agent's belief base, while a belief of implicit type corresponds to a piece of information that is derivable from the agent's belief base. The first part of the paper is devoted to the logic of implicit common belief, while the second presents the logic of explicit common belief. Implicit common belief is defined as a mutual belief of any order. This leads to the usual fixpoint construction of common belief. Explicit common belief is the collective counterpart of explicit individual belief and has a public nature. It moreover implies implicit common belief. We study axiomatic aspects of our logics as well as complexity of satisfiability checking. We show that, while the satisfiability checking problem is EXPTIME-hard for the logic of implicit common belief, it is in PSPACE for the logic of explicit common belief. This makes the latter logic a natural candidate for reasoning about collective attitudes in multi-agent scenarios and applications. We also study a dynamic extension of the logic of explicit common belief in which private and public forms of information dynamics can be modeled.
Fichier principal
Vignette du fichier
p833.pdf (1.32 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03873250 , version 1 (26-11-2022)

Identifiants

  • HAL Id : hal-03873250 , version 1

Citer

Emiliano Lorini, Eloan Rapion. Logical Theories of Collective Attitudes and the Belief Base Perspective. 21st International Conference on Autonomous Agents and MultiAgent Systems (AAMAS 2022), International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS); SIGAI : ACM's Special Interest Group on Artificial Intelligence, May 2022, Auckland (Online conference), New Zealand. pp.833-841. ⟨hal-03873250⟩
27 Consultations
34 Téléchargements

Partager

Gmail Facebook X LinkedIn More