人工智能系统 (AI 系统) 与刑事司法的交叉领域存在明显的语言劣势。作为一个高度跨学科的研究领域,研究人员、立法者、软件开发人员、工程师、法官和公众各说各话,使用相同的词语,但使用不同的术语。这些语言战争的证据主要来自轶事。为了更好地评估问题的性质和范围,本文使用语料库语言学来揭示定义差异和争论中固有的价值冲突。这样做提供了一种工具,可以在特定语言歧义被纳入法律之前对其进行调和,并确保更有效地传达人工智能系统的技术先决条件,这些系统的设计旨在实现其预期目的,同时也维护刑事司法制度的核心民主价值观。
优先于其他。大多数科学家可能同意,他们宁愿花时间做科学研究,也不愿担心词语含义的争论。然而,计算和神经科学的哲学家们更乐意担心词语的含义;不是因为它本身很有趣,而是因为它可以阐明我们在仔细思考和有效交流大脑时提出的假设。这在认知科学、计算机科学、神经科学等跨学科领域尤其重要,在这些领域,审问我们的概念可以成为一种富有成效的方式,让来自不同领域的研究人员走到一起,避免各说各话。这里将论证大脑可能是字面意义上的计算机,而不仅仅是比喻意义上的计算机。这需要经验标准来确定什么使物理系统成为计算系统。这些标准超越了理论计算机科学的概念和数学资源;这里将开发一组候选标准。有了这些标准,我们将看到大脑如何成为一台真正的计算机,尽管可能不是一台数字计算机。这里概述的物理计算说明既显示了不同类型的计算(例如数字、模拟和其他类型)的不同之处,也显示了它们都算作真正的计算类型的原因。综合起来,这些考虑表明大脑可以真正地进行计算,而它是否这样做则是一个经验性的说法。此外,虽然模拟计算是一种真正的计算类型,但它与数字计算在神经科学家、认知科学家和理论计算机科学家看来存在一些不明显的不同。我们将讨论其中一些差异。