Social Default Theories
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)
(The original publication is available at www.springerlink.com)