Circumscription: Completeness reviewed (Q685339): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 10:27, 30 January 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Circumscription: Completeness reviewed |
scientific article |
Statements
Circumscription: Completeness reviewed (English)
0 references
17 October 1993
0 references
The author gives a counterexample to the minimality result of \textit{D. Perlis} and \textit{J. Minker} [Completeness results for circumscription, Artif. Intell. 28, 29-42 (1986; Zbl 0589.03021)] but shows that the result still holds if it is restricted to well-founded theories in the sense that every nonminimal model contains a minimal model and if the notion of circumscription is strengthened. He also investigates the relationship between minimality and reducibility of model theories in circumscription.
0 references
minimality
0 references
reducibility
0 references
circumscription
0 references