A generalization of collapsible cases of circumscription

DOI10.1016/0004-3702(89)90070-2MaRDI QIDQ1115424zbMATH OpenOpenAlexFDO

Authors Arkady Rabinov

Publication date 1989

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0004-3702(89)90070-2

zbMATH Keywords

circumscriptioncommon-sense reasoningnonmonotonic logicnonmonotonic reasoning

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic of natural languages (03B65) Artificial intelligence (68T99)

Review text

Circumscription, proposed by McCarthy as a formalism intended to capture the nonmonotonicity aspects of common-sense reasoning, is a second-order formula expressing the minimality of the extension of a particular predicate or set of predicates. In many cases of interest, as for instance the case of solitary formulas, it is known that circumscription is collapsible to a first-order formula. The paper is aimed to point out a general case when circumscription is collapsible to a first-order formula, most of already known cases being special instances of it.

Recommendations

• Variations on the collapsing lemma
• Generalizing the hyperbolic collar lemma
• Generalising compactness
• An extension of pointwise circumscription
• A theorem on the consistency of circumscription
• scientific article; zbMATH DE number 611097
• scientific article; zbMATH DE number 125727
• On the satisfiability of circumscription
• scientific article; zbMATH DE number 35097
• A generalization of expansivity

Cites work

• Circumscription - a form of non-monotonic reasoning
• scientific article; zbMATH DE number 4053069 (Why is no real title available?)

Cited in

(4)

• On compact representations of propositional circumscription
• Constructions preserving evasiveness and collapsibility
• An extension of pointwise circumscription
• Circumscription: Completeness reviewed

This page was built for publication: A generalization of collapsible cases of circumscription

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1115424)