Reasoning about knowledge
Dynamic logic for reasoning about actions and agents
Logic-based artificial intelligence
The cognitive agents specification language and verification environment for multiagent systems
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
Knowledge Representation, Reasoning, and Declarative Problem Solving
Knowledge Representation, Reasoning, and Declarative Problem Solving
Logic programs with stable model semantics as a constraint programming paradigm
Annals of Mathematics and Artificial Intelligence
Reasoning about Information Change
Journal of Logic, Language and Information
The logic of public announcements, common knowledge, and private suspicions
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Dynamic epistemic logic with assignment
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Towards a logical theory of coordination and joint ability
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Dynamic Epistemic Logic
Logic programming for finding models in the logics of knowledge and its applications: A case study
Theory and Practice of Logic Programming
On representing actions in multi-agent domains
Logic programming, knowledge representation, and nonmonotonic reasoning
Programming mental state abduction
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Answer set modules for logical agents
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Enabling smarter compliance architecture using social networks and cognitive agents
IBM Journal of Research and Development
Hi-index | 0.00 |
One of the most challenging aspects of reasoning, planning, and acting in a multi-agent domain is reasoning about what the agents know about the knowledge of their fellows, and to take it into account when planning and acting. In the past this has been done using modal and dynamic epistemic logics. In this paper we explore the use of answer set programming (ASP), and reasoning about action techniques for this purpose. These approaches present a number of theoretical and practical advantages. From the theoretical perspective, ASP's property of non-monotonicity (and several other features) allow us to express causality in an elegant fashion. From the practical perspective, recent implementations of ASP solvers have become very efficient, outperforming several other systems in recent SAT competitions. Finally, the use of ASP and reasoning about action techniques allows for the adaptation of a large body of research developed for single-agent to multi-agent domains. We begin our discussion by showing how ASP can be used to find Kripke models of a modal theory. We then illustrate how both the muddy children, and the sum-and-product problems can be represented and solved using these concepts. We describe and implement a new kind of action, which we call "ask-and-truthfully-answer," and show how this action brings forth a new dimension to the muddy children problem.