Accès libre

Computable Variants of AIXI which are More Powerful than AIXItl

À propos de cet article

Citez

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 .

eISSN:
1946-0163
Langue:
Anglais
Périodicité:
2 fois par an
Sujets de la revue:
Computer Sciences, Artificial Intelligence