我们将考虑代理的所有策略，并证明其中一种是最佳策略。虽然该策略不可计算，但可计算策略确实存在于其附近。我们将 AI 定义为与最佳策略足够接近的可计算策略。在定义代理的最佳策略之前，我们需要一种描述世界的语言。我们还将使用这种语言开发一个满足 AI 定义的程序。该程序将首先通过使用所选语言描述世界来理解世界。然后，程序将使用该描述来预测未来并选择最佳的举措。虽然这个程序效率极低且实际上无法使用，但可以通过改进描述世界的语言和用于预测未来的算法来改进它。这可以产生一个既高效又符合 AI 定义的程序。