Semantical considerations on nonmonotonic logic
Artificial Intelligence
On the relation between default and autoepistemic logic
Artificial Intelligence
Embedding a default system into nonmonotonic logics
Fundamenta Informaticae
Modal nonmonotonic logic with restricted application of the negation as failure to prove rule
Fundamenta Informaticae
Relating autoepistemic and default logics
Proceedings of the first international conference on Principles of knowledge representation and reasoning
What the lottery paradox tells us about default reasoning
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Nonmonotonic Logic II: Nonmonotonic Modal Theories
Journal of the ACM (JACM)
TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
Epistemic semantics for fixed-points non-monotonic logics
TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Classifying Semi-Normal Default Logic on the Basis of its Expressive Power
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
On the relation between default and modal nonmonotonic reasoning
Artificial Intelligence
Subnormal modal logics for knowledge representation
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Well-Supported semantics for logic programs with generalized rules
Correct Reasoning
First-Order Ground Non-Monotonic Modal Logic
Fundamenta Informaticae
First-order Non-monotonic Modal Logics
Fundamenta Informaticae
A Modal Logic For Hypothesis Theory
Fundamenta Informaticae
| Hi-index | 0.00 |
In the paper we study a new and natural modal interpretation of defaults. We show that under this interpretation there are whole families of modal nonmonotonic logics that accurately represent default reasoning. One of these logics is used in a definition of possible-worlds semantics for default logic. This semantics yields a characterization of default extensions similar to the characterization of stable expansions by means of autoepistemic interpretation. We also show that the disjunctive information can easily be handled if disjunction is represented by means of modal disjunctive defaults -- modal formulas that we use in our interpretation. Our results indicate that there is no single modal logic for describing default reasoning. On the contrary, there exist whole ranges of modal logics, each of which can be used in the embedding as a "host" logic.