Skip to main content

A Framework for Goal-Based Semantic Compensation in Agent Systems

  • Conference paper

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

Abstract

This paper describes an approach to improving the robustness of an agent system by augmenting its failure-handling capabilities. The approach is based on the concept of semantic compensation: “cleaning up” failed or canceled tasks can help agents behave more robustly and predictably at both an individual and system level. Our approach is goal-based, both with respect to defining failure-handling knowledge, and in specifying a failure-handling model that makes use of this knowledge. By abstracting failure-handling above the level of specific actions or task implementations, it is not tied to specific agent architectures or task plans and is more widely applicable. The failure-handling knowledge is employed via a failure-handling support component associated with each agent through a goal-based interface. The use of this component decouples the specification and use of failure-handling information from the specification of the agent’s domain problem-solving knowledge, and reduces the failure-handling information that an agent developer needs to provide.

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   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

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. Gray, J., Reuter, A.: Transaction Processing: Concepts and Techniques. Morgan Kaufmann, San Francisco (1993)

    MATH  Google Scholar 

  2. FIPA: Fipa

    Google Scholar 

  3. Nodine, M., Unruh, A.: Facilitating open communication in agent systems. In: Rao, A., Singh, M.P., Wooldridge, M.J. (eds.) ATAL 1997. LNCS, vol. 1365, Springer, Heidelberg (1998)

    Google Scholar 

  4. Dayal, U., Hanson, E., Widom, J.: Active database systems. In: Modern Database Systems: The Object Model, Interoperability, and Beyond (1995)

    Google Scholar 

  5. Curbera, F., Khalaf, R., Mukhi, N., Tai, S., Weerawarana, S.: The next step in web services. Communications of the ACM 46(10) (2003)

    Google Scholar 

  6. Mikalsen, T., Tai, S., Rouvellou, I.: Transactional attitudes: Reliable composition of autonomous web services. In: Workshop on Dependable Middleware-based Systems (2002)

    Google Scholar 

  7. Nodine, M., Unruh, A.: Constructing robust conversation policies in dynamic agent communities. In: Issues in Agent Communication. Springer, Heidelberg (2000)

    Google Scholar 

  8. Walsh, W., Wellman, M.: Decentralized supply chain formation: A market protocol and competitive equilibrium analysis. JAIR 19, 513–567 (2003)

    MATH  Google Scholar 

  9. Unruh, A., Bailey, J., Ramamohanarao, K.: Managing semantic compensation in a multi-agent system. In: The 12th International Conference on Cooperative Information Systems, Cyprus. LNCS. Springer, Heidelberg (2004)

    Google Scholar 

  10. Cassandra, A., Chandrasekara, D., Nodine, M.: Capability-based agent matchmaking. In: Sierra, C., Gini, M., Rosenschein, J.S. (eds.) Proceedings of the Fourth International Conference on Autonomous Agents, Barcelona, Catalonia, Spain, pp. 201–202. ACM Press, New York (2000)

    Chapter  Google Scholar 

  11. Friedman-Hill, E.: Jess in Action. Manning Publications Company (2003)

    Google Scholar 

  12. Zhang, A., Nodine, M., Bhargava, B., Bukhres, O.: Ensuring relaxed atomicity for flexible transactions in multidatabase systems. In: Proceedings of the 1994 ACM SIGMOD international conference on Management of data, Minneapolis, Minnesota, United States, pp. 67–78. ACM Press, New York (1994)

    Chapter  Google Scholar 

  13. Garcia-Molina, H., Salem, K.: SAGAs. In: ACM SIGMOD Conference on Management of Data (1987)

    Google Scholar 

  14. Reuter, A., Schwenkreis, F.: Contracts - a low-level mechanism for building general-purpose workflow management-systems. Data Engineering Bulletin 18(1), 4–10 (1995)

    Google Scholar 

  15. Rao, A.S., Georgeff, M.P.: An abstract architecture for rational agents. In: Third International Conference on Principles of Knowledge Representation and Reasoning. Morgan Kaufmann, San Francisco (1992)

    Google Scholar 

  16. Busetta, P., Bailey, J., Ramamohanarao, K.: A reliable computational model for BDI agents. In: 1st International Workshop on Safe Agents. Held in conjunction with AAMAS 2003 (2003)

    Google Scholar 

  17. Ramamohanarao, K., Bailey, J., Busetta, P.: Transaction oriented computational models for multi-agent systems. In: 13th IEEE International Conference on Tools with Artificial Intelligence, Dallas, pp. 11–17. IEEE Press, Los Alamitos (2001)

    Google Scholar 

  18. Smith, V.: Transaction oriented computational models for multi-agent systems. Internal Report. University of Melbourne (2003)

    Google Scholar 

  19. Busetta, P., Ramamohanarao, K.: An architecture for mobile BDI agents. In: 1998 ACM Symposium on Applied Computing (1998)

    Google Scholar 

  20. Nagi, K., Nimis, J., Lockemann, P.: Transactional support for cooperation in multiagent-based information systems. In: Proceedings of the Joint Conference on Distributed Information Systems on the basis of Objects, Components and Agents, Bamberg (2001)

    Google Scholar 

  21. Nagi, K., Lockemann, P.: Implementation model for agents with layered architecture in a transactional database environment. In: AOIS 1999 (1999)

    Google Scholar 

  22. Morley, D., Myers, K.: The SPARK agent framework. In: AAMAS 2004, NY (2004)

    Google Scholar 

  23. de Giacomo, G., Lesperance, Y., Levesque, H.J.: ConGolog, a concurrent programming language based on the situation calculus. Artif. Intell. 121(1-2), 109–169 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  24. Parsons, S., Klein, M.: Towards robust multi-agent systems: Handling communication exceptions in double auctions. Submitted to The 2004 Conference on Autonomous Agents and Multi-Agent Systems (2004)

    Google Scholar 

  25. Chen, Q., Dayal, U.: Multi-agent cooperative transactions for e-commerce. In: Conference on Cooperative Information Systems, pp. 311–322 (2000)

    Google Scholar 

  26. Strandens, T., Karlsen, R.: Transaction compensation in web services. In: Norsk Informatikkonferanse (2002)

    Google Scholar 

  27. Alonso, G., Agrawal, D., El Abbadi, A., Kamath, M., Gunthor, R., Mohan, C.: Advanced transaction models in workflow contexts. In: ICDE (1996)

    Google Scholar 

  28. Casati, F.: A discussion on approaches to handling exceptions in workflows. SIGGROUP Bulletin 20(3) (1999)

    Google Scholar 

  29. Rusinkiewicz, M., Sheth, A.P.: Specification and execution of transactional workflows. Modern Database Systems: The Object Model, Interoperability, and Beyond, 592–620 (1995)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Unruh, A., Bailey, J., Ramamohanarao, K. (2009). A Framework for Goal-Based Semantic Compensation in Agent Systems. In: Barley, M., Mouratidis, H., Unruh, A., Spears, D., Scerri, P., Massacci, F. (eds) Safety and Security in Multiagent Systems. Lecture Notes in Computer Science(), vol 4324. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04879-1_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-04879-1_10

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-04878-4

  • Online ISBN: 978-3-642-04879-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics