The importance of open and recursive circumscription

DOI10.1016/0004-3702(89)90029-5MaRDI QIDQ1117210zbMATH OpenOpenAlexFDO

Authors P. Besnard, Yves Moinard, Robert E. Mercer

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)90029-5

zbMATH Keywords

circumscriptioncompletenessconsistencysoundness

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Other nonclassical logic (03B60) Other classical first-order model theory (03C68)

Review text

The problems of inconsistency, incompleteness etc. of circumscription are considered. \textit{P. L. Mott} [Artif. Intell. 31, 87-98 (1987; Zbl 0624.68082)] proposed two restrictions of standad circumscription, called closed and non-recursive circumscription. Mott's propositions are criticized here. In particular, closed circumscription used very unnaturally binding of free variables in substitutional frameworks. According to the authors, Mott's restrictions are too hard. The arguments for open and recursive circumscription \((=\) standard) are given.

Recommendations

• The expressive power of circumscription
• Circumscription: Completeness reviewed
• A theorem on the consistency of circumscription
• scientific article; zbMATH DE number 67498
• Closed-world databases and circumscription

Cites work

• A theorem on the consistency of circumscription
• Circumscription - a form of non-monotonic reasoning
• Circumscription and implicit definability
• Completeness results for circumscription
• scientific article; zbMATH DE number 194618 (Why is no real title available?)
• Logic and structure.
• On the satisfiability of circumscription
• Saturation, nonmonotonic reasoning and the closed-world assumption
• The mathematics of non-monotonic reasoning

Cited in

(1)

• Abstract minimality and circumscription

This page was built for publication: The importance of open and recursive circumscription

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