Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
All I know: a study in autoepistemic logic
Artificial Intelligence
Between circumscription and autoepistemic logic
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Maintaining mental models of agents who have existential misconceptions
Artificial Intelligence
Circumscription in a modal logic
TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
A guide to the modal logics of knowledge and belief: preliminary draft
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
| Hi-index | 0.00 |
This paper discusses the logic LKM which extends circumscription into an epistemic domain. This extension will allow us to define circumscription of predicates that appear within the context of a modal operator. In fact, LKM can be seen as a method of extending any first-order nonmonotonic logic whose semantic definition is based on a partial-order among models, into a new nonmonotonic logic defined for a modal language, whose modal operator (K) follows an undedying S5 or weak-S5 semantics. One interesting use of this nonmonotonic logic is to model nonmonotonic aspects of the communication between agents.