Skip to main content
SpringerLink
Log in

Actions, Preferences, and Logic Programs

  • Conference paper
Book cover Advances in Artificial Intelligence (Canadian AI 2012)

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

Included in the following conference series:

Abstract

An agent may have preferences over states and an agent may have preferences over actions. In this paper, we explore the connection between these distinct forms of preference, in the context where action effects are given by a transition system. We illustrate that preferences over actions can not always be reduced to preferences over states, even under very general conditions. It is possible, however, to define a natural notion of consistency between the two forms of preference. Moreover, it is possible to precisely specify which preferences over actions can be expressed in terms of preferences over states. We encode preferences over actions in a logic programming framework that allows us to automatically determine when preferences over actions can be reduced to preferences over states. Our framework facilitates the high-level analysis of preferences by making conflicts explicit. We conclude with a general discussion of conflicting preferences, and we suggest some topics for future work.

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. Alchourron, C., Gardenfors, P., Makinson, D.: On the logic of theory change: Partial meet functions for contraction and revision. Journal of Symbolic Logic 50(2), 510–530 (1985)

    Article  MathSciNet  MATH  Google Scholar 

  2. Bradley, R.: The kinematics of belief and desire. Synthese 156(3), 513–535 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  3. Darwiche, A., Pearl, J.: On the logic of iterated belief revision. Artificial Intelligence 89(1-2), 1–29 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  4. Freund, M.: On the revision of preferences and rational inference processes. Artificial Intelligence 152(1), 105–137 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  5. Freund, M.: Revising preferences and choices. Journal of Mathematical Economics 41, 229–251 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  6. Gelfond, M., Lifschitz, V.: Action languages. Linköping Electronic Articles in Computer and Information Science 3(16), 1–16 (1998)

    Google Scholar 

  7. Grove, A.: Two modellings for theory change. Journal of Philosophical Logic 17(2) (1988)

    Google Scholar 

  8. Hansson, S.O.: Changes in preferences. Theory and Decision 38, 1–28 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  9. Hansson, S.O.: The structure of values and norms. Cambridge University Press (2001)

    Google Scholar 

  10. Halpern, J.: Defining relative likelihood inpartially ordered preferential structures. Journal of Artificial Intelligence Research 7, 1–24 (1997)

    MathSciNet  MATH  Google Scholar 

  11. Horty, J.: Agency and Deontic Logic. Oxford University Press (2001)

    Google Scholar 

  12. Hunter, A., Delgrande, J.P.: An Action Description Language for Iterated Belief Change. In: Proceedings of the International Joint Conference on Artificial Intelligence, IJCAI 2007 (2007)

    Google Scholar 

  13. Lang, J., van der Torre, L., Weydert, E.: Utilitarian Desires. International Journal on Autonomous Agents and Multi-Agent Systems 5, 329–363 (2002)

    Article  Google Scholar 

  14. Lang, J., van der Torre, L.: From belief change to preference change. In: Proceedings of the European Conference on Artificial Intelligence, ECAI 2008 (2008)

    Google Scholar 

  15. Lifschitz, V., Turner, H.: Representing Transition Systems by Logic Programs. In: Gelfond, M., Leone, N., Pfeifer, G. (eds.) LPNMR 1999. LNCS (LNAI), vol. 1730, pp. 92–106. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  16. Mitchell, T.: Machine Learning. McGraw-Hill (1997)

    Google Scholar 

  17. van Benthem, J.: Dynamic logic for belief revision. Journal of Applied Non-Classical Logics 17, 129–156 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  18. van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Synthese Library 337. Springer (2007)

    Google Scholar 

  19. von Wright, H.H.: The logic of preference. Edinburgh University Press (1963)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. British Columbia Institute of Technology, Burnaby, BC, Canada

    Aaron Hunter

Authors
  1. Aaron Hunter
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Faculty of Engineering and Computer Science, Department of Computer Science and Software Engineering, Concordia University, H3G 1M8, Montreal, QC, Canada

    Leila Kosseim

  2. Faculty of Engineering, School of Electrical Engineering and Computer Science, University of Ottawa, K1N 6N5, Ottawa, ON, Canada

    Diana Inkpen

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hunter, A. (2012). Actions, Preferences, and Logic Programs. In: Kosseim, L., Inkpen, D. (eds) Advances in Artificial Intelligence. Canadian AI 2012. Lecture Notes in Computer Science(), vol 7310. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-30353-1_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-30353-1_9

  • Publisher Name: Springer, Berlin, Heidelberg

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

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

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation