Semantical considerations on nonmonotonic logic
Artificial Intelligence
All I know: a study in autoepistemic logic
Artificial Intelligence
A guide to completeness and complexity for modal logics of knowledge and belief
Artificial Intelligence
A practical nonmonotonic theory for reasoning about speech acts
ACL '88 Proceedings of the 26th annual meeting on Association for Computational Linguistics
All they know: a study in multi-agent autoepistemic reasoning
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
| Hi-index | 0.00 |
We address the issue of agents reasoning about other agents' nonmonotonic reasoning ability in the framework of a multi-agent autoepistemic logic (AEL). In single-agent AEL, nonmonotonic inferences are drawn based on all the agent knows. In a multi-agent context such as Jill reasoning about Jack's nonmonotonic inferences, this assumption must be abandoned since it cannot be assumed that Jill knows everything Jack knows. Given a specific subject matter like Tweety the bird, it is more realistic and sufficient if Jill only assumes to know all Jack knows about Tweety in order to arrive at Jack's nonmonotonic inferences about Tweety. This paper provides a formalization of all an agent knows about a certain subject matter based on possible-world semantics in a multi-agent AEL. Besides discussing various properties of the new notion, we use it to characterize formulas that are about a subject matter in a very strong sense. While our main focus is on subject matters that consist of atomic propositions, we also address the case where agents are the subject matter.