Semantical considerations on nonmonotonic logic
Artificial Intelligence
Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
Results on translating defaults to circumscription
Artificial Intelligence
Nonmonotonic logic and temporal projection
Artificial Intelligence
The anomalous extension problem in default reasoning
Artificial Intelligence
Artificial Intelligence
Eliminating the fixed predicates from a circumscription
Artificial Intelligence
Between circumscription and autoepistemic logic
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Nonmonotonic reasoning: semantics and applications to induction
Nonmonotonic reasoning: semantics and applications to induction
Reasoning with Incomplete Information
Reasoning with Incomplete Information
Autoepistemic Logic and Formalization of Commonsense Reasoning: Preliminary Report
Proceedings of the 2nd International Workshop on Non-Monotonic Reasoning
Hi-index | 0.00 |
One of the questions in understanding the relation between circumscription and consistencybased nonmonotonic logic is - can default logic be expressed in circumscription? While it seems impossible to express default logic in existing forms of circumscription, is it nevertheless possible to express default logic in a certain extension of circumscription? This paper presents a construction of "default logic" in the spirit of circumscription. It has been shown that the new formalism, circumscriptive extension, is indeed an extension of circumscription. The equivalence of the new formalism and default logic is shown to hold under certain conditions, which demonstrates that default logic can be expressed by merely classical logic with a fixed point operator.