Circumscription (logic)

Known as: Circumscription 
Circumscription is a non-monotonic logic created by John McCarthy to formalize the common sense assumption that things are as expected unless… (More)
Wikipedia

Related topics

Related topics

18 relations
Artificial intelligenceClosed-world assumptionDefeasible reasoningEvent calculus
(More)

Broader (1)

Logic programming

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
Stable models and circumscription
sThe definition of a stable model has provided a declarative semantics for Prolog programs with negation as failure and has led… (More)
Is this relevant?
Highly Cited
2009
Highly Cited
2009
The Complexity of Circumscription in DLs
As fragments of first-order logic, Description logics (DLs) do not provide nonmonotonic features such as defeasible inheritance… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Computing Circumscription Revisited: A Reduction Algorithm
In recent years, a great deal of attention has been devoted to logics of common-sense reasoning. Among the candidates proposed… (More)
Is this relevant?
1993
1993
Autoepistemic circumscription and logic programming
We propose a framework of autoepistemic reasoning in which the underlying semantics is determined by the choice of a nonmonotonic… (More)
Is this relevant?
Highly Cited
1989
Highly Cited
1989
An Algorithm to Compute Circumscription
McCarthy's theory of circumscription appears to be the most powerful among various formalizations of nonmonotonic reasoning… (More)
Is this relevant?
Highly Cited
1986
Highly Cited
1986
Pointwise Circumscription: Preliminary Report
Circumscription is the minimization of predicates subject to restrictions expressed by predicate formulas. We propose a modified… (More)
Is this relevant?
Highly Cited
1985
Highly Cited
1985
Computing Circumscription
Circumscription is a transformation of predicate formulas proposed by John McCarthy for the purpose of formalizing non-monotonic… (More)
Is this relevant?
Highly Cited
1984
Highly Cited
1984
Applications of Circumscription to Formalizing Common-Sense Knowledge
We present a new and more symmetric version of the circumscription method of nonmonotonic reasoning first described in (McCarthy… (More)
Is this relevant?
Highly Cited
1980
Highly Cited
1980
Circumscription - A Form of Non-Monotonic Reasoning
Humans and intelligent computer programs must often jump to the conclusion that the objects they can determine to have certain… (More)
Is this relevant?
Highly Cited
1979
Highly Cited
1979
CIRCUMSCRIPTION — A FORM OF NONMONOTONIC REASONING
Humans and intelligent computer programs must often jump to the conclusion that the objects they can determine to have certain… (More)
Is this relevant?