Rational Teams: Logical Aspects of Multi-Agent Systems

Issue title: Multiagent Systems (FAMAS'03)

Article type: Research Article

Authors: Aldewereld, Huib | van der Hoek, Wiebe | Meyer, John-Jules

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

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.

Journal: Fundamenta Informaticae, vol. 63, no. 2-3, pp. 159-183, 2004