Bayesian Investor Blog

Ramblings of a somewhat libertarian stock market speculator

Logical Induction

Posted by Peter on September 14, 2016
Posted in: Artificial Intelligence, Life, the Universe, and Everything. Tagged: MIRI, prediction markets.

MIRI has produced a potentially important result (called Garrabrant induction) for dealing with uncertainty about logical facts.

The paper is somewhat hard for non-mathematicians to read. This video provides an easier overview, and more context.

It uses prediction markets! “It’s a financial solution to the computer science problem of metamathematics”.

It shows that we can evade disturbing conclusions such as Godel incompleteness and the paradox of the liar, by expecting to only be very confident about logically deducible facts (as opposed to being mathematically certain). That’s similar to the difference between treating beliefs about empirical facts as probabilities, as opposed to boolean values.

I’m somewhat skeptical that it will have an important effect on AI safety, but my intuition says it will produce enough benefits somewhere that it will become at least as famous as Pearl’s work on causality.

Posts navigation

← The Moral Economy
Science as Compression →
  • Recent Posts

    • The Death of Cancer
    • Future-Generation Government
    • AI-Oriented Investments
    • An Optimistic Scenario for Taiwan
    • Further Thoughts on AI Ethics
    • Waking up to AGI
    • Super Agers
    • Are Intelligent Agents More Ethical?
  • Recent Comments

    • The Death of Cancer | Bayesian Investor Blog on Super Agers
    • David Schneider-Joseph on AI-Oriented Investments
    • Peter on AI-Oriented Investments
    • Future-Generation Government | Bayesian Investor Blog on Intangibles
    • Peter on Waking up to AGI
  • Tags

    aging amm autism best posts bias brain bubbles CFAR climate communication skills consciousness covid diet effective altruism empires equality ethics evolution existential risks genetics happiness history honesty industrial revolution information economics IQ kelvinism law macroeconomics meditation mind uploading MIRI neuroscience prediction markets prizes psychology rationality relationships risks seasteading status stock market crash transhumanism war willpower
  • Categories

    • Announcements [B] (6)
    • Book Reviews (284)
    • Economics (187)
      • Idea Futures (44)
      • Investing (85)
    • Life, the Universe, and Everything (155)
      • Fermi Paradox (6)
      • Health (113)
      • Humor (11)
    • Movies (2)
    • Politics (201)
      • China (19)
      • Freedom (19)
      • Mideast (14)
      • U.S. Politics (82)
    • Science and Technology (261)
      • Artificial Intelligence (93)
      • Miscellaneous (20)
      • Molecular Assemblers (Advanced Nanotech) (16)
      • The Flynn Effect (16)
      • The Human Mind (111)
      • Virtual Worlds (4)
    • Uncategorized (14)
Proudly powered by WordPress Theme: Parament by Automattic.