A theorem on the consistency of circumscription (Q578934)
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: A theorem on the consistency of circumscription |
scientific article; zbMATH DE number 4014069
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A theorem on the consistency of circumscription |
scientific article; zbMATH DE number 4014069 |
Statements
A theorem on the consistency of circumscription (English)
0 references
1987
0 references
This paper gives more general conditions under which McCarthy's circumscription is consistent, allowing application of the method outside the domain of universal sentences. It is shown that circumscription as presented here continues to correspond to the semantic model of minimization. Some applications are detailed.
0 references
commonsense reasoning in predicate logic
0 references
nonmonotonic logic
0 references
circumscription
0 references
semantic model of minimization
0 references
0.8043514490127563
0 references
0.8043514490127563
0 references
