ML Anthology

Computing Circumscription

Vladimir Lifschitz
IJCAI 1985 pp. 121-127
/ijcai/1985/lifschitz1985ijcai-computing/

Abstract

Circumscription is a transformation of predicate formulas proposed by John McCarthy for the purpose of formalizing non-monotonic aspects of commonsense reasoning. Circumscription is difficult to implement because its definition involves a second-order quantifier. This paper presents metamathematical results that allow us in some cases to replace circumscription by an equivalent first-order formula.

PDF Semantic Scholar

Cite

Text

Lifschitz. "Computing Circumscription." International Joint Conference on Artificial Intelligence, 1985.

Markdown

[Lifschitz. "Computing Circumscription." International Joint Conference on Artificial Intelligence, 1985.](https://mlanthology.org/ijcai/1985/lifschitz1985ijcai-computing/)

BibTeX

@inproceedings{lifschitz1985ijcai-computing,
  title     = {{Computing Circumscription}},
  author    = {Lifschitz, Vladimir},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1985},
  pages     = {121-127},
  url       = {https://mlanthology.org/ijcai/1985/lifschitz1985ijcai-computing/}
}