Nonmonotonic Logic II: Nonmonotonic Modal Theories
Journal of the ACM (JACM)
A Framework for Representing Knowledge
A Framework for Representing Knowledge
Journal of Symbolic Computation
Pragmatic Reasoning: Inferring Contexts
CONTEXT '99 Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context
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
Circumscription in a modal logic
TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge
Relating the TMS to autoepistemic logic
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
On the comparison of theories: preferring the most specific explanation
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
A model of decidable introspective reasoning with quantifying-in
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
All i know: an abridged report
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
All i know: an abridged report
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Decidable reasoning in first-order knowledge bases with perfect introspection
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Incorporating nonmonotonic reasoning in horn clause theories
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
The complexity of propositional default logics
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Fuzzy autoepistemic logic: reflecting about knowledge of truth degrees
ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
Strongly complete axiomatizations of “knowing at most” in syntactic structures
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
An approach to minimal belief via objective belief
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Context Shifts And Clashes In Dialogues: An Active Logic Perspective
Fundamenta Informaticae
Fuzzy autoepistemic logic and its relation to fuzzy answer set programming
Fuzzy Sets and Systems
Hi-index | 0.00 |
Commonsense reasoning is "nonmonotonic" in the sense that we often draw conclusions on the basis of partial information that we retract when we are given more complete information. Some of the most interesting products of the recent attempts to formalize nonmonotonic reasoning are the nonmonotonic logics of McDermott and Doyle [McDermott and Doyle, 1980] [McDermott, 1982]. These logics, however, all have peculiarities that suggest they do not quite succeed in capturing the intuitions that prompted their development. In this paper we give a reconstruction of nonmonotonic logic as a model of an Ideally rational agent's reasoning about his own beliefs. For the resulting system, called autoeplstemlc logic, we define an Intuitively based semantics for which we can show autoeplstemlc logic to be both sound and complete. We then compare the McDermott and Doyle logics to autoeplstemlc logic, showing how it avoids their peculiarities.