Epistemic Equilibrium Logic
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence. Special Track on Knowledge Representation and Reasoning. Pages 2964-2969.
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.
@inproceedings{ijcai2015p419,
title = {Epistemic Equilibrium Logic},
author = {Fariñas del Cerro, Luis and Herzig, Andreas and Su, Ezgi Iraz},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI-15}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Qiang Yang and Michael Wooldridge},
pages = {2964--2969},
year = {2015},
month = {7},
note = {Special Track on Knowledge Representation and Reasoning},
url = {https://ijcai.org/proceedings/2015/419},
}
TY - CPAPER TI - Epistemic Equilibrium Logic AU - Fariñas del Cerro, Luis AU - Herzig, Andreas AU - Su, Ezgi Iraz T2 - Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-15 PB - International Joint Conferences on Artificial Intelligence PY - 2015 SP - 2964 EP - 2969 UR - https://ijcai.org/proceedings/2015/419 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
