pith. sign in

A Theory of Universal Artificial Intelligence based on Algorithmic Complexity

4 Pith papers cite this work. Polarity classification is still indexing.

4 Pith papers citing it
abstract

Decision theory formally solves the problem of rational agents in uncertain worlds if the true environmental prior probability distribution is known. Solomonoff's theory of universal induction formally solves the problem of sequence prediction for unknown prior distribution. We combine both ideas and get a parameterless theory of universal Artificial Intelligence. We give strong arguments that the resulting AIXI model is the most intelligent unbiased agent possible. We outline for a number of problem classes, including sequence prediction, strategic games, function minimization, reinforcement and supervised learning, how the AIXI model can formally solve them. The major drawback of the AIXI model is that it is uncomputable. To overcome this problem, we construct a modified algorithm AIXI-tl, which is still effectively more intelligent than any other time t and space l bounded agent. The computation time of AIXI-tl is of the order tx2^l. Other discussed topics are formal definitions of intelligence order relations, the horizon problem and relations of the AIXI theory to other AI approaches.

citation-role summary

background 1

citation-polarity summary

fields

cs.AI 3 cs.PL 1

years

2026 3 2023 1

roles

background 1

polarities

background 1

clear filters

representative citing papers

A Model-Free Universal AI

cs.AI · 2026-02-26 · unverdicted · novelty 8.0

AIQI is the first model-free universal AI agent proven asymptotically ε-optimal in general RL by inducing over distributional Q-functions instead of policies or environments.

citing papers explorer

Showing 2 of 2 citing papers after filters.

  • A Model-Free Universal AI cs.AI · 2026-02-26 · unverdicted · none · ref 4 · internal anchor

    AIQI is the first model-free universal AI agent proven asymptotically ε-optimal in general RL by inducing over distributional Q-functions instead of policies or environments.

  • Intervention Complexity as a Canonical Reward and a Measure of Intelligence cs.AI · 2026-05-04 · unverdicted · none · ref 13

    Intervention complexity provides a family of canonical rewards indexed by resource bias that completes the Legg-Hutter framework and enables a two-dimensional view of intelligence as competence plus learning efficiency.