Skip to main content

Prolegomena to Dynamic Epistemic Preference Logic

  • Conference paper
New Frontiers in Artificial Intelligence (JSAI 2008)

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

Included in the following conference series:

Abstract

In this paper, we propose a new version of sound and complete dynamic epistemic preference logic (DEPL). Both preference logic and dynamic epistemic logic have gained considerable attention in linguistics, computer science and philosophy. Recently van Benthem and Liu proposed to integrate preference logic with dynamic epistemic logic. They called the resulting logic ‘dynamic epistemic upgrade logic (DEUL)’. DEUL cannot deal with the dynamic interactions between knowledge and preferences originating from decisions makings under other circumstances than certainty. On the other hand, DEPL can deal with the dynamic interactions between knowledge and preferences originating from decisions makings under certainty, risk, uncertainty and ignorance. So DEPL has much wider scope of application than DEUL. Providing DEPL with measurement-theoretic semantics enables it to deal with such wide scope of decision problems.

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

Access this chapter

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. Bolker, E.D.: Functions Resembling Quotients of Measures. Transactions of the American Mathematical Society 124, 292–312 (1966)

    Article  MathSciNet  MATH  Google Scholar 

  2. Bolker, E.D.: A Simultaneous Axiomatisation of Utility and Subjective Probability. Philosophy of Science 34, 333–340 (1967)

    Article  MathSciNet  Google Scholar 

  3. Boutilier, C.: Toward a Logic for Qualitative Decision Theory. In: Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR 1994), Bonn, pp. 75–86 (1994)

    Google Scholar 

  4. Cantor, G.: Beiträge zur Begründung der Transfiniten Mengenlehre I. Mathematische Annalen 46, 481–512 (1895)

    Article  MATH  Google Scholar 

  5. Chisholm, R.M., Sosa, E.: On the Logic of Intrinsically Better. American Philosophical Quarterly 3, 244–249 (1966)

    Google Scholar 

  6. Domotor, Z.: Axiomatisation of Jeffrey Utilities. Synthese 39, 165–210 (1978)

    Article  MathSciNet  MATH  Google Scholar 

  7. Gerbrandy, J.D., Groeneveld, W.: Reasoning about Information Change. Journal of Logic, Language and Information 6, 147–169 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  8. Halldén, S.: On the Logic of ‘Better’. CWK Gleerup, Lund (1957)

    Google Scholar 

  9. Halpern, J.Y.: Reasoning about Uncertainty. The MIT Press, Cambridge (2003)

    MATH  Google Scholar 

  10. Hansson, S.O.: Preference Logic. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn., vol. 4, pp. 319–393 (2001)

    Google Scholar 

  11. Hansson, S.O.: Preferences. In: Stanford Encyclopedia of Philosophy (2006)

    Google Scholar 

  12. Hölder, O.: Die Axiome der Quantität und die Lehre von Mass. Berichte über die Verhandlungen der Königlich Sächsischen Gesellschaft der Wissenschaften zu Leipzig. Mathematisch-Physikaliche Classe 53, 1–64 (1901)

    Google Scholar 

  13. Jeffrey, R.: A Note on the Kinematics of Preference. Erkenntnis 11, 135–141 (1977); rpt. in [16] pp. 238–244

    Article  Google Scholar 

  14. Jeffrey, R.: Axiomatising the Logic of Decision. In: Hooker, C.A., et al. (eds.) Foundations and Applications of Decision Theory, vol. 1. Kluwer, Dordrecht (1978); rpt. in [16] pp. 232–237

    Google Scholar 

  15. Jeffrey, R.: The Logic of Decision, Corrected Second Edition. University of Chicago Press, Chicago (1990)

    Google Scholar 

  16. Jeffrey, R.: Probability and the Art of Judgment. Cambridge UP, Cambridge (1992)

    Book  Google Scholar 

  17. Joyce, J.M.: The Foundations of Causal Decision Theory. Cambridge UP, Cambridge (1999)

    Book  MATH  Google Scholar 

  18. Krantz, D.H., et al.: Foundations of Measurement, vol. 1. Academic Press, New York (1971)

    Google Scholar 

  19. Luce, R.D., Raiffa, H.: Games and Decisions. John Wiley & Sons, Inc., New York (1957)

    MATH  Google Scholar 

  20. Luce, R.D., et al.: Foundations of Measurement, vol. III. Academic Press, San Diego (1990)

    Google Scholar 

  21. Martin, R.M.: Intension and Decision. Prentice-Hall, Inc., Englewood Cliffs (1963)

    Google Scholar 

  22. Naumov, P.: Logic of Subtyping. Theoretical Computer Science 357, 167–185 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  23. Plaza, J.A.: Logics of Public Communications. In: Emrich, M.L., et al. (eds.) Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems, pp. 201–216 (1989)

    Google Scholar 

  24. Ramsey, F.P.: Truth and Probability (1926). In: Mellor, D.H. (ed.) Philosophical Papers, pp. 52–94. Cambridge UP, Cambridge (1926)

    Google Scholar 

  25. Rescher, N.: Semantic Foundations of the Logic of Preference. In: Rescher, N. (ed.) The Logic of Decision and Action, pp. 37–62. University of Pittsburgh Press, Pittsburgh (1967)

    Google Scholar 

  26. Resnik, M.D.: Choices: An Introduction to Decision Theory. University of Minnesota Press, Minneapolis (1987)

    Google Scholar 

  27. Roberts, F.S.: Measurement Theory. Addison-Wesley, Reading (1979)

    Google Scholar 

  28. Scott, D.: Measurement Structures and Linear Inequalities. Journal of Mathematical Psychology 1, 233–247 (1964)

    Article  MATH  Google Scholar 

  29. Segerberg, K.: Qualitative Probability in a Modal Setting. In: Fenstad, J.E. (ed.) Proceedings of the Second Scandinavian Logic Symposium, pp. 341–352. North-Holland, Amsterdam (1971)

    Chapter  Google Scholar 

  30. Suppes, P., et al.: Foundations of Measurement, vol. II. Academic Press, San Diego (1989)

    Google Scholar 

  31. Van Benthem, J., et al.: Preference Logic, Conditionals and Solution Concepts in Games. ILLC Prepublication Series PP-2005-28 (2005)

    Google Scholar 

  32. Van Benthem, J., Liu, F.: Dynamic Logic of Preference Upgrade. Journal of Applied Non-Classical Logic 17, 157–182 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  33. Van Ditmarsch, H., et al.: Dynamic Epistemic Logic. Springer, Dordrecht (2007)

    Book  MATH  Google Scholar 

  34. Von Wright, G.H.: The Logic of Preference. Edinburgh UP, Edinburgh (1963)

    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

Suzuki, S. (2009). Prolegomena to Dynamic Epistemic Preference Logic. In: Hattori, H., Kawamura, T., Idé, T., Yokoo, M., Murakami, Y. (eds) New Frontiers in Artificial Intelligence. JSAI 2008. Lecture Notes in Computer Science(), vol 5447. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-00609-8_16

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-00609-8_16

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-00608-1

  • Online ISBN: 978-3-642-00609-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics