Show simple item record

dc.contributor.authorRanathunga, Surangikaen_NZ
dc.contributor.authorCranefield, Stephenen_NZ
dc.contributor.authorPurvis, Martinen_NZ
dc.date.available2011-04-07T03:01:52Z
dc.date.copyright2010-12-16en_NZ
dc.identifier.citationRanathunga, S., Cranefield, S., & Purvis, M. (2010). Integrating expectation monitoring into Jason: A case study using Second Life. Presented at the 8th European Workshop on Multi-Agent Systems.en
dc.identifier.urihttp://hdl.handle.net/10523/692
dc.descriptionThis 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).en_NZ
dc.description.abstractPrevious 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.en_NZ
dc.format.mimetypeapplication/pdf
dc.subject.lcshQA76 Computer softwareen_NZ
dc.titleIntegrating expectation monitoring into Jason: A case study using Second Lifeen_NZ
dc.typeConference or Workshop Item (Paper)en_NZ
dc.description.versionPublisheden_NZ
otago.date.accession2010-11-23 01:19:54en_NZ
otago.openaccessOpen
dc.identifier.eprints1016en_NZ
dc.description.refereedPeer Revieweden_NZ
otago.school.eprintsSoftware Engineering & Collaborative Modelling Laboratoryen_NZ
otago.school.eprintsInformation Scienceen_NZ
dc.description.references1. 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)en_NZ
otago.event.typeworkshopen_NZ
otago.event.title8th European Workshop on Multi-Agent Systemsen_NZ
 Find in your library

Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record