Abstract
Intentional agents must be aware of their success and failure to truly assess their own progress towards their intended goals. However, our analysis of intentional agent systems indicate that existing architectures are inadequate in this regard. Specifically, existing systems provide few, if any, mechanisms for monitoring for the failure of behavior. This inability to detect failure means that agents retain an unrealistically optimistic view of the success of their behaviors and the state of their environment. In this paper we extend the solution proposed in [1] in three ways. Firstly, we extend the formulation to handle cases in which an agent has conflicting evidence regarding the causation of the effects of a plan or action. We do this by identifying a number of policies that an agent may use in order to alleviate these conflicts. Secondly, we provide mechanisms by which the agent can utilize its failure handling routines to recover when failure is detected. Lastly, we lift the requirement that all the effects be realized simultaneously and allow for progressive satisfaction of effects. Like the original solution these extensions can be applied to existing BDI systems.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Cleaver, T., Sattar, A., Wang, K.: Reasoning about success and failure in intentional agents. In: Proceedings of the 2005 Pacific Rim International Workshop on Multi-Agents (2005)
Bordini, R., Bazzan, A., Jannone, R., Basso, D., Vicari, R., Lesser, V.: Agentspeak(XL): Efficient Intention Selection in BDI Agents via Decision-Theoretic Task Scheduling. In: Proceedings of the first International Joint Conference on Autonomous Agents and Multi-Agent Systems, pp. 1294–1302 (2002)
Bordini, R., Moreira, A.: Proving BDI properties of agent-oriented programming languages: The asymmetry thesis principles in agentspeak(l). Annals of Mathematics and Artificial Intelligence 42, 197–226 (2004)
Georgeff, M., Ingrand, F.: Decision-making in an Embedded Reasoning System. In: Proceedings of the eleventh International Joint Conference on Artificial Intelligence, pp. 972–978 (1989)
Ingrand, F., Chatila, R., Alami, R., Robert, F.: PRS: A High Level Supervision and Control Language for Autonomous Mobile Robots. In: Proceedings of the IEEE International Conference on Robotics and Automation (1996)
Lee, J., Huber, M., Kenny, P., Durfee, E.: UM-PRS: An Implementation of the Procedural Reasoning System for Multi-robot Applications. In: Proceedings of the AIAA/NASA Conference on Intelligent Robots in Field, Factory, Service, and Space, pp. 842–849 (1994)
Huber, M.: JAM: A BDI-Theoretic Mobile Agent Architecture. In: Proceedings of the third International Conference on Autonomous Agents, pp. 236–243 (1999)
d’Inverno, M., Kinny, D., Luck, M., Wooldridge, M.: A Formal Specification of dMARS. In: Agent Theories, Architectures and Languages, pp. 115–176 (1997)
d’Inverno, M., Luck, M., Georgeff, M., Kinny, D., Wooldridge, M.: The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System. Autonomous Agents and Multi-Agent Systems 9, 5–53 (2004)
Busetta, P., Rönnquist, R., Hodgson, A., Lucas, A.: Jack Intelligent Agents - Components for Intelligent Agents in Java. AgentLink News Letter (1999)
Howden, N., Rönnquist, R., Hodgson, A., Lucas, A.: Jack Intelligent Agents - Summary of an Agent Infrastructure. In: Proceedings of the fifth International Conference on Autonomous Agents (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cleaver, T.W., Sattar, A., Wang, K. (2005). Reasoning with the Outcomes of Plan Execution in Intentional Agents. In: Zhang, S., Jarvis, R. (eds) AI 2005: Advances in Artificial Intelligence. AI 2005. Lecture Notes in Computer Science(), vol 3809. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11589990_9
Download citation
DOI: https://doi.org/10.1007/11589990_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-30462-3
Online ISBN: 978-3-540-31652-7
eBook Packages: Computer ScienceComputer Science (R0)