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.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bolker, E.D.: Functions Resembling Quotients of Measures. Transactions of the American Mathematical Society 124, 292–312 (1966)
Bolker, E.D.: A Simultaneous Axiomatisation of Utility and Subjective Probability. Philosophy of Science 34, 333–340 (1967)
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)
Cantor, G.: Beiträge zur Begründung der Transfiniten Mengenlehre I. Mathematische Annalen 46, 481–512 (1895)
Chisholm, R.M., Sosa, E.: On the Logic of Intrinsically Better. American Philosophical Quarterly 3, 244–249 (1966)
Domotor, Z.: Axiomatisation of Jeffrey Utilities. Synthese 39, 165–210 (1978)
Gerbrandy, J.D., Groeneveld, W.: Reasoning about Information Change. Journal of Logic, Language and Information 6, 147–169 (1997)
Halldén, S.: On the Logic of ‘Better’. CWK Gleerup, Lund (1957)
Halpern, J.Y.: Reasoning about Uncertainty. The MIT Press, Cambridge (2003)
Hansson, S.O.: Preference Logic. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn., vol. 4, pp. 319–393 (2001)
Hansson, S.O.: Preferences. In: Stanford Encyclopedia of Philosophy (2006)
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)
Jeffrey, R.: A Note on the Kinematics of Preference. Erkenntnis 11, 135–141 (1977); rpt. in [16] pp. 238–244
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
Jeffrey, R.: The Logic of Decision, Corrected Second Edition. University of Chicago Press, Chicago (1990)
Jeffrey, R.: Probability and the Art of Judgment. Cambridge UP, Cambridge (1992)
Joyce, J.M.: The Foundations of Causal Decision Theory. Cambridge UP, Cambridge (1999)
Krantz, D.H., et al.: Foundations of Measurement, vol. 1. Academic Press, New York (1971)
Luce, R.D., Raiffa, H.: Games and Decisions. John Wiley & Sons, Inc., New York (1957)
Luce, R.D., et al.: Foundations of Measurement, vol. III. Academic Press, San Diego (1990)
Martin, R.M.: Intension and Decision. Prentice-Hall, Inc., Englewood Cliffs (1963)
Naumov, P.: Logic of Subtyping. Theoretical Computer Science 357, 167–185 (2006)
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)
Ramsey, F.P.: Truth and Probability (1926). In: Mellor, D.H. (ed.) Philosophical Papers, pp. 52–94. Cambridge UP, Cambridge (1926)
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)
Resnik, M.D.: Choices: An Introduction to Decision Theory. University of Minnesota Press, Minneapolis (1987)
Roberts, F.S.: Measurement Theory. Addison-Wesley, Reading (1979)
Scott, D.: Measurement Structures and Linear Inequalities. Journal of Mathematical Psychology 1, 233–247 (1964)
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)
Suppes, P., et al.: Foundations of Measurement, vol. II. Academic Press, San Diego (1989)
Van Benthem, J., et al.: Preference Logic, Conditionals and Solution Concepts in Games. ILLC Prepublication Series PP-2005-28 (2005)
Van Benthem, J., Liu, F.: Dynamic Logic of Preference Upgrade. Journal of Applied Non-Classical Logic 17, 157–182 (2007)
Van Ditmarsch, H., et al.: Dynamic Epistemic Logic. Springer, Dordrecht (2007)
Von Wright, G.H.: The Logic of Preference. Edinburgh UP, Edinburgh (1963)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)