Abstract
Although expectations play an important role in designing cognitive agents, monitoring for agent expectations is 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 to delegate this aspect of agent practical reasoning to an expectation monitoring tool integrated with a BDI agent platform. We exemplify this using the Jason BDI agent interpreter by extending it with built-in actions to initiate and terminate monitoring of expectations. This delegation enables agents to monitor for the fulfilment and violation of their expectations without relying on a centralised monitoring mechanism. This way, it is possible for agents to have plans that respond to the identified fulfilments and violations of their expectations.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alberti, M., Gavanelli, M., Lamma, E., Chesani, F., Mello, P., Torroni, P.: Compliance verification of agent interaction: a logic-based software tool. Applied Artificial Intelligence 20(2), 133–157 (2006)
Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Torroni, P., Sartor, G.: Mapping deontic operators to abductive expectations. Computational & Mathematical Organization Theory 12, 205–225 (2006)
Bacchus, F., Kabanza, F.: Using temporal logics to express search control knowledge for planning. Artificial Intelligence 116(1-2), 123–191 (2000)
Bordini, R.H., Hubner, J.F., Wooldridge, M.: Programming multi-agent systems in AgentSpeak using Jason. John Wiley & Sons Ltd. (2007)
Castelfranchi, C.: Mind as an anticipatory device: For a theory of expectations. In: De Gregorio, M., Di Maio, V., Frucci, M., Musio, C. (eds.) BVAI 2005. LNCS, vol. 3704, pp. 258–276. Springer, Heidelberg (2005)
Castelfranchi, C., Giardini, F., Lorini, E., Tummolini, L.: The prescriptive destiny of predictive attitudes: From expectations to norms via conventions. In: Proceedings of the 25th Annual Meeting of the Cognitive Science Society, pp. 222–227 (2003)
Cranefield, S., Winikoff, M.: Verifying social expectations by model checking truncated paths. Journal of Logic and Computation 21(6), 1217–1256 (2011)
Cranefield, S., Winikoff, M., Vasconcelos, W.: Modelling and monitoring interdependent expectations. In: Proceeedings of the 12th International Workshop on Coordination, Organizations, Institutions and Norms in Agent Systems (COIN), pp. 31–45 (2011), http://coin-aamas2011.iiia.csic.es/COIN_PreProceedings.pdf
Lorini, E., Falcone, R.: Modeling expectations in cognitive agents. In: Castelfranchi, C., Balkenius, C., Butz, M., Ortony, A. (eds.) AAAI 2005 Fall Symposium: From Reactive to Anticipatory Cognitive Embodied Systems, pp. 114–121. AAAI Press (2005)
Meneguzzi, F., Miles, S., Luck, M., Holt, C., Smith, M.: Electronic contracting in aircraft aftercare: a case study. In: Proceedings of the 7th International Conference on Autonomous Agents and Multiagent Systems, pp. 63–70. IFAAMAS (2008)
Nickles, M., Rovatsos, M., Weiss, G.: Expectation-oriented modeling. Engineering Applications of Artificial Intelligence 18, 891–918 (2005)
Ranathunga, S., Cranefield, S., Purvis, M.: Interfacing a cognitive agent platform with a virtual world: a case study using Second Life. In: International Workshop on the Uses of Agents for Education, Games and Simulations (AEGS 2011), pp. 1–16 (2011)
Ranathunga, S., Cranefield, S., Purvis, M.: Identifying events taking place in Second Life virtual environments. Applied Artificial Intelligence 26, 137–181 (2012), doi:10.1080/08839514.2012.629559
Rao, A.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Perram, J., Van de Velde, W. (eds.) MAAMAW 1996. LNCS, vol. 1038, pp. 42–55. Springer, Heidelberg (1996)
Wallace, I., Rovatsos, M.: Bounded practical social reasoning in the ESB framework. In: Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems, pp. 1097–1104. IFAAMAS (2009)
Wallace, I., Rovatsos, M.: Executing specifications of social reasoning agents. In: Omicini, A., Sardina, S., Vasconcelos, W. (eds.) DALT 2010. LNCS, vol. 6619, pp. 112–129. Springer, Heidelberg (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ranathunga, S., Cranefield, S., Purvis, M. (2012). Integrating Expectation Monitoring into BDI Agents. In: Dennis, L., Boissier, O., Bordini, R.H. (eds) Programming Multi-Agent Systems. ProMAS 2011. Lecture Notes in Computer Science(), vol 7217. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31915-0_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-31915-0_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-31914-3
Online ISBN: 978-3-642-31915-0
eBook Packages: Computer ScienceComputer Science (R0)