Circumscribing Defaults
Proceedings of the Twelfth International Joint Conference on Artificial Intelligence. Knowledge Representation. Pages 438-444.
Abstract
One of the questions in understanding the relation between circumscription and consistencybased nonmonotonic logic is - can default logic be expressed in circumscription? While it seems impossible to express default logic in existing forms of circumscription, is it nevertheless possible to express default logic in a certain extension of circumscription? This paper presents a construction of "default logic" in the spirit of circumscription. It has been shown that the new formalism, circumscriptive extension, is indeed an extension of circumscription. The equivalence of the new formalism and default logic is shown to hold under certain conditions, which demonstrates that default logic can be expressed by merely classical logic with a fixed point operator.
@inproceedings{ijcai1991p66,
title = {Circumscribing Defaults},
author = {Qian, Zhaogang and Irani, Keki B.},
booktitle = {Proceedings of the Twelfth International Joint Conference on
Artificial Intelligence, {IJCAI-91}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {John Mylopoulos and Ray Reiter},
pages = {438--444},
year = {1991},
month = {8},
note = {Knowledge Representation},
url = {https://ijcai.org/proceedings/1991/66},
}
TY - CPAPER TI - Circumscribing Defaults AU - Qian, Zhaogang AU - Irani, Keki B. T2 - Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, IJCAI-91 PB - International Joint Conferences on Artificial Intelligence PY - 1991 SP - 438 EP - 444 UR - https://ijcai.org/proceedings/1991/66 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
