自我改进智能体的相对可计算性理论

该研究提出一种 oracle 相对模型，用可变求解器、评估器和改进器刻画自我改进智能体，证明有效自我修正产生的决策过程始终落在 C(A)={D:D≤_T A} 内。在布尔规则获取的具体模型中，作者精确刻画查询历史能确定哪些答案，给出紧的教师查询上界，并构造出可移除教师、仍处于同一可计算层的终止协议；但从任意有效特征程序统一构造所需特征张成规范已与相对停机问题同难。