Relating Default Logic and Circumscription

Etherington, David W.

Relating Default Logic and Circumscription

Download BibTeX Cite

Proceedings of the Tenth International Joint Conference on Artificial Intelligence. Knowledge Representation. Pages 489-493.

Abstract

Default logic and the various forms of circumscnptton were developed to deal with similar problems. In this paper. we consider what is known about the relationships between the two approaches and present several new results extending this knowledge. We show that there are interesting cases in which the two formalisms do not correspond. as well as cases where default logic subsumes circumscription. We also consider positive and negative results on translating between defaults and circumscription, and develop a context in which they can be evaluated .

David W. Etherington. 1987. Relating Default Logic and Circumscription. In Proceedings of the Tenth International Joint Conference on Artificial Intelligence, IJCAI-87. IJCAI, 489–493. https://ijcai.org/proceedings/1987/96

@inproceedings{ijcai1987p96,
  title     = {Relating Default Logic and Circumscription},
  author    = {Etherington, David W.},
  booktitle = {Proceedings of the Tenth International Joint Conference on
               Artificial Intelligence, {IJCAI-87}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {John McDermott},
  pages     = {489--493},
  year      = {1987},
  note      = {Knowledge Representation},
  url       = {https://ijcai.org/proceedings/1987/96},
}

TY  - CPAPER
TI  - Relating Default Logic and Circumscription
AU  - Etherington, David W.
T2  - Proceedings of the Tenth International Joint Conference on Artificial Intelligence, IJCAI-87
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1987
SP  - 489
EP  - 493
UR  - https://ijcai.org/proceedings/1987/96
ER  -