关于智能机器不可判定特征的形式化研究

在阿尔松斯卡等人（2021）的工作基础上，我们研究了证明任意人工智能机器将表现出某种特定行为的逻辑可能性所必需条件。为此，我们发展了一种类似于形式语言及其性质理论——但在数学上具有区别的形式化方法。我们的形式化方法不仅允许我们讨论我们所期望的机器特征（例如其智能性、封闭性、道德性等），而且还能详细阐述对于判定给定任意机器是否具备此类特征的逻辑可能性所必需的条件。与阿尔松斯卡等人（2021）的结果不同，我们发现 computability theory 中的 Rice 定理通常不能用于判断任意机器是否具备给定特征。因此，判定任意机器是否智能、封闭、道德等，是否在逻辑上不可能，并非必然如此。