Monitoring Social Expectations in Second Life

  • Stephen Cranefield
  • Guannan Li
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6069)


Online virtual worlds such as Second Life provide a rich medium for unstructured human interaction in a shared simulated 3D environment. However, many human interactions take place in a structured social context where participants play particular roles and are subject to expectations governing their behaviour, and current virtual worlds do not provide any support for this type of interaction. There is therefore an opportunity to adapt the tools developed in the MAS community for structured social interactions between software agents (inspired by human society) and adapt these for use with the computer-mediated human communication provided by virtual worlds.

This paper describes the application of one such tool for use with Second Life. A model checker for online monitoring of social expectations defined in temporal logic has been integrated with Second Life, allowing users to be notified when their expectations of others have been fulfilled or violated. Avatar actions in the virtual world are detected by a script, encoded as propositions and sent to the model checker, along with the social expectation rules to be monitored. Notifications of expectation fulfilment and violation are returned to the script to be displayed to the user. This utility of this tool is reliant on the ability of the Linden scripting language (LSL) to detect events of significance in the application domain, and a discussion is presented on how a range of monitored structured social scenarios could be realised despite the limitations of LSL.


Model Checker Temporal Logic Virtual World Multiagent System Social Expectation 
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.
    Linden Lab.: Second Life home page (2008),
  2. 2.
    Boella, G., van der Torre, L., Verhagen, H.: Introduction to normative multiagent systems. In: Boella, G., van der Torre, L., Verhagen, H. (eds.) Normative Multi-agent Systems. Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, vol. 07122 (2007)Google Scholar
  3. 3.
    Cranefield, S., Winikoff, M.: Verifying social expectations by model checking truncated paths. In: Hübner, J.F., Matson, E., Boissier, O., Dignum, V. (eds.) COIN@AAMAS 2008. LNCS, vol. 5428, pp. 204–219. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  4. 4.
    Wilkes, I.: Second Life: how it works (and how it doesn’t). Presentation video and slides from QCon San Francisco 2007 (2007),
  5. 5.
    Linden Lab: Land. Article on Second Life wiki (2009),
  6. 6.
    Linden Lab: LSL portal (2008),
  7. 7.
    Twitter: Twitter home page (2008),
  8. 8.
    Amazon Web Services: Amazon simple queue service (2008),
  9. 9.
    Yamamoto, Y.: Twitter4j (2008),
  10. 10.
    Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Compliance verification of agent interaction: a logic-based software tool. In: Trappl, R. (ed.) Cybernetics and Systems 2004. Austrian Society for Cybernetics Studies, vol. II, pp. 570–575 (2004)Google Scholar
  11. 11.
    Esteva, M., de la Cruz, D., Sierra, C.: ISLANDER: an electronic institutions editor. In: Proceedings of the 1st International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 1045–1052. ACM, New York (2002)CrossRefGoogle Scholar
  12. 12.
    Vázquez-Salceda, J., Aldewereld, H., Dignum, F.: Implementing norms in multiagent systems. In: Lindemann, G., Denzinger, J., Timm, I.J., Unland, R. (eds.) MATES 2004. LNCS (LNAI), vol. 3187, pp. 313–327. Springer, Heidelberg (2004)Google Scholar
  13. 13.
    Farrell, A.D.H., Sergot, M.J., Sallé, M., Bartolini, C.: Using the event calculus for tracking the normative state of contracts. International Journal of Cooperative Information Systems 14(2&3), 99–129 (2005)CrossRefGoogle Scholar
  14. 14.
    Bacchus, F., Kabanza, F.: Using temporal logics to express search control knowledge for planning. Artificial Intelligence 116(1-2), 123–191 (2000)zbMATHCrossRefMathSciNetGoogle Scholar
  15. 15.
    Dragone, L.: Hybrid logics model checker (2005),
  16. 16.
    Markey, N., Schnoebelen, P.: Model checking a path. In: Amadio, R.M., Lugiez, D. (eds.) CONCUR 2003. LNCS, vol. 2761, pp. 251–265. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  17. 17.
    Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)zbMATHGoogle Scholar
  18. 18.
    Kezema, K.: Further analysis of parcel data collection. Blog post (2009),
  19. 19.
    Cox, R.J., Crowther, P.S.: A review of Linden Scripting Language and its role in Second Life. In: Purvis, M., Savarimuthu, B.T.R. (eds.) Computer-Mediated Social Networking. First International Conference, ICCMSN 2008. LNCS (LNAI), vol. 5322, pp. 35–47. Springer, Heidelberg (2009)Google Scholar
  20. 20. Open simulator wiki (2009),
  21. 21.
    Sun Microsystems, CollabNet and O’Reilly Media: Project Wonderland: Toolkit for building 3D virtual worlds (2009),
  22. 22.
    Artikis, A., Paliouras, G.: Behaviour recognition using the event calculus. In: Artificial Intelligence Applications and Innovations III. IFIP Advances in Information and Communication Technology, vol. 296, pp. 469–478. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  23. 23.
    Second Life: Removal of ratings in beta (2007),
  24. 24.
    Bogdanovych, A., Berger, H., Sierra, C., Simoff, S.J.: Humans and agents in 3D electronic institutions. In: Proceedings of the 4rd International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 1093–1094. ACM, New York (2005)CrossRefGoogle Scholar
  25. 25.
    Bogdanovych, A., Esteva, M., Simoff, S.J., Sierra, C., Berger, H.: A methodology for 3D electronic institutions. In: Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 358–360. IFAAMAS (2007)Google Scholar
  26. 26.
    Esteva, M., Rosell, B., Rodrguez-Aguilar, J.A., Arcos, J.L.: AMELI: An agent-based middleware for electronic institutions. In: Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems, vol. 1, pp. 236–243. IEEE Computer Society, Los Alamitos (2004)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Stephen Cranefield
    • 1
  • Guannan Li
    • 1
  1. 1.Department of Information ScienceUniversity of OtagoDunedinNew Zealand

Personalised recommendations