✦ LIBER ✦

Circumscription: Completeness reviewed

✍ Scribed by Manfred Jaeger

Publisher: Elsevier Science
Year: 1993
Tongue: English
Weight: 433 KB
Volume: 60
Category: Article
ISSN: 0004-3702
DOI: 10.1016/0004-3702(93)90005-v

No coin nor oath required. For personal study only.

✦ Synopsis

In this paper we demonstrate that some results on the completeness of P-defining theories published earlier are incorrect. We point out that by restricting the original propositions to well-founded theories results somewhat weaker than the original ones can be retained. We also present a theorem that provides some insight into the relation between completeness and reducibility and helps to identify the theories whose minimal models can be adequately handled with circumscription.

📜 SIMILAR VOLUMES

Completeness results for circumscription

✍ Donald Perlis; Jack Minker 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 727 KB

Circumscripte Skelerodermie

✍ Chr. Eberhartinger 📂 Article 📅 1957 🏛 Springer-Verlag 🌐 English ⚖ 76 KB

History of circumscription

✍ John McCarthy 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 187 KB

Computing protected circumscription

✍ Jack Minker; Donald Perlis 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 863 KB

This paper deals with computing circumscription in the case of Horn data with additional protection (indefinite data), an intermediate investigation between Reiter's result on predicate completion and Lifschitz's efforts to make general (formula) circumscription more efficient as a computational too

Abstract minimality and circumscription

✍ Churn Jung Liau; Bertrand I-peng Lin 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 768 KB

In this paper, we present an alternative approach to the generalization of circumscription. Traditionally, the generalization of circumscription involves the change of ordering among models, while in the present study we only try to generalize the minimality criteria of models. We define the notion

Loop formulas for circumscription

✍ Joohyung Lee; Fangzhen Lin 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 174 KB