{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T05:09:35Z","timestamp":1743052175287,"version":"3.40.3"},"publisher-location":"Cham","reference-count":38,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030541729"},{"type":"electronic","value":"9783030541736"}],"license":[{"start":{"date-parts":[[2020,7,31]],"date-time":"2020-07-31T00:00:00Z","timestamp":1596153600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2020,7,31]],"date-time":"2020-07-31T00:00:00Z","timestamp":1596153600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The term Artificial Intelligence was coined in 1956. Since then, this new research area has gone through several cycles of fast progress and periods of apparent stagnation. Today, the field has broadened and deepened significantly, and developed a rich variety of theoretical approaches and frameworks on the one side, and increasingly impressive practical applications on the other side. While a thorough foundation for a general theory of cognitive agents is still missing, there is a line of development within AI research which aims at foundational justifications for the design of cognitive agents, enabling the derivation of theorems characterizing the possibilities and limitations of computational cognitive agents.<\/jats:p>","DOI":"10.1007\/978-3-030-54173-6_3","type":"book-chapter","created":{"date-parts":[[2021,2,12]],"date-time":"2021-02-12T16:58:20Z","timestamp":1613149100000},"page":"29-42","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Foundations of Artificial Intelligence and Effective Universal Induction"],"prefix":"10.1007","author":[{"given":"J\u00f6rg","family":"Zimmermann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Armin B.","family":"Cremers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,7,31]]},"reference":[{"key":"3_CR1","unstructured":"Angwin, J., Larson, J., Mattu, S., & Kirchner, L. (2016). Machine bias. ProPublica."},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.ijar.2016.06.006","volume":"78","author":"S Arnborg","year":"2016","unstructured":"Arnborg, S. (2016). Robust Bayesian analysis in partially ordered plausibility calculi. International Journal of Approximate Reasoning, 78, 1\u201314.","journal-title":"International Journal of Approximate Reasoning"},{"key":"3_CR3","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511804090","volume-title":"Complexity theory: A modern approach","author":"S Arora","year":"2009","unstructured":"Arora, S., & Barak, B. (2009). Complexity theory: A modern approach. Cambridge: Cambridge University Press."},{"key":"3_CR4","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1038\/s41586-018-0637-6","volume":"536","author":"E Awad","year":"2018","unstructured":"Awad, E., Dsouza, S., Kim, R., Schulz, J., Henrich, J., Shariff, A., et al. (2018). The moral machine experiment. Nature, 536, 59\u201364.","journal-title":"Nature"},{"key":"3_CR5","volume-title":"Winning ways for your mathematical plays","author":"E R Berlekamp","year":"2001","unstructured":"Berlekamp, E. R., Conway, J. H., & Guy, R. K. (2001). Winning ways for your mathematical plays (2nd ed.). Natick: A K Peters.","edition":"2"},{"key":"3_CR6","volume-title":"Alan Turing: His work and impact","author":"S B Cooper","year":"2013","unstructured":"Cooper, S. B., & van Leeuwen, J. (2013). Alan Turing: His work and impact. Amsterdam: Elsevier Science."},{"key":"3_CR7","unstructured":"Corbett-Davies, S., Pierson, E., Feller, A., & Goel, S. (2016). A computer program used for bail and sentencing decisions was labeled biased against blacks. It\u2019s actually not that clear. The Washington Post."},{"issue":"2","key":"3_CR8","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1214\/aoms\/1177698950","volume":"38","author":"A P Dempster","year":"1967","unstructured":"Dempster, A. P. (1967). Upper and lower probabilities induced by a multivalued mapping. The Annals of Mathematical Statistics, 38(2), 325\u2013339.","journal-title":"The Annals of Mathematical Statistics"},{"issue":"1","key":"3_CR9","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/j.csda.2006.04.015","volume":"51","author":"D Dubois","year":"2006","unstructured":"Dubois, D. (2006). Possibility theory and statistical reasoning. Computational Statistics & Data Analysis, 51(1), 47\u201369.","journal-title":"Computational Statistics & Data Analysis"},{"key":"3_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-5287-7","volume-title":"Possibility theory","author":"D Dubois","year":"1988","unstructured":"Dubois, D., & Prade, H. (1988). Possibility theory. New York: Plenum Press."},{"volume-title":"The universal Turing machine: A half-century survey","year":"1994","key":"3_CR11","unstructured":"Herken, R. (Ed.). (1994). The universal Turing machine: A half-century survey. Berlin: Springer."},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Everitt, T., Lea, G., & Hutter, M. (2018). AGI safety literature review. In Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI\u201918), Stockholm, Sweden (pp. 5441\u20135449).","DOI":"10.24963\/ijcai.2018\/768"},{"volume-title":"Belief revision","year":"1992","key":"3_CR13","unstructured":"G\u00e4rdenfors, P. (Ed.). (1992). Belief revision. Cambridge: Cambridge University Press."},{"key":"3_CR14","unstructured":"Ginsberg, M. (Ed.). (1987). Readings in nonmonotonic reasoning. Los Altos, CA: Morgan Kauffman."},{"volume-title":"Degrees of belief","year":"2009","key":"3_CR15","unstructured":"Huber, F., & Schmidt-Petri, C. (Ed.) (2009). Degrees of belief. Berlin: Springer."},{"key":"3_CR16","doi-asserted-by":"publisher","DOI":"10.1007\/b138233","volume-title":"Universal artificial intelligence: Sequential decisions based on algorithmic probability","author":"M Hutter","year":"2005","unstructured":"Hutter, M. (2005). Universal artificial intelligence: Sequential decisions based on algorithmic probability. Berlin: Springer."},{"issue":"1\u20133","key":"3_CR17","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1016\/0167-2789(86)90237-X","volume":"22","author":"C G Langton","year":"1986","unstructured":"Langton, C. G. (1986). Studying artificial life with cellular automata. Physica D: Nonlinear Phenomena, 22(1\u20133), 120\u2013149.","journal-title":"Physica D: Nonlinear Phenomena"},{"key":"3_CR18","unstructured":"Legg, S., & Hutter, M. (2007a). A collection of definitions of intelligence. In B. Goertzel & P. Wang (Eds.), Advances in artificial general intelligence: Concepts, architectures and algorithms. Frontiers in Artificial Intelligence and Applications (Vol. 157, pp. 17\u201324). Amsterdam, NL: IOS Press."},{"issue":"4","key":"3_CR19","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1007\/s11023-007-9079-x","volume":"17","author":"S Legg","year":"2007","unstructured":"Legg, S., & Hutter, M. (2007b). Universal intelligence: A definition of machine intelligence. Minds & Machines, 17(4), 391\u2013444.","journal-title":"Minds & Machines"},{"key":"3_CR20","first-page":"1244","volume":"40","author":"J Leike","year":"2015","unstructured":"Leike, J., Hutter, M. (2015). Bad universal priors and notions of optimality. Journal of Machine Learning Research, 40, 1244\u20131259.","journal-title":"Journal of Machine Learning Research"},{"key":"3_CR21","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-49820-1","volume-title":"An introduction to Kolmogorov complexity and its applications Graduate texts in computer science","author":"M Li","year":"2008","unstructured":"Li, M., & Vit\u00e1nyi, P. M. B. (2008). An introduction to Kolmogorov complexity and its applications. Graduate texts in computer science (3rd ed.). Berlin: Springer.","edition":"3"},{"key":"3_CR22","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/978-3-642-35506-6_22","volume-title":"Proceedings of the 5th International Conference on Artificial General Intelligence, AGI\u201912","author":"L Orseau","year":"2012","unstructured":"Orseau, L., & Ring, M. (2012). Space-time embedded intelligence. In Proceedings of the 5th International Conference on Artificial General Intelligence, AGI\u201912 (pp. 209\u2013218). Berlin: Springer."},{"key":"3_CR23","doi-asserted-by":"publisher","first-page":"627","DOI":"10.1146\/annurev-environ-102016-060847","volume":"42","author":"F E L Otto","year":"2017","unstructured":"Otto, F. E. L. (2017). Attribution of weather and climate events. Annual Review of Environment and Resources, 42, 627\u2013646.","journal-title":"Annual Review of Environment and Resources"},{"key":"3_CR24","volume-title":"Synchrony, noun","author":"Oxford Dictionaries Online","year":"2013","unstructured":"Oxford Dictionaries Online. (2013). Synchrony, noun. Oxford: Oxford University Press. Retrieved May 11, 2013 from http:\/\/oxforddictionaries.com\/definition\/english\/synchrony"},{"key":"3_CR25","doi-asserted-by":"publisher","DOI":"10.1142\/7007","volume-title":"Axioms for Lattices and Boolean algebras","author":"R Padmanabhan","year":"2008","unstructured":"Padmanabhan, R., & Rudeanu, S. (2008). Axioms for Lattices and Boolean algebras. Singapore: World Scientific."},{"key":"3_CR26","volume-title":"Causal inference in statistics: A primer","author":"J Pearl","year":"2016","unstructured":"Pearl, J., Glymour, M., & Jewell, N. P. (2016). Causal inference in statistics: A primer. Hoboken: Wiley."},{"issue":"2","key":"3_CR27","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/s10670-009-9199-1","volume":"72","author":"S Rummens","year":"2010","unstructured":"Rummens, S., & Cuypers, S. E. (2010). Determinism and the paradox of predictability. Erkenntnis, 72(2), 233\u2013249.","journal-title":"Erkenntnis"},{"key":"3_CR28","doi-asserted-by":"publisher","DOI":"10.1515\/9780691214696","volume-title":"Mathematical theory of evidence","author":"G Shafer","year":"1976","unstructured":"Shafer, G. (1976). Mathematical theory of evidence. Princeton: Princeton University Press."},{"issue":"6419","key":"3_CR29","doi-asserted-by":"publisher","first-page":"1140","DOI":"10.1126\/science.aar6404","volume":"362","author":"D Silver","year":"2018","unstructured":"Silver, D., Hubert, T., Schrittwieser, J., Antonoglou, I., Lai, M., Guez, A., et al. (2018). A general reinforcement learning algorithm that masters chess, shogi, and go through self-play. Science, 362(6419), 1140\u20131144.","journal-title":"Science"},{"key":"3_CR30","unstructured":"Simonite, T. (2019). The AI text generator that\u2019s too dangerous to make public. Wired."},{"issue":"1","key":"3_CR31","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0019-9958(64)90223-2","volume":"7","author":"R Solomonoff","year":"1964","unstructured":"Solomonoff, R. (1964a). A formal theory of inductive inference, part I. Information and Control, 7(1), 1\u201322.","journal-title":"Information and Control"},{"issue":"2","key":"3_CR32","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1016\/S0019-9958(64)90131-7","volume":"7","author":"R Solomonoff","year":"1964","unstructured":"Solomonoff, R. (1964b). A formal theory of inductive inference, part II. Information and Control, 7(2), 224\u2013254.","journal-title":"Information and Control"},{"key":"3_CR33","unstructured":"Spohn, W. (1999). Ranking functions, AGM style. In B. Hansson, S. Halld\u00e9n, N.-E. Sahlin, & W. Rabinowicz (Eds.), Internet festschrift for Peter G\u00e4rdenfors, Lund. http:\/\/www.lucs.lu.se\/spinning"},{"key":"3_CR34","volume-title":"Degrees of belief","author":"W Spohn","year":"2009","unstructured":"Spohn, W. (2009). A survey of ranking theory. In F. Huber & C. Schmidt-Petri (Eds.), Degrees of belief. Berlin: Springer."},{"key":"3_CR35","unstructured":"Sutton, R. S. (1984). Temporal Credit Assignment in Reinforcement Learning. PhD Thesis, University of Massachusetts, Amherst, MA."},{"key":"3_CR36","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1038\/s42256-018-0005-0","volume":"1","author":"H Zenil","year":"2019","unstructured":"Zenil, H., Kiani, N. A., Zea, A. A., & Tegn\u00e9r, J. (2019). Causal deconvolution by algorithmic generative models. Nature Machine Intelligence, 1, 58\u201366.","journal-title":"Nature Machine Intelligence"},{"key":"3_CR37","unstructured":"Zimmermann, J. (2012). Algebraic Uncertainty Theory. PhD Thesis, Rheinische Friedrich-Wilhelms-Universit\u00e4t Bonn."},{"key":"3_CR38","doi-asserted-by":"crossref","unstructured":"Zimmermann, J., & Cremers, A. B. (2012). Making Solomonoff induction effective or you can learn what you can bound. In S. B. Cooper, A. Dawar, and B. L\u00f6we (Eds.), How the world computes. Lecture Notes in Computer Science (Vol. 7318). Berlin: Springer.","DOI":"10.1007\/978-3-642-30870-3_75"}],"container-title":["Robotics, AI, and Humanity"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-54173-6_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,19]],"date-time":"2021-07-19T23:07:14Z","timestamp":1626736034000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-54173-6_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,7,31]]},"ISBN":["9783030541729","9783030541736"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-54173-6_3","relation":{},"subject":[],"published":{"date-parts":[[2020,7,31]]},"assertion":[{"value":"31 July 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}