On the Relation Between Autoepistem ic Logic and Circumscription
Proceedings of the Eleventh International Joint Conference on Artificial Intelligence. Knowledge Representation. Pages 1213-1217.
Abstract
Circumscription on the one hand and autoepistemic and default logics on the other seem to have quite different characteristics as formal systems, which makes it difficult to compare them as formalizations of defeasible commonsense reasoning. In this paper we accomplish two tasks: (1) we extend the original semantics of autoepistemic logic to a language which includes variables quantified into the context of the autoepistemic operator, and (2) we show that a certain class of autoepistemic theories in the extended language has a minimal-model semantics corresponding to circumscription . We conclude that all of the first-order consequences of parallel predicate circumscription can be obtained from this class of autoepistemic theories. The correspondence we construct also sheds light on the problematic treatment of equality in circumscription.
@inproceedings{ijcai1989p194,
title = {On the Relation Between Autoepistem ic Logic and Circumscription},
author = {Konolige, Kurt},
booktitle = {Proceedings of the Eleventh International Joint Conference on
Artificial Intelligence, {IJCAI-89}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {N. S. Sridharan},
pages = {1213--1217},
year = {1989},
month = {8},
note = {Knowledge Representation},
url = {https://ijcai.org/proceedings/1989/194},
}
TY - CPAPER TI - On the Relation Between Autoepistem ic Logic and Circumscription AU - Konolige, Kurt T2 - Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, IJCAI-89 PB - International Joint Conferences on Artificial Intelligence PY - 1989 SP - 1213 EP - 1217 UR - https://ijcai.org/proceedings/1989/194 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
