理论与计算科学杂志
开放获取

抽象的

计算机器、智能和不可判定性

保罗·卡斯特罗

1950年，艾伦·图灵提出了计算机中智能验证的决策标准。最简单的是，如果人类法官无法从两个证人中判断哪个是计算机，哪个是人类，那么机器就会获得人工智能。在这里我要说的是，图灵测试有一个根本性的问题，它无法提供人类智能验证。事实上，该测试是不可判定的，因此不能被视为测试人工智能的有效方法。这并不意味着机器中的人类智能模拟是无法实现的。这意味着我们需要一个通用理论，提供智能代理的共同特征和测试它的具体指标。一种能够独立于我们对系统如何与我们进行社交互动的主观评价来预测智能出现的理论。如果这样的理论能够实现或在我们的能力范围内，在未来几年仍然是一个悬而未决的问题。