OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Epistemic Equilibrium Logic

Fariñas del Cerro, Luis and Herzig, Andreas and Su, Ezgi Iraz Epistemic Equilibrium Logic. (2015) In: 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), 25 July 2015 - 31 July 2015 (Buenos Aires, Argentina).

[img]
Preview
(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
216kB

Official URL: http://ijcai.org/Proceedings/15/Papers/419.pdf

Abstract

We add epistemic modal operators to the language of here-and-there logic and define epistemic here-and-there models.We then successively define epistemic equilibrium models and autoepistemic equilibrium models. The former are obtained from here-and-there models by the standard minimisation of truth of Pearce’s equilibrium logic; they provide an epistemic extension of that logic. The latter are obtained from the former by maximising the set of epistemic possibilities; they provide a new semantics for Gelfond’s epistemic specifications. For both definitions we characterise strong equivalence by means of logical equivalence in epistemic here-and-there logic.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to AAAI editor. The definitive version is available at http://www.aaai.org/ocs/index.php/IJCAI/IJCAI15/paper/view/11467/11077
HAL Id:hal-01334713
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - INPT (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UPS (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 By: IRIT IRIT
Deposited On:03 Jun 2016 13:00

Repository Staff Only: item control page