Using temporal logics to express search control knowledge for planning
Artificial Intelligence
Modal logic
ISLANDER: an electronic institutions editor
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
AMELI: An Agent-Based Middleware for Electronic Institutions
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
Humans and agents in 3D electronic institutions
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
A methodology for 3D electronic institutions
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Verifying Social Expectations by Model Checking Truncated Paths
Coordination, Organizations, Institutions and Norms in Agent Systems IV
A review of linden scripting language and its role in second life
ICCMSN'08 Proceedings of the First international conference on Computer-Mediated Social Networking
Interfacing a cognitive agent platform with second life
AEGS'11 Proceedings of the 2011 international conference on Agents for Educational Games and Simulations
Execution infrastructure for normative virtual environments
Engineering Applications of Artificial Intelligence
| Hi-index | 0.00 |
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.