In Praise of Belief Bases: Doing Epistemic Logic without Possible Worlds - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

In Praise of Belief Bases: Doing Epistemic Logic without Possible Worlds

Résumé

We introduce a new semantics for a logic of explicit and implicit beliefs based on the concept of multi-agent belief base. Differently from existing Kripke-style semantics for epistemic logic in which the notions of possible world and doxastic/epistemic alternative are primitive, in our semantics they are non-primitive but are defined from the concept of belief base. We provide a complete axiomatization and a decidability result for our logic.

Mots clés

Fichier principal
Vignette du fichier
lorini_24702.pdf (238.56 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03619913 , version 1 (25-03-2022)

Identifiants

Citer

Emiliano Lorini. In Praise of Belief Bases: Doing Epistemic Logic without Possible Worlds. 32nd AAAI Conference on Artificial Intelligence (AAAI 2018), Feb 2018, New Orleans, United States. pp.1915-1922, ⟨10.1609/aaai.v32i1.11560⟩. ⟨hal-03619913⟩
12 Consultations
10 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More