Integrating expectation monitoring into Jason: A case study using Second Life

This is the final version of a paper that was peer reviewed and accepted for presentation at the 8th European Workshop on Multi-Agent Systems, 2010 (which has no formal proceedings).Previous work on detecting fulfilments and violations of expectations (which may correspond to conventions, norms, commitments or contracts) assumed that information about the world is available as an abstract logical model of observed properties and/or events. There has been little investigation of practical techniques for mapping from sensor readings in a complex environment to such a logical model suitable for monitoring techniques. Moreover, there has been little work on investigating practical techniques for agents to respond to fulfilments and violations of their expectations. This paper investigates these two aspects in the context of interactions involving multiple Jason agents in a Second Life simulation. We present a framework that can be used to connect any agent platform with Second Life, and demonstrate how this framework is integrated with the Jason platform to monitor expectations of agents.PublishedPeer Reviewed1. Cranefield, S., Winikoff, M.: Verifying social expectations by model checking truncated paths. Journal of Logic and Computation (2010). Advance access, doi:10.1093/logcom/exq055 2. Spoletini, P., Verdicchio, M.: An automata-based monitoring technique for commitment-based multi-agent systems. In: Coordination, Organizations, Institutions and Norms in Agent Systems IV, Lecture Notes in Computer Science, vol. 5428, pp. 172–187. Springer (2009) 3. Second Life: http://secondlife.com/ 4. Bogdanovych, A., Simoff, S., Esteva, M.: Virtual institutions: Normative environments facilitating imitation learning in virtual agents. In: Intelligent Virtual Agents, Lecture Notes in Artificial Intelligence, vol. 5208, pp. 456–464. Springer (2008) 5. Weitnauer, E., Thomas, N.M., Rabe, F., Kopp, S.: Intelligent agents living in social virtual environments – bringing Max into Second Life. In: Intelligent Virtual Agents, Lecture Notes in Artificial Intelligence, vol. 5208, pp. 552–553. Springer (2008) 6. Veksler, V.D.: Second Life as a simulation environment: Rich, high-fidelity world, minus the hassles. In: Proceedings of the 9th International Conference on Cognitive Modeling (2009) 7. Ullrich, S., Bruegmann, K., Prendinger, H., Ishizuka, M.: Extending MPML3D to Second Life. In: Intelligent Virtual Agents, Lecture Notes in Artificial Intelligence, vol. 5208, pp. 281–288. Springer (2008) 8. OpenMetaverse Foundation: http://www.openmetaverse.org/projects/libopenmetaverse 9. Vstex Company: Second Life football system. http://www.secondfootball.com/ 10. Bordini, R., Hübner, J., M., W.: Programming multi-agent systems in AgentSpeak using Jason. John Wiley & Sons (2007) 11. Rao, A.S.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Agents Breaking Away: 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, Lecture Notes in Artificial Intelligence, vol. 1038, pp. 42–55. Springer (1996) 12. Bacchus, F., Kabanza, F.: Using temporal logics to express search control knowledge for planning. Artificial Intelligence 116(1-2), 123–191 (2000) 13. Dignum, F., Morley, D., Sonenberg, E.A., Cavedon, L.: Towards socially sophisticated BDI agents. In: Proceedings of the Fourth International Conference on MultiAgent Systems, pp. 111–118. IEEE Computer Society (2000) 14. Meneguzzi, F., Luck, M.: Norm-based behaviour modification in BDI agents. In: Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems, pp. 177–184. IFAAMAS (2009) 15. Neto, B.F.S., Silva, V.T., Lucena, C.J.P.: Using Jason to develop normative agents. In: Advances in Artificial Intelligence – SBIA 2010, Lecture Notes in Artificial Intelligence, vol. 6404, pp. 143–152. Springer (2011) 16. Meneguzzi, F., Miles, S., Luck, M., Holt, C., Smith, M.: Electronic contracting in aircraft aftercare: a case study. In: Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 63–70. IFAAMAS (2008