Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Linden Lab.: Second Life home page (2008), http://secondlife.com/
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)
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)
Wilkes, I.: Second Life: how it works (and how it doesn’t). Presentation video and slides from QCon San Francisco 2007 (2007), http://www.infoq.com/presentations/Second-Life-Ian-Wilkes
Linden Lab: Land. Article on Second Life wiki (2009), http://wiki.secondlife.com/wiki/Land
Linden Lab: LSL portal (2008), http://wiki.secondlife.com/wiki/LSL_Portal
Twitter: Twitter home page (2008), http://twitter.com/
Amazon Web Services: Amazon simple queue service (2008), http://aws.amazon.com/sqs/
Yamamoto, Y.: Twitter4j (2008), http://yusuke.homeip.net/twitter4j/en/
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)
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)
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)
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)
Bacchus, F., Kabanza, F.: Using temporal logics to express search control knowledge for planning. Artificial Intelligence 116(1-2), 123–191 (2000)
Dragone, L.: Hybrid logics model checker (2005), http://luigidragone.com/hlmc/
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)
Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)
Kezema, K.: Further analysis of parcel data collection. Blog post (2009), http://jeffkurka.blogspot.com/2009/03/further-analysis-of-parcel-data.html
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)
opensimulator.org: Open simulator wiki (2009), http://opensimulator.org/wiki/Main_Page
Sun Microsystems, CollabNet and O’Reilly Media: Project Wonderland: Toolkit for building 3D virtual worlds (2009), https://lg3d-wonderland.dev.java.net/
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)
Second Life: Removal of ratings in beta (2007), http://blog.secondlife.com/2007/04/12/removal-of-ratings-in-beta/
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)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cranefield, S., Li, G. (2010). Monitoring Social Expectations in Second Life. In: Padget, J., et al. Coordination, Organizations, Institutions and Norms in Agent Systems V. COIN 2009. Lecture Notes in Computer Science(), vol 6069. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14962-7_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-14962-7_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-14961-0
Online ISBN: 978-3-642-14962-7
eBook Packages: Computer ScienceComputer Science (R0)