奎克的藏经阁 · 原书印刷页

人工智能哲学 · 第 123 页

PDF 物理页索引 131 · 人工智能哲学

书名
人工智能哲学
作者
未记录
印刷页
123
PDF 物理页
131(从 0 开始)
章节
人工智能哲学
UUID
7f418071-0fdc-4a5a-a4c5-82dd1979d9c2
来源类型
original_book
页面 SHA-256
11baeb2d7babbcf9290b71ffd50dbdf0c281acd5eb5d933a3a8c768f6c9d032a

在计算机科学的发展中,表处理同时表现为三件事情:

  1. 它是机器中真正的动态存储结构的创建,而以前一直认为机器只有固定结构。它在替换和改变内容的操作之外,为我们的操作总体增添了建立和修正结构的操作。
  1. 它及早地证明了这一基本抽象方式:计算机是由一组数据类型和一组对这些数据类型来说是恰当的操作组成的。这样,计算系统就能运用任何一种对应用来说是恰当的数据类型,而不受处于基础地位的机器影响。
  1. 表处理产生出一个指称模型,而这样定义符号处理与我们今天把这一概念用于计算机科学时具有同样的意义。

正如经常出现的那样,当时的做法已预示出表处理的所有基本因素:地址显然被用于实现存取,磁鼓机则用于被连接的程序(所谓1加1编址),等等。但是,以抽象方式出现的表处理的概念形式开创了一个新天地,在这里,指称和动态符号结构定义出许多特征。将早期表处理系统嵌入语言(IPL、LISP语言)的做法常常受到指责,说它是将表处理技术扩展到整个编程实践的障碍,然而它却是将抽象方式结合起来的工具。

LISP语言还有一个步骤值得注意:麦卡锡在1959—1960年创立了LISP语言(McCarthy1960)。它完成了对动作的抽象,是将表结构从它们在具体机器内的嵌入状态中取出,创建一个新的带有S表达式的形式系统。可以证明,它与其他通用的计算方案是等价的。

结论指称符号和符号处理的概念直到50年代中期才出现,这并不是说较早的进展是非本质的,或不够重要。这一总的概念综合了可计算性、(通过多种技术的)物理可实现性、通用性、过程的符号表述(即可解释性),最后还有符号结构和指称。每一步进展都为这一整体

5 作为经验探索的计算机科学:符号和搜索

123