Skip to main content

Satisfying Maintenance Goals

  • Conference paper

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

Abstract

A rational agent derives its choice of action from its beliefs and goals. Goals can be distinguished into achievement goals and maintenance goals. The aim of this paper is to define a mechanism which ensures the satisfaction of maintenance goals. We argue that such a mechanism requires the agent to look ahead, in order to make sure that the execution of actions does not lead to a violation of a maintenance goal. That is, maintenance goals may constrain the agent in choosing its actions. We propose a formal semantics of maintenance goals based on the notion of lookahead, and analyze the semantics by proving some properties. Additionally, we discuss the issue of achievement goal revision, in case the maintenance goals are so restrictive that all courses of action for satisfying achievement goals will lead to a violation of maintenance goals.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-540-77564-5_6
  • Chapter length: 18 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   64.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-77564-5
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   84.99
Price excludes VAT (USA)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Boutilier, C., Dean, T., Hanks, S.: Decision-theoretic planning: Structural assumptions and computational leverage. Journal of AI Research 11, 1–94 (1999)

    MATH  MathSciNet  Google Scholar 

  2. Brafman, R.I., Chernyavsky, Y.: Planning with goal preferences and constraints. In: Proceedings of ICAPS 2005 (2006)

    Google Scholar 

  3. Braubach, L., Pokahr, A., Moldt, D., Lamersdorf, W.: Goal representation for BDI agent systems. In: Bordini, R.H., Dastani, M., Dix, J., Seghrouchni, A.E.F. (eds.) ProMAS 2004. LNCS (LNAI), vol. 3346, pp. 44–65. Springer, Heidelberg (2005)

    Google Scholar 

  4. Dastani, M., van Riemsdijk, M.B., Meyer, J.-J.C.: Goal types in agent programming. In: Mehdi Dastani, M. (ed.) ECAI 2006. Proceedings of the 17th European Conference on Artifical Intelligence. Frontiers in Artificial Intelligence and Applications, vol. 141, pp. 220–224. IOS Press, Amsterdam (2006)

    Google Scholar 

  5. de Boer, F.S., Hindriks, K.V., van der Hoek, W., Meyer, J.-J.C.: A Verification Framework for Agent Programming with Declarative Goals. Journal of Applied Logic (2006)

    Google Scholar 

  6. Duff, S., Harland, J., Thangarajah, J.: On Proactivity and Maintenance Goals. In: AAMAS 2006. Proceedings of the fifth international joint conference on autonomous agents and multiagent systems, Hakodate, pp. 1033–1040 (2006)

    Google Scholar 

  7. Francez, N.: Fairness. Springer, Heidelberg (1986)

    MATH  Google Scholar 

  8. Fritz, C., McIlraith, S.A.: Decision-theoretic golog with qualitative preferences. In: KR, pp. 153–163 (2006)

    Google Scholar 

  9. Gardenfors, P.: Belief Revision. In: Cambridge Computer Tracts, Cambridge University Press, Cambridge (1992)

    Google Scholar 

  10. Hindriks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J.-J.C.: Agent Programming with Declarative Goals. In: Castelfranchi, C., Lespérance, Y. (eds.) ATAL 2000. LNCS (LNAI), vol. 1986, pp. 228–243. Springer, Heidelberg (2001)

    CrossRef  Google Scholar 

  11. Hübner, J.F., Bordini, R.H., Wooldridge, M.: Declarative goal patterns for AgentSpeak. In: Baldoni, M., Endriss, U. (eds.) DALT 2006. LNCS (LNAI), vol. 4327, Springer, Heidelberg (2006)

    Google Scholar 

  12. Lifschitz, V.: On the semantics of strips. In: Georgeff, M.P., Lansky, A.L. (eds.) Reasoning about Actions and Plans, pp. 1–9. Morgan Kaufmann, San Francisco (1986)

    Google Scholar 

  13. Pokahr, A., Braubach, L., Lamersdorf, W.: A goal deliberation strategy for BDI agent systems. In: Eymann, T., Klügl, F., Lamersdorf, W., Klusch, M., Huhns, M.N. (eds.) MATES 2005. LNCS (LNAI), vol. 3550, pp. 82–93. Springer, Heidelberg (2005)

    Google Scholar 

  14. Sardina, S., Shapiro, S.: Rational action in agent programs with prioritized goals. In: AAMAS 2003. Proceedings of the second international joint conference on autonomous agents and multiagent systems, Melbourne, pp. 417–424 (2003)

    Google Scholar 

  15. Thangarajah, J., Padgham, L., Winikoff, M.: Detecting and avoiding interference between goals in intelligent agents. In: IJCAI 2003. Proceedings of the 18th International Joint Conference on Artificial Intelligence (2003)

    Google Scholar 

  16. Thangarajah, J., Winikoff, M., Padgham, L., Fischer, K.: Avoiding resource conflicts in intelligent agents. In: van Harmelen, F. (ed.) ECAI 2002. Proceedings of the 15th European Conference on Artifical Intelligence, Lyon, France (2002)

    Google Scholar 

  17. van Riemsdijk, M.B., Dastani, M., Meyer, J.-J.C., de Boer, F.S.: Goal-oriented modularity in agent programming. In: Birna van, M. (ed.) AAMAS 2006. Proceedings of the fifth international joint conference on autonomous agents and multiagent systems, Hakodate, pp. 1271–1278 (2006)

    Google Scholar 

  18. Winikoff, M., Padgham, L., Harland, J., Thangarajah, J.: Declarative and procedural goals in intelligent agent systems. In: KR2002. Proceedings of the eighth international conference on principles of knowledge respresentation and reasoning, Toulouse (2002)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hindriks, K.V., van Riemsdijk, M.B. (2008). Satisfying Maintenance Goals. In: Baldoni, M., Son, T.C., van Riemsdijk, M.B., Winikoff, M. (eds) Declarative Agent Languages and Technologies V. DALT 2007. Lecture Notes in Computer Science(), vol 4897. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-77564-5_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-77564-5_6

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-77563-8

  • Online ISBN: 978-3-540-77564-5

  • eBook Packages: Computer ScienceComputer Science (R0)