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).
|
(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 - 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: | 03 Jun 2016 13:00 |
Repository Staff Only: item control page