Social Default Theories

Chiaki Sakama

Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'09), Lecture Notes in Artificial Intelligence, Springer-Verlag, in print, 2009.


This paper studies a default logic for social reasoning in multiagent systems. A social default theory is a collection of default theories with which each agent reasons and behaves by taking attitudes of other agents into account. The semantics of a social default theory is given as social extensions which represent the agreement of beliefs of individual agents in a society. We show the use of social default theories for representing social attitudes of agents and for reasoning in cooperative planning and negotiation among multiple agents.

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