Rational Teams : Logical Aspects of Multi-Agent Systems

• Autorzy: Aldewereld, H. , Van der Hoek, W. , Meyer, J.-J.
• Języki publikacji: EN

Abstrakty

EN

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.

Słowa kluczowe

EN

multi-agent systems; KARO system

• Czasopismo: Fundamenta Informaticae
• Rocznik: 2004
• Tom: Vol. 63, nr 2,3
• Strony: 159--183
• Opis fizyczny: Bibliogr. 22 poz.

Twórcy

autor

Aldewereld, H.

• Intelligent Systems Group, Department of Computer Science, Utrecht University, P.O. Box 80089, 3508 TB Utrecht, The Netherlands,

autor

Van der Hoek, W.

• Department of Computer Science, University of Liverpool, Liverpool L69 7ZF, United Kingdom,

autor

Meyer, J.-J.

• Intelligent Systems Group, Department of Computer Science, Utrecht University, P.O. Box 80089, 3508 TB Utrecht, The Netherlands

Bibliografia

• [1] H.M. Aldewereld. Rational Teams: Logical Aspects of Multi-Agent Systems. Available in Preprint Series, Cognitive Artificial Intelligence Master’s Theses. Department of Philosophy, Utrecht University, 2002, http://preprints.phil.uu.nl/scripties/.
• [2] R. Alur, T.A. Henzigger, and O. Kupferman. Alternating-time temporal logic. In Journal of the ACM, 49:672-713, 2002.
• [3] G. Bonanno and K. Nehring. Common belief with the logic of individual belief. In Mathematical Logic Quarterly, 46 (1), pp. 49-52, 2000.
• [4] M.E. Bratman. Intentions, Plans and Practical Reasoning. Harvard University Press, Cambridge, MA, 1987.
• [5] P. Cohen and H. Levesque. Intention is choice with commitment. Artificial Intelligence, 42(3): 213-261, 1990.
• [6] P. Cohen and H. Levesque. Teamwork. Nous, 24(4):487-512, 1991.
• [7] P. Cohen, H. Levesque, and I. Smith. On team formation. In J. Hintikka and R. Tuomela, editors, Contemporary Action Theory. Synthese, 1997.
• [8] B. Dunin-Kęplicz and R. Verbrugge. A Tuning Machine for Collective Commitments. In Proceedings of the First International Workshop on Formal Approaches to Multi-Agent Systems (FAMAS’03), pages 99-116, Warsaw, 2003.
• [9] B. Dunin-Kęplicz and R. Verbrugge. Collective motivational attitudes in cooperative problem solving. In V. Gorodetsky et al., editor, Proceedings of the First International Workshop of Central and Eastern Europe on Multi-Agent Systems (CEEMAS’99), pages 22-41, St. Petersburg, 1999.
• [10] B. Dunin-Kęplicz and R. Verbrugge. Collective Intentions. Fundamenta Informaticae, 51(3): 271-295, 2002.
• [11] E.A. Emerson. Temporal and modal logics. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, chapter 16, pages 995-1072. Elsevier Science Publishers b.b., 1990.
• [12] R. Fagin, J.Y. Halpern, Y. Moses, and M.Y. Vardi. Reasoning about Knowledge. The MIT Press, Cambridge, MA, 1995.
• [13] W. van der Hoek, B. van Linder, and J.-J. Ch. Meyer. An integrated modal approach to Rational Agents. In Foundations of Rational Agency, M. Woolridge and A. Rao (eds.), Kluwer, Dordrecht, 1999, pp. 37-75.
• [14] W. van der Hoek, B. van Linder, and J.-J. Ch.Meyer. A Logical Approach to the Dynamics of Commitments. Artificial Intelligence, 113: 1-40, 1999.
• [15] J.-J. Ch. Meyer. A Different Approach to Deontic Logic Viewed as a Variant of Dynamic Logic, In Notre Dame Journal of Formal Logic, 29(1), pp. 109-136, 1988.
• [16] J.-J. Ch. Meyer and P. Doherty. Preferential Action Semantics (Preliminary Report). In J.-J. Ch. Meyer and P.-Y. Schobbens (eds.), Formal Models of Agents (LNAI 1760), pp. 187-201, Springer, Berlin, 1999.
• [17] J.-J. Ch. Meyer and W. van der Hoek. Epistemic Logic for AI and Computer Science. Cambridge University Press, 1995.
• [18] A.S. Rao and M.P. Georgeff. Modeling rational agents within a BDI-architecture. In R. Fikes and E. Sandewall, editors, Proceedings of the Second Conference on of Knowledge Representation and Reasoning (KR’91), pages 473-484.Morgan Kaufmann, 1991.
• [19] E. Sandewal and Y. Shoham. Non-monotonic temporal reasoning. In The Handbook of Logic in AI and Logic Programming, volume 4, pages 439-484. Oxford University Press, 1995.
• [20] M.P. Singh, A.S. Rao, and M.P. Georgeff. Formal methods in DAI: Logic-based representations and reasoning. In Introduction to Distributed Artificial Intelligence, chapter 8. MIT Press, 1998.
• [21] M. Tambe. Towards flexible teamwork. Journal of Artificial Intelligence Research, 7:83-124, 1997.
• [22] M. Wooldridge. Intelligent agents. In Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence. MIT Press, 1999.