Academic
Publications
Circumscription - A Form of Non-Monotonic Reasoning

Circumscription - A Form of Non-Monotonic Reasoning,10.1016/0004-3702(80)90011-9,Artificial Intelligence,John Mccarthy

Circumscription - A Form of Non-Monotonic Reasoning   (Citations: 1012)
BibTex | RIS | RefWorks Download
Abstract Humans and intelligent computer programs must often jump to the conclusion that the objects they can determine to have certain properties or relations are the only objects that do. Circumscription formalizes such conjectural reasoning.
Journal: Artificial Intelligence - AI , vol. 13, no. 1-2, pp. 27-39, 1980
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
    • ...In recent years the traditional formalisms of default reasoning such as presented in the landmark articles on default logic (Reiter, 1980), on circumscription (Mc-Carthy, 1980), and on autoepistemic logic (Moore, 1984) have been criticised and alternative conditional approaches have been developed...

    Christian Straßer. Adaptively applying modus ponens in conditional logics of normality

    • ...Next, we setSEM(B) = MM(B) for the semantics of a clausal theory B. This setting is considered as the minimal model semantics of disjunctive logic programs (Minker 1982 )o r circumscription (McCarthy 1980)...

    Chiaki Sakamaet al. Inductive equivalence in clausal logic and nonmonotonic logic programm...

    • ...Here Situation Calculus [17][6] provides the syntactical tools to formalise the domain and Equilibrium Logic [18], a suitable semantics to the problem, which identifies its minimal models by means that resemble circumscription [19][20]...
    • ...One possibility is using Predicate Circumscription [19], so that, we define a set of auxiliary predicates4 and then minimise their extent using a particular circumscription policy – that is, deciding which predicates are fixed, minimised or freely varied; deciding which parts of the theory are circumscribed and which parts are not, etc...
    • ...The former was first proposed by McCarthy in [17], and the latter is a novel non-monotonic formalism generalising stable models which surprisingly, have been recently characterised as a simple modification of Circumscription, also first proposed by McCarthy in [19]...

    Pedro Cabalaret al. Formalising the Fisherman's Folly puzzle

    • ...Computer scientists became interested into ontologies in the 1970s as the research in the field of Artificial Intelligence (AI) began [12]...

    Eduard Gringingeret al. NextGen and SESAR moving towards ontology-based software development

    • ...One of the unique strengths of the constructivist method is illustrated by the knowledge flow arrows labeled circumscription [3]...

    William L. Kuechler Jr.et al. Extending Prior Research with Design Science Research: Two Patterns fo...

Sort by: