Semantical considerations on nonmonotonic logic
Artificial Intelligence
Possible-world semantics for autoepistemic logic
Readings in nonmonotonic reasoning
On the relation between default and autoepistemic logic
Artificial Intelligence
All I know: a study in autoepistemic logic
Artificial Intelligence
Towards a theory of knowledge and ignorance: preliminary report
Logics and models of concurrent systems
Modal logic S4F and the minimal knowledge paradigm
TARK '92 Proceedings of the fourth conference on Theoretical aspects of reasoning about knowledge
Modal nonmonotonic logics: ranges, characterization, computation
Journal of the ACM (JACM)
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
Modal interpretations of default logic
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Hi-index | 0.01 |
Several widely accepted modal nonmonotonic logics for reasoning about knowledge and beliefs of rational agents with introspection powers are based on strong modal logics such as KD45, S4.4, S4F and S5. In this paper we argue that weak modal logics, without even the axiom K and, therefore, below the range of normal modal logics, also give rise to useful non monotonic systems. We study two such logics: the logic N, containing propositional calculus and necessitation but no axiom schemata for manipulating the modality, and the logic NT - the extension of N by the schema T. For the nonmonotonic logics N and NT we develop minimal model semantics. We use it to show that the nonmonotonic logics N and NT are at least as expressive as autoepistemic logic, reflexive autoepistemic logic and default logic. In fact, each can be regarded as a common generalization of these classic nonmonotonic systems. We also show that the nonmonotonic logics N and NT have the property of being conservative with respect to adding new definitions, and prove that computationally they are equivalent to autoepistemic and default logics.