<abstract xmlns="http://www.w3.org/1999/xhtml"><p>This paper presents Unlimited Computable AI, or UCAI, that is a family of computable variants of AIXI. UCAI is more powerful than AIXI<italic>tl</italic>, which is a conventional family of computable variants of AIXI, in the following ways: 1) UCAI supports models of terminating computation, including typed lambda calculi, while AIXI<italic>tl</italic> only supports Turing machine with timeout ˜<italic>t</italic>, which can be simulated by typed lambda calculi for any ˜<italic>t</italic>; 2) unlike UCAI, AIXI<italic>tl</italic> limits the program length to some ˜<italic>l</italic> .</p></abstract>

This paper presents Unlimited Computable AI, or UCAI, that is a family of computable variants of AIXI. UCAI is more powerful than AIXItl, which is a conventional family of computable variants of AIXI, in the following ways: 1) UCAI supports models of terminating computation, including typed lambda calculi, while AIXItl only supports Turing machine with timeout ˜t, which can be simulated by typed lambda calculi for any ˜t; 2) unlike UCAI, AIXItl limits the program length to some ˜l .

Computable Variants of AIXI which are More Powerful than AIXI<italic>tl</italic>

Journal of Artificial General Intelligence

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Computable Variants of AIXI which are More Powerful than AIXI

This paper presents Unlimited Computable AI, or UCAI, that is a family of computable variants of AIXI. UCAI is more powerful than AIXItl, which is a...

Computable Variants of AIXI which are More Powerful than AIXItl

Publié en ligne: 29 avr. 2019

Pages: 1 - 23

Reçu: 09 août 2018

Accepté: 16 avr. 2019

DOI: https://doi.org/10.2478/jagi-2019-0001

Mots clés
AIXI, artificial general intelligence, exact real arithmetic, computability

© 2019 Susumu Katayama, published by Sciendo

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Computable Variants of AIXI which are More Powerful than AIXItl

Publié en ligne: 29 avr. 2019

Pages: 1 - 23

Reçu: 09 août 2018

Accepté: 16 avr. 2019

DOI: https://doi.org/10.2478/jagi-2019-0001

Mots clésAIXI, artificial general intelligence, exact real arithmetic, computability

© 2019 Susumu Katayama, published by Sciendo

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Mots clés
AIXI, artificial general intelligence, exact real arithmetic, computability