Executing Specifications of Social Reasoning Agents

  • Iain Wallace
  • Michael Rovatsos
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6619)


Social reasoning theories, whilst studied extensively in the area of multiagent systems, are hard to implement directly in agents. They often specify properties of beliefs or behaviours but not the way these should affect the computational reasoning mechanisms of a concrete agent design. The Expectation-Strategy-Behaviour (ESB) framework addresses this problem by separating and abstracting social reasoning from other practical reasoning, providing the computational machinery that is necessary to perform social reasoning in practice. We present an extension to previous work on ESB to an implemented reasoning system which enables the execution of concise and modular declarative social reasoning rules. We review the foundations of the abstract ESB framework and present the implementation of a reasoner based on CTL model checking. Our system allows for conditioning agent behaviours on complex preconditions and verification of properties to aid the agent designer. It also allows for easy integration with a BDI reasoning system. We exemplify the suitability of ESB for social reasoning constructs with a detailed example of Joint Intention theory in ESB and illustrate the generality with an overview of another implemented social reasoning scheme, and extensions to both.


Model Checker Multiagent System Belief Base Reasoning System Social Reasoning 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Allouche, M., Boissier, O., Sayettat, C.: Temporal social reasoning in dynamic multi-agent systems. In: Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS 2000), pp. 23–30. IEEE, Los Alamitos (2000)CrossRefGoogle Scholar
  2. 2.
    Sauro, L., Gerbrandy, J., van der Hoek, W., Wooldridge, M.: Reasoning about action and cooperation. In: Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multi-agent Systems (AAMAS 2006), pp. 185–192. ACM Press, New York (2006)CrossRefGoogle Scholar
  3. 3.
    Broersen, J., Dastani, M., Hulstijn, J., Huang, Z., van der Torre, L.: The boid architecture - conflicts between beliefs, obligations, intentions and desires. In: Proceedings of the Fifth International Conference on Autonomous Agents, pp. 9–16. ACM Press, New York (2001)CrossRefGoogle Scholar
  4. 4.
    Dignum, F., Kinny, D., Sonenberg, L.: From Desires, Obligations and Norms to Goals. Cognitive Science Quarterly 2(3-4), 407–430 (2002)zbMATHGoogle Scholar
  5. 5.
    Sichman, J.S., Demazeau, Y.: On social reasoning in multi-agent systems. Revista Iberoamericana de Inteligencia Artificial 13, 68–84 (2001)Google Scholar
  6. 6.
    Wallace, I., Rovatsos, M.: Bounded Social Reasoning in the ESB Framework. In: Decker, S., Sichman, J., Sierra, C., Castelfranchi, C. (eds.) Proceedings of the Eighth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), pp. 1097–1104 (2009)Google Scholar
  7. 7.
    Rao, A.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Perram, J., Van de Velde, W. (eds.) MAAMAW 1996. LNCS, vol. 1038, pp. 42–55. Springer, Heidelberg (1996)CrossRefGoogle Scholar
  8. 8.
    Cimatti, A., Clarke, E., Giunchiglia, F., Roveri, M.: NuSMV: a new Symbolic Model Verifier. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol. 1633, pp. 495–499. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  9. 9.
    Bordini, R.H., Hübner, J.F., Wooldridge, M.: Programming Multi-Agent Systems in AgentSpeak using Jason. Wiley, Chichester (2007)CrossRefzbMATHGoogle Scholar
  10. 10.
    Cohen, P.R., Levesque, H.J.: Teamwork. Noûs 35, 487–512 (1991)CrossRefGoogle Scholar
  11. 11. - The Rules of Rummy (2008),
  12. 12.
    Kumar, S., Huber, M.J., Cohen, P.R., McGee, D.R.: Toward a formalism for conversation protocols using joint intention theory. Computational Intelligence 18(2), 174–228 (2002)MathSciNetCrossRefGoogle Scholar
  13. 13.
    Wallace, I.: Social Reasoning in Multi-Agent Systems with the Expectation-Strategy-Behaviour Framework. PhD thesis, School of Informatics, University of Edinburgh (2010)Google Scholar
  14. 14.
    Kollingbaum, M.: Norm-governed Practical Reasoning Agent. PhD thesis, University of Aberdeen (2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Iain Wallace
    • 1
  • Michael Rovatsos
    • 1
  1. 1.School of InformaticsThe University of EdinburghEdinburghUK

Personalised recommendations