A Logic of Explicit and Implicit Distributed Belief - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

A Logic of Explicit and Implicit Distributed Belief

Résumé

We present a new logic of explicit and implicit distributed belief with a formal semantics exploiting the notion of belief base. A coalition's distributed belief of explicit type corresponds to a piece of information contained in the collective belief base of the coalition, which is obtained by pooling together the individual belief bases of its members. A coalition's distributed belief of implicit type corresponds to a piece of information that is derivable from the collective belief base of the coalition. We study axiomatic aspects of our logic as well as complexity of model checking. As distributed belief can be inconsistent (contrary to distributed knowledge), we also study a consistency-preserving variant of distributed belief inspired by the literature on belief merging.
Fichier principal
Vignette du fichier
1266_paper.pdf (291.66 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03008589 , version 1 (13-12-2020)

Identifiants

  • HAL Id : hal-03008589 , version 1

Citer

Andreas Herzig, Emiliano Lorini, Elise Perrotin, Benito Fabian Romero Jimenez, François Schwarzentruber. A Logic of Explicit and Implicit Distributed Belief. 24th European Conference on Artificial Intelligence (ECAI 2020), Intelligent Systems Group (GSI); Research Center on Intelligent Technologies of the University of Santiago de Compostela (CiTIUS), Aug 2020, Santiago de Compostela, Spain. pp.753-760. ⟨hal-03008589⟩
77 Consultations
710 Téléchargements

Partager

Gmail Facebook X LinkedIn More