A theorem on the consistency of circumscription (Q578934)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A theorem on the consistency of circumscription |
scientific article |
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
