OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

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

Lorini, Emiliano In Praise of Belief Bases: Doing Epistemic Logic without Possible Worlds. (2018) In: 32nd AAAI Conference on Artificial Intelligence (AAAI 2018), 2 February 2018 - 7 February 2018 (New Orleans, United States).

[img] (Document in English)

PDF (Author's version) - Depositor and staff only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
244kB

Official URL: https://aaai.org/ocs/index.php/AAAI/AAAI18/paper/view/16867/15896

Abstract

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.

Item Type:Conference or Workshop Item (Paper)
Additional Information:https://aaai.org/ocs/index.php/AAAI/AAAI18/paper/view/16867
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Statistics:download
Deposited On:21 Nov 2019 14:12

Repository Staff Only: item control page