Intention is choice with commitment
Artificial Intelligence
Handbook of theoretical computer science (vol. B)
Reasoning about knowledge
Non-monotonic temporal reasoning
Handbook of logic in artificial intelligence and logic programming (Vol. 4)
Multiagent systems
Formal methods in DAI: logic-based representation and reasoning
Multiagent systems
A logical approach to the dynamics of commitments
Artificial Intelligence
Epistemic Logic for AI and Computer Science
Epistemic Logic for AI and Computer Science
Alternating-time temporal logic
Journal of the ACM (JACM)
Fundamenta Informaticae
Journal of Artificial Intelligence Research
A Tuning Machine for Cooperative Problem Solving
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
Hi-index | 0.00 |
This paper describes a possible extension to the logical framework KARO to make it able to handle multiple agents. The KARO framework, which was initially developed by van der Hoek, van Linder and Meyer, makes use of epistemic and dynamic logics to express rational agents. These agents are capable of reasoning about their own actions and, somewhat limited, about the actions of other agents. This paper intends to extend the KARO system such that one is also able to reason about cooperation between agents.