History of circumscription

Circumscripte Skelerodermie

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

Circumscription: Completeness reviewed

✍ Manfred Jaeger 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 433 KB

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 tha

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

On the satisfiability of circumscription

✍ Vladimir Lifschitz 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 476 KB

Etherington, Mercer and Reiter showed, on the basis of ideas of Bossu and Siegel, that circumscription cannot lead to inconsistency for universal formulas. We extend this result in three directions: to formulas of a more general syntactic form, to circumscr~tion with some predicate symbols allowed t

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

Completeness results for circumscription

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