Integrating expectation handling into Jason

Although expectations play an important role in designing cognitive agents, agent expectations are not explicitly being handled in most common agent programming environments. There are techniques for monitoring fulfilment and violation of agent expectations, however they are not linked with common agent programming environments so that agents can be easily programmed to respond to these circumstances. This paper investigates how expectation monitoring tools can be tightly integrated with the Jason BDI agent interpreter by extending it with built-in actions to initiate and terminate monitoring of expectations, and demonstrates how an external expectation monitor is linked with Jason using these internal actions.Unpublished1. Linden Lab. Second Life Home Page. http://secondlife.com, August 2010. 2. Vstex Company. Secondfootball Home Page. http://www.secondfootball.com, August 2010. 3. F. Bacchus and F. Kabanza. Using Temporal Logics to Express Search Control Knowledge for Planning. Artificial Intelligence, 116(1-2):123–191, 2000. 4. R. H. Bordini, J. F. Hubner, and M. Wooldridge. Programming Multi-Agent Systems in AgentSpeak using Jason. John Wiley & Sons Ltd, England, 2007. 5. C. Castelfranchi. Mind as an anticipatory device: For a theory of expectations. In M. De Gregorio, V. Di Maio, M. Frucci, and C. Musio, editors, Brain, Vision, and Artificial Intelligence, volume 3704 of Lecture Notes in Computer Science, pages 258–276. Springer Berlin / Heidelberg, 2005. 6. C. Castelfranchi, F. Giardini, E. Lorini, and L. Tummolini.The prescriptive destiny of predictive attitudes: From expectations to norms via conventions. In Proceedings 25th Annual Meeting of the Cognitive Science Society (CogSci 2003), Boston, USA, 31 July 2 August, 2003. 7. S. Cranefield and M. Winikoff. Verifying social expectations by model checking truncated paths. Journal of Logic and Computation, 2010. Advance access, doi:10.1093/logcom/exq055. 8. S. Cranefield, M. Winikoff, and W. Vasconcelos. Modelling and monitoring interdependent expectations. Discussion Paper 2011/03, Department of Information Science, University of Otago, 2011. http://eprints.otago.ac.nz/1094/. 9. E. Lorini and R. Falcone. Modeling expectations in cognitive agents. In AAAI 2005 Fall Symposium: From Reactive to Anticipatory Cognitive Embodied Systems, 2005. 10. F. Meneguzzi, S. Miles, M. Luck, C. Holt, and M. Smith. Electronic contracting in aircraft aftercare: a case study. In Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: industrial track, AAMAS ’08, pages 63–70, Richland, SC, 2008. International Foundation for Autonomous Agents and Multiagent Systems. 11. S. Ranathunga, S. Cranefield, and M. Purvis. Interfacing a Cognitive Agent Platform with a Virtual World: a Case Study using Second Life. In 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011. To appear. 12. A. S. Rao. BDI agents speak out in a logical computable language. In Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world: agents breaking away, pages 42–55. Springer-Verlag Berlin, Heidelberg, 1996