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.

Abstract

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)