物理符号系统的假设伴随着三个附带的推论,或称附带的条件。第一个推论是,既然人具有智能,它就一定是个物理符号系统。我们认为,人之所以能够表现出智能,就是基于他的信息加工过程。第二个推论是,既然计算机是一个物理符号系统,它就一定能表现出智能,这是人工智能的基本条件。第三个推论是,既然人是一个物理符号系统,计算机也是一个物理符号系统,那么我们就能用计算机来模拟人的活动。当然,第三个推论不一定是第一个、第二个推论推导出来的必然结果。因为人是物理符号系统,具有智能,计算机也是一个物理符号系统,也具有智能,但它们可以以不同的方式、不同的原理进行活动,所以计算机并不一定都是模拟人的活动。在计算机上可以编制出复杂的程序来解一些方程式,进行复杂的运算,然而计算机的这种运算过程未必就是人类思维的过程。但是,我们却可以按照人类思维操作的过程来编制计算机程序。这项工作就是人工智能研究的内容。如果做到了这一点,我们就可以用计算机在形式上来描述人的活动过程,或者建立一个理论来说明人的活动过程。
人类智能的计算机模拟
过去,心理学曾试图用经典数学来建立心理活动的数学模型,但不是很成功。然而,在物理学或其他学科,却成功地运用经典数学模型解决了一些理论上的问题。在心理学方面不太成功的原因,可能是由于数学所用的语言不适合研究人类对象。如果要用经典数学来建立某一学科理论,首先就必须把这个学科的对象和过程转化成数字。但是人类的许多智能活动很难用数字来表达,所以建立关于人的智能活动的数学模型是困难的。值得注意的是,计算机程序语言的形式比经典数学的形式更能表示和描述人的心理现象。
第一章绪论
19