Rational Teams: Logical Aspects of Multi-Agent Systems

Authors:
Huib Aldewereld;Wiebe van der Hoek;John-Jules Meyer
Affiliations:
Intelligent Systems Group, Department of Computer Science, Utrecht University, P.O. Box 80089, 3508 TB Utrecht, The Netherlands;Department of Computer Science, University of Liverpool, Liverpool L69 7ZF, United Kingdom;Intelligent Systems Group, Department of Computer Science, Utrecht University, P.O. Box 80089, 3508 TB Utrecht, The Netherlands
Venue:
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
Year:
2004

Citing 11
Cited 14

Intention is choice with commitment

Artificial Intelligence
Temporal and modal logic

Handbook of theoretical computer science (vol. B)
Reasoning about knowledge

Reasoning about knowledge
Non-monotonic temporal reasoning

Handbook of logic in artificial intelligence and logic programming (Vol. 4)
Intelligent agents

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)
Collective intentions

Fundamenta Informaticae
Towards flexible teamwork

Journal of Artificial Intelligence Research

Multimodal logic programming

Theoretical Computer Science
A Tuning Machine for Cooperative Problem Solving

Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
Complexity Issues in Multiagent Logics

Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
Outlier detection by logic programming

ACM Transactions on Computational Logic (TOCL)
Foundations of Modal Deductive Databases

Fundamenta Informaticae
Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs

Computational Logic in Multi-Agent Systems
Clausal Tableaux for Multimodal Logics of Belief

Fundamenta Informaticae
Forbidding undesirable agreements: a dependence-based approach to the regulation of multi-agent systems

DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science
Complexity of multiagent BDI logics with restricted modal context

The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
Reasoning about epistemic states of agents by modal logic programming

CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Decision procedure for a fragment of mutual belief logic with quantified agent variables

CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Clausal Tableaux for Multimodal Logics of Belief

Fundamenta Informaticae
Complexity Issues in Multiagent Logics

Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
Foundations of Modal Deductive Databases

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.