Skip to main content
SpringerLink
Log in

Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming

  • Conference paper
Declarative Agent Languages and Technologies VI (DALT 2008)

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

Included in the following conference series:

Abstract

The core capability of a rational agent is to choose its next action in a rational fashion, a capability that can be put to good use by a designer to satisfy the design objectives of an agent system. In agent programming languages for rational agents, such choices are derived from the agent’s beliefs and goals. At any one time, an agent can typically choose from multiple actions, which may all lead to goal achievement. Existing approaches usually select one of those actions non-deterministically. In this paper, we propose the use of goals as hard constraints and qualitative preferences as soft constraints for choosing a most preferred action among the available ones. We use temporal logic for the representation of various kinds of goals and preferences, leading to a uniform framework for integrating goals and preferences into agent programming.

This work has been sponsored by the project SENSORIA, IST-2005-016004.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bacchus, F., Kabanza, F.: Using temporal logics to express search control knowledge for planning. Artificial Intelligence 166 (2000)

    Google Scholar 

  2. Baier, J.A., Bacchus, F., McIlraith, S.A.: A heuristic search approach to planning with temporally extended preferences. In: IJCAI, pp. 1808–1815 (2007)

    Google Scholar 

  3. Bauer, A., Leucker, M., Schallhart, C.: Monitoring of real-time properties. In: Arun-Kumar, S., Garg, N. (eds.) FSTTCS 2006. LNCS, vol. 4337, pp. 260–272. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  4. Bienvenu, M., Fritz, C., McIlraith, S.A.: Planning with qualitative temporal preferences. In: Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), pp. 134–144 (2006)

    Google Scholar 

  5. Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A.: Multi-Agent Programming: Languages, Platforms and Applications. Springer, Berlin (2005)

    MATH  Google Scholar 

  6. Brewka, G.: A rank based description language for qualitative preferences. In: Proceedings of the 16th European Conference on Artificial Intelligence (ECAI 2004), pp. 303–307 (2004)

    Google Scholar 

  7. de Boer, F., Hindriks, K., van der Hoek, W., Meyer, J.-J.: A Verification Framework for Agent Programming with Declarative Goals. Journal of Applied Logic 5, 277–302 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  8. Emerson, E.A.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science. Formal Models and Semantics, vol. B, pp. 996–1072. Elsevier, Amsterdam (1990)

    Google Scholar 

  9. Fikes, R.E., Nilsson, N.J.: STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence 2, 189–208 (1971)

    Article  MATH  Google Scholar 

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

    Google Scholar 

  11. Ghallab, M., Nau, D., Traverso, P.: Automated Planning: Theory and Practice. Morgan Kaufmann, San Francisco (2004)

    MATH  Google Scholar 

  12. Hindriks, K.: Modules as Policy-Based Intentions: Modular Agent Programming in GOAL. In: Dastani, M., El Fallah Seghrouchni, A., Ricci, A., Winikoff, M. (eds.) ProMAS 2007. LNCS, vol. 4908, pp. 156–171. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  13. Hindriks, K., van Riemsdijk, B.: Satisfying Maintenance Goals. In: Baldoni, M., Son, T.C., van Riemsdijk, M.B., Winikoff, M. (eds.) DALT 2007. LNCS, vol. 4897, pp. 86–103. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  14. 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, vol. 1986, pp. 228–243. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  15. Son, T.C., Pontelli, E.: Planning with preferences using logic programming. Theory and Practice of Logic Programming 6(5), 559–607 (2006)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. EEMCS, Delft University of Technology, Delft, The Netherlands

    Koen V. Hindriks

  2. LMU, Munich, Germany

    M. Birna van Riemsdijk

Authors
  1. Koen V. Hindriks
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. M. Birna van Riemsdijk
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dipartimento di Informatica, Università di Torino, Via Pessinetto 12, 10149, Turin, Italy

    Matteo Baldoni

  2. Department of Computer Science, New Mexico State University, MSC CS, Las Cruces, P.O. Box 30001, NM 88003, USA

    Tran Cao Son

  3. Delft University of Technology, Mekelweg 4, 2628 CD, Delft, The Netherlands

    M. Birna van Riemsdijk

  4. Higher Education Development Centre, University of Otago, P.O. Box 56, Dunedin, New Zealand

    Michael Winikoff

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hindriks, K.V., van Riemsdijk, M.B. (2009). Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming . In: Baldoni, M., Son, T.C., van Riemsdijk, M.B., Winikoff, M. (eds) Declarative Agent Languages and Technologies VI. DALT 2008. Lecture Notes in Computer Science(), vol 5397. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-93920-7_14

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-93920-7_14

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-93919-1

  • Online ISBN: 978-3-540-93920-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation