Logics for multi-agent systems: an overview

Thursday, July 17, 2014, 3:00pm – 7:00pm
Presented by Andreas Herzig
Located in Room 2041

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. The tutorial focuses on logical models of the central concepts of knowledge, belief, time, and action. It overviews the existing logics for MAS from a knowledge representation point of view, classifying various MAS logics according to the epistemic and the action dimension and distinguishing individual and group action and individual and group knowledge. It will highlight problematic aspects of each of the standard accounts, including frame axioms, strategy contexts and uniform strategies.