Loop formulas for circumscription

Joohyung Lee, Fangzhen Lin

Research output: Contribution to journalArticlepeer-review

15 Scopus citations


Clark's completion is a simple nonmonotonic formalism and a special case of several nonmonotonic logics. Recently there has been work on extending completion with "loop formulas" so that general cases of nonmonotonic logics such as logic programs (under the answer set semantics) and McCain-Turner causal logic can be characterized by propositional logic in the form of "completion + loop formulas". In this paper, we show that the idea is applicable to McCarthy's circumscription in the propositional case, with Lifschitz's pointwise circumscription playing the role of completion. We also show how to embed propositional circumscription in logic programs and in causal logic, inspired by the uniform characterization of "completion + loop formulas".

Original languageEnglish (US)
Pages (from-to)160-185
Number of pages26
JournalArtificial Intelligence
Issue number2
StatePublished - Feb 2006


  • Circumscription
  • Clark's completion
  • Commonsense reasoning
  • Knowledge representation
  • Logic programming
  • Loop formulas
  • Nonmonotonic reasoning

ASJC Scopus subject areas

  • Language and Linguistics
  • Linguistics and Language
  • Artificial Intelligence


Dive into the research topics of 'Loop formulas for circumscription'. Together they form a unique fingerprint.

Cite this