Bounded practical social reasoning in the ESB framework

ABSTRACT

Reasoning about others, as performed by agents in order to coordinate their behaviours with those of others, commonly involves forming and updating beliefs about hidden system properties such as other agents' mental states. In this paper we introduce the Expectation-Strategy-Behaviour (ESB) framework which provides a generic machinery for such practical social reasoning and can be easily coupled with deliberative, knowledge-based architectures such as BDI. We present a conceptual model of ESB, its formal semantics, and simple initial reasoning algorithms that illustrate how the principles of ESB can be used to implement bounded "social" rationality in multiagent designs. A case study is used to show how ESB substantially simplifies the design of agents that include social reasoning functionality.

REFERENCES

• 1: Rummy.com - The Rules of Rummy, 2008. http://rummy.com/rummyrules.html.
• 2: M. E. Bratman, D. J. Israel, and M. E. Pollack. Plans and resource-bounded practical reasoning. Computational Intelligence, 4(4):349--355, 1988.
• 3: F. Dignum, D. Kinny, and L. Sonenberg. From Desires, Obligations and Norms to Goals. Cognitive Science Quarterly, 2(3--4):407--430, 2002.
• 4: P. Gärdenfors, editor. Belief Revsion (Cambridge Tracts in Theoretical Computer Science). Cambridge University Press, 1992.
• 5: Bryan Horling , Victor Lesser, A survey of multi-agent organizational paradigms, The Knowledge Engineering Review, v.19 n.4, p.281-316, December 2004 [doi>10.1017/S0269888905000317]
• 6: N. Jennings. Commitments and conventions: The foundation of coordination in multiagent systems. Knowledge Engineering Review, 8(3):223--50, 1993.
• 7: A. S. Rao and M. Georgeff. An abstract architecture for rational agents. In W. S. C. Rich and B. Nebel, editors, Proceedings of Knowledge Represenation and Reasoning (KR&R-92), 1992.
• 8: Sabyasachi Saha , Anish Biswas , Sandip Sen, Modeling opponent decision in repeated one-shot negotiations, Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems, July 25-29, 2005, The Netherlands [doi>10.1145/1082473.1082534]
• 9: G. Weiß, editor. Multiagent Systems. A Modern Approach to Distributed Artificial Intelligence. The MIT Press, Cambridge, MA, 1999.
• 10: M. Wooldridge. Reasoning about Rational Agents. The MIT Press, 2000.
• 11: Michael Woolridge , Michael J. Wooldridge, Introduction to Multiagent Systems, John Wiley & Sons, Inc., New York, NY, 2001
• 12: M. Wooldridge, M.-P. Huget, M. Fisher, and S. Parsons. Model checking for multiagent systems: The MABLE language and its applications. Int. J. Artif. Intell. T., 15(2):195--225, 2006.

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
        I.2.11 Distributed Artificial Intelligence
            Subjects: Multiagent systems

General Terms:
Algorithms, Design, Theory

Keywords:
BDI, agent-oriented software engineering, architectures, expectations, methodology, social reasoning