论文信息 - Questions of Reasoning Under Logical Uncertainty

Questions of Reasoning Under Logical Uncertainty

A logically uncertain reasoner would be able to reason as if they know both a programming language and a program, without knowing what the program outputs. Most practical reasoning involves some logical uncertainty, but no satisfactory theory of reasoning under logical uncertainty yet exists. A better theory of reasoning under logical uncertainty is needed in order to develop the tools necessary to construct highly reliable artificial reasoners. This paper introduces the topic, discusses a number of historical results, and describes a number of open prob-

Benja Fallenstein | N. Soares

[1] Kurt Gödel,et al. On undecidable propositions of formal mathematical systems , 1934 .

[2] J. Łoś. On the axiomatic treatment of probability , 1955 .

[3] H. Gaifman. Concerning measures in first order calculi , 1964 .

[4] Ian Hacking,et al. Slightly More Realistic Personal Probability , 1967, Philosophy of Science.

[5] Joseph Y. Halpern. Reasoning about uncertainty , 2003 .

[6] Haim Gaifman,et al. Reasoning with Limited Resources and Assigning Probabilities to Arithmetical Statements , 2004, Synthese.

[7] Eliezer Yudkowsky. Artificial Intelligence as a Positive and Negative Factor in Global Risk , 2006 .

[8] Abram Demski. Logical Prior Probability , 2012, AGI.

[9] Paul Christiano,et al. Definability of Truth in Probabilistic Logic ( Early draft ) , 2013 .

[10] Marcus Hutter,et al. Probabilities on Sentences in an Expressive Logic , 2012, J. Appl. Log..

[11] Paul Christiano. Non-Omniscience, Probabilistic Inference, and Metamathematics , 2014 .

[12] Nate Soares,et al. Formalizing Two Problems of Realistic World-Models , 2015 .

[13] Benja Fallenstein,et al. Aligning Superintelligence with Human Interests: A Technical Research Agenda , 2015 .

[14] C. Robert. Superintelligence: Paths, Dangers, Strategies , 2017 .