Skip to main content

Reasoning with the Outcomes of Plan Execution in Intentional Agents

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 3809))

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   189.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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)

    Google Scholar 

  2. 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)

    Google Scholar 

  3. 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)

    Article  MATH  MathSciNet  Google Scholar 

  4. 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)

    Google Scholar 

  5. 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)

    Google Scholar 

  6. 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)

    Google Scholar 

  7. Huber, M.: JAM: A BDI-Theoretic Mobile Agent Architecture. In: Proceedings of the third International Conference on Autonomous Agents, pp. 236–243 (1999)

    Google Scholar 

  8. d’Inverno, M., Kinny, D., Luck, M., Wooldridge, M.: A Formal Specification of dMARS. In: Agent Theories, Architectures and Languages, pp. 115–176 (1997)

    Google Scholar 

  9. 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)

    Article  Google Scholar 

  10. Busetta, P., Rönnquist, R., Hodgson, A., Lucas, A.: Jack Intelligent Agents - Components for Intelligent Agents in Java. AgentLink News Letter (1999)

    Google Scholar 

  11. 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)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics