an:00064741
Zbl 0762.03014
Liau, Churn Jung; Lin, Bertrand I-peng
Abstract minimality and circumscription
EN
Artif. Intell. 54, No. 3, 381-396 (1992).
00008023
1992
j
03B80 68T27
generalization of circumscription; minimality criteria
Summary: 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 of abstractly minimal (or \(({\mathbf {P,Z}})\)-minimal) models by isomorphism. Under this generalization we come up with the fact that some theories which are unsatisfiable in the original circumscription will be satisfiable now. Moreover, we prove that this generalization is completely coincident with the original circumscription in the case of well-founded theories.