比 AIXItl 更强大的 AIXI 可计算变体
人工智能
2019-01-28 v3
摘要
本文提出无限可计算 AI（UCAI），即 AIXI 的一族可计算变体。UCAI 比 AIXItl（AIXI 的常规可计算变体族）更强大，体现在以下方面：1）UCAI 支持终止计算模型，包括类型化 lambda 演算，而 AIXItl 仅支持带超时 t 的图灵机，其可被任意 t 的类型化 lambda 演算模拟；2）与 UCAI 不同，AIXItl 将程序长度限制为 l。
引用
@article{arxiv.1805.08592,
title = {Computable Variants of AIXI which are More Powerful than AIXItl},
author = {Susumu Katayama},
journal= {arXiv preprint arXiv:1805.08592},
year = {2019}
}