智能型计算机

。计算理论的奠基人之一A. 图灵定义计算机为处理离散量信息的数字计算机。而对数字计算机能不能模拟人的智能这一原则问题，存在截然对立的看法。1937年A.丘奇和图灵分别独立地提出关于人的思维能力与递归函数的能力等价的假说。这一未被证明的假说后来被一些人工智能学者表述为：如果一个可以提交给图灵机的问题不能被图灵机解决，则这个问题用人类的思维也不能解决。这一学派继承了以逻辑思维为主的唯理论与还原论的哲学传统，强调数字计算机模拟人类思维的巨大潜力。另一些学者，如H.德雷福斯等哲学家肯定地认为以图灵机为基础的数字计算机不能模拟人的智能。他们认为数字计算机只能做形式化的信息处理，而人的智能活动不一定能形式化，也不一定是信息处理，不能把人类理智看成是由离散、确定的与环境局势无关的规则支配的运算。这一学派原则上不否认用接近于人脑的材料构成智能机的可能性，但这种广义的智能机不同于数字计算机。还有些学者认为不管什么机器都不可能模拟人的智能，但更多的学者相信大脑中大部分活动能用符号和计算来分析。必须指出，人们对于计算的理解在不断加深与拓宽。有些学者把可以实现的物理过程都看成计算过程。基因也可以看成开关，一个细胞的操作也能用计算加以解释，即所谓分子计算。从这种意义讲，广义的智能计算机与智能机器或智能机范畴几乎一样。

www.ntqsjj.com