OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Logics for multi-agent systems: a critical overview

Herzig, Andreas Logics for multi-agent systems: a critical overview. (2013) In: International Joint Conference on Artificial Intelligence - IJCAI 2013, 3 August 2013 - 9 August 2013 (Beijing, China). (Unpublished)

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader


Formal models for multi-agent systems (MAS) have been introduced and studied in various areas, not only in distributed systems and AI, but also in economics and the social sciences. I will focus on logical models of the central concepts of knowledge, belief, time, and action, and will give an overview of the existing logics for MAS from a knowledge representation point of view. I will classify various MAS logics according to the epistemic and the action dimension, distinguishing individual and group action and individual and group knowledge. I will highlight problematic aspects of each of the standard accounts, including frame axioms, strategy contexts and uniform strategies.

Item Type:Conference or Workshop Item (Lecture)
HAL Id:hal-01143735
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Deposited On:20 Apr 2015 08:33

Repository Staff Only: item control page