Circumscription: Completeness reviewed (Q685339)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Circumscription: Completeness reviewed |
scientific article; zbMATH DE number 417259
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Circumscription: Completeness reviewed |
scientific article; zbMATH DE number 417259 |
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
