A formal approach to the problem of logical non-omniscience

MaRDI QIDQ3384071zbMATH OpenFDO

Authors Tsvi Benson-Tilsen, Andrew Critch, Nate Soares, Jessica Taylor, Scott M. Garrabrant

Publication date 14 December 2021

Full work available at URL https://arxiv.org/abs/1707.08747, http://eptcs.web.cse.unsw.edu.au/paper.cgi?TARK2017.16

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Microeconomic theory (price theory and economic markets) (91B24)

Recommendations

• A nonstandard approach to the logical omniscience problem
• Probabilities on sentences in an expressive logic
• Towards an Epistemic Logic for Uncertain Agents
• Tractable depth-bounded logics and the problem of logical omniscience
• scientific article; zbMATH DE number 1453151

Cites work

• scientific article; zbMATH DE number 5838699 (Why is no real title available?)
• scientific article; zbMATH DE number 50690 (Why is no real title available?)
• scientific article; zbMATH DE number 107774 (Why is no real title available?)
• scientific article; zbMATH DE number 1014107 (Why is no real title available?)
• scientific article; zbMATH DE number 1095142 (Why is no real title available?)
• scientific article; zbMATH DE number 2046116 (Why is no real title available?)
• scientific article; zbMATH DE number 795569 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 3054843 (Why is no real title available?)
• scientific article; zbMATH DE number 3056125 (Why is no real title available?)
• scientific article; zbMATH DE number 3060434 (Why is no real title available?)
• scientific article; zbMATH DE number 3087284 (Why is no real title available?)
• scientific article; zbMATH DE number 3090128 (Why is no real title available?)
• scientific article; zbMATH DE number 3106184 (Why is no real title available?)
• A formal theory of inductive inference. Part I
• A formal theory of inductive inference. Part II
• Belief, awareness, and limited reasoning
• Bounded gaps between primes
• Concerning measures in first order calculi
• Conditionalization and observation
• Dynamic epistemic logic for implicit and explicit beliefs
• How to express self-referential probability. A Kripkean proposal
• Knowledge and belief. An introduction to the logic of the two notions. Prepared by Vincent F. Hendricks and John Symons
• On Computable Numbers, with an Application to the Entscheidungsproblem
• On the axiomatic treatment of probability
• Probabilities on sentences in an expressive logic
• Probabilities over rich languages, testing and randomness
• Probability Theory
• THE COMPLEXITY OF FINITE OBJECTS AND THE DEVELOPMENT OF THE CONCEPTS OF INFORMATION AND RANDOMNESS BY MEANS OF THE THEORY OF ALGORITHMS
• The Foundations of Causal Decision Theory
• Topology, cosmology and convention
• Truth and Probability

Cited in

(6)

• Duhem's problem revisited: logical versus epistemic formulations and solutions
• The problem of logical omniscience, the preface paradox, and doxastic commitments
• scientific article; zbMATH DE number 1759384 (Why is no real title available?)
• A stochastic model of mathematics and science
• The defeater version of Benacerraf's problem for a priori knowledge
• A Theory of Bounded Inductive Rationality

This page was built for publication: A formal approach to the problem of logical non-omniscience

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3384071)