Semantical considerations on nonmonotonic logic
Artificial Intelligence
On the relation between default and autoepistemic logic
Artificial Intelligence
Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
Relating autoepistemic and default logics
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Nonmonotonic Logic II: Nonmonotonic Modal Theories
Journal of the ACM (JACM)
Supposition-Based Logic for Automated Nonmontonic Reasoning
Proceedings of the 9th International Conference on Automated Deduction
Epistemic semantics for fixed-points non-monotonic logics
TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
Nonmonotonic databases and epistemic queries
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Modal interpretations of default logic
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |
Hypothesis theory for nonmonotonic reasoning expresses notions of hypotheses and of known information. In this paper, we define these notions in the framework of a new modal system with two modalities, one for exprressing known information and the other for expressing possible hypotheses. A complete characterization of the new logic is given in terms of Kripke semantics. Moreover, our logic allows to characterize completely default logic, including a necessary and sufficient criterium for the existence and the non-existence of extensions. We also present a notion of nonmonotonic inference which is cumulative.