My 1980 circumscription paper should be considered as part of a sequence of three papers
[7-9] which introduced successively more expressive forms of circumscription …

Part I of this memo discusses minimal entailment and minimal completion suggested by
McCarthy (now included in his more general notion of circumscription) and Part II discusses …

Circumscription--A Form of Non-Monotonic Reasoning Page 1 ARTIFICIAL INTELLIGENCE 27
Circumscription--A Form of Non-Monotonic Reasoning John McCarthy Stanford University …

The purpose of this paper is to investigate the relationship between two approaches to the
formalization of non-monotonic reasoning-J. McCarthy's approach based on the notion of …

We explore some connections between the technique of circumscription in artificial
intelligence and the notion of implicit definition in mathematical logic. Implicit definition can …

Circumscription is a second-order formula expressing the minimality of the extension of a
particular predicate or set of predicates. It was fashioned to capture the concept of …

Nonmonotonic reasoning, in its broadest sense, is reasoning to conclusions on the basis of
incomplete information. Given more information, we are prepared to retract previously drawn …

Sometimes we draw a conclusion from a set of premises, but when we subsequently get
additional information we reject that conclusion. Arguments such that it is possible we may …

Circumscription is the minimization of predicates subject to restrictions expressed by
predicate formulas. We propose a modified notion of circumscription so that, instead of being …

The notion of explanation is basic in many human behaviors, and indeed many fields (such
as philosophy or psychology) have a long tradition of the study of such a notion. In particular …