<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

Publicado en línea: 29 abr 2019

Páginas: 1 - 23

Recibido: 09 ago 2018

Aceptado: 16 abr 2019

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

Palabras clave
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

Publicado en línea: 29 abr 2019

Páginas: 1 - 23

Recibido: 09 ago 2018

Aceptado: 16 abr 2019

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

Palabras claveAIXI, 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.

Palabras clave
AIXI, artificial general intelligence, exact real arithmetic, computability