On the computability of AIXI

Jan Leike, Marcus Hutter

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Abstract

    How could we solve the machine learning and the artificial intelligence problem if we had infinite computation? Solomonoff induction and the reinforcement learning agent AIXI are proposed answers to this question. Both are known to be incomputable. In this paper, we quantify this using the arithmetical hierarchy, and prove upper and corresponding lower bounds for incomputability. We show that AIXI is not limit computable, thus it cannot be approximated using finite computation. Our main result is a limitcomputable ε-optimal version of AIXI with infinite horizon that maximizes expected rewards.
    Original languageEnglish
    Title of host publicationUncertainty in Artificial Intelligence - Proceedings of the 31st Conference, UAI 2015
    EditorsHeskes T.Meila M.
    Place of PublicationTBC
    PublisherAUAI Press
    Pages464-473
    Editionpeer reviewed
    Publication statusPublished - 2015
    EventConference on Uncertainty in Artificial Intelligence, UAI 2015 - Amsterdam, Netherland
    Duration: 1 Jan 2015 → …

    Conference

    ConferenceConference on Uncertainty in Artificial Intelligence, UAI 2015
    Period1/01/15 → …
    OtherJuly 12-16 2015

    Fingerprint

    Dive into the research topics of 'On the computability of AIXI'. Together they form a unique fingerprint.

    Cite this