Interacting Answer Sets

Chiaki Sakama and Tran Cao Son

Proceedings of the 10th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-X), Lecture Notes in Artificial Intelligence 6214, Springer-Verlag, pages 122-140, 2010.


We consider agent societies represented by logic programs. Four different types of social interactions among agents, cooperation, competition, commitment, and subjection, are formulated as interactions between answer sets of different programs. Answer sets satisfying conditions of interactions represent solutions coordinated in a multiagent society. A unique feature of our framework is that answer set interactions are specified outside of individual programs. This enables us to freely change the social specifications among agents without the need of modifying individual programs and to separate beliefs of agents from social requirements over them. Social interactions among agents are encoded in a single logic program using constraints. Coordinated solutions are then computed using answer set programming.

Full Paper (PDF 232K) Slide (pdf 436K) © Springer-Verlag (The original publication is available at