Logics for multi-agent systems: a critical overview

Andreas Herzig (1, 2)

1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
2 CNRS - Centre National de la Recherche Scientifique

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.

Mots clés: Logic; Epistemic logic; Dynamic epistemic logic; Multiagent systems; Alternating-time temporal logic

Domaines: Intelligence artificielle [cs.AI]; Apprentissage [cs.LG]; Logique en informatique [cs.LO]; Informatique et langage [cs.CL]

Andreas Herzig. Logics for multi-agent systems: a critical overview. International Joint Conference on Artificial Intelligence - IJCAI 2013, Aug 2013, Beijing, China. pp. 1-52. ⟨hal-01143735⟩