Abstract
This paper motivates the study of counterpossibles (logically impossible counterfactuals) as necessary for developing a decision theory suitable for generally intelligent agents embedded within their environments. We discuss two attempts to formalize a decision theory using counterpossibles, one based on graphical models and another based on proof search.
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
Bar-Hillel, M., Margalit, A.: Newcomb’s paradox revisited. British Journal for the Philosophy of Science 23(4), 295–304 (1972). http://www.jstor.org/stable/686730
Benson-Tilsen, T.: UDT with known search order. Tech. Rep. 2014–4, Machine Intelligence Research Institute (2014). http://intelligence.org/files/UDTSearchOrder.pdf
Cohen, D.: On what cannot be. In: Dunn, J., Gupta, A. (eds.) Truth or Consequences, pp. 123–132. Kluwer (1990)
Dai, W.: Towards a new decision theory. Less Wrong (2009). http://lesswrong.com/lw/15m/towards_a_new_decision_theory/
Gibbard, A., Harper, W.L.: Counterfactuals and two kinds of expected utility. In: Hooker, C.A., Leach, J.J., McClennen, E.F. (eds.) Foundations and Applications of Decision Theory, The Western Ontario Series in Philosophy of Science, vol. 13a. D. Reidel (1978)
Jeffrey, R.C.: The Logic of Decision, 2 edn. Chicago University Press (1983)
Lehmann, E.L.: Some principles of the theory of testing hypotheses. Annals of Mathematical Statistics 21(1), 1–26 (1950)
Lewis, D.: Prisoners’ dilemma is a Newcomb problem. Philosophy & Public Affairs 8(3), 235–240 (1979). http://www.jstor.org/stable/2265034
Lewis, D.: Causal decision theory. Australasian Journal of Philosophy 59(1), 5–30 (1981)
Lewis, D.: Why ain’cha rich? Noûs 15(3), 377–380 (1981). http://www.jstor.org/stable/2215439
Nozick, R.: Newcomb’s problem and two principles of choice. In: Rescher, N. (ed.) Essays in Honor of Carl G. Hempel, pp. 114–146. No. 24 in Synthese Library, D. Reidel (1969)
Pearl, J.: Causality, 1 edn. Cambridge University Press (2000)
Von Neumann, J., Morgenstern, O.: Theory of Games and Economic Behavior, 1 edn. Princeton University Press (1944)
Yudkowsky, E.: Timeless decision theory. Tech. rep., The Singularity Institute, San Francisco, CA (2010). http://intelligence.org/files/TDT.pdf
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Soares, N., Fallenstein, B. (2015). Two Attempts to Formalize Counterpossible Reasoning in Deterministic Settings. In: Bieger, J., Goertzel, B., Potapov, A. (eds) Artificial General Intelligence. AGI 2015. Lecture Notes in Computer Science(), vol 9205. Springer, Cham. https://doi.org/10.1007/978-3-319-21365-1_17
Download citation
DOI: https://doi.org/10.1007/978-3-319-21365-1_17
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-21364-4
Online ISBN: 978-3-319-21365-1
eBook Packages: Computer ScienceComputer Science (R0)