Formalizing Multi-Agent Systems Using Action Descriptions in Single Agent Perspective

Orkunt Sabuncu, Torsten Schaub, Christian Schulz-Hanke

Logic-based representations of multi-agent systems have been extensively studied. In this work, we focus on the action language BC to formalize global views of MAS domains. Methodo…