home.jpg (8189 bytes) back.jpg (5915 bytes) forward.jpg (5884 bytes)  

 第二章:LISP语言程序设计
  2.1 人工智能语言
    2.1.1 人工智能程序与传统程序之间的差别

    在处理一些简单问题时,一般传统方法和人工智能用的方法没有什么区别。但在解决复杂问题时,人工智能方法与传统方法有差别。

    传统方法:把问题的全部知识以各种的模型表达在固定程序中,问题的求解完全在程序制导下按着预先安排好的步骤一步一步(逐条)执行。这种方法解决严格结构(Well Structured)问题非常有效。如果把这类问题形式化为三元组(x,->,y),“x”是给定的信息,“->”为求解途径,“y”是目标。传统方法的特点:“x”、“y”是明确的、完备的;“->”有着固定的明确的程式。这个方法之所以有效,主要是因为这个思路与冯.诺依曼式计算机结构相吻合。当前大型数据库法、数学模型法、统计方法等都是严格结构化的方法。

    人工智能方法:人工智能要解决的问题,无法把全部知识都体现在固定的程序中。它要建立一个知识库(包含事实和推理规则),程序根据环境和所给的输入信息以及所要解决的问题来决定自己的行动,所以它是在环境模式的制导下的推理过程。这种方法有极大的灵活性、对话能力、有自我解释能力和学习能力。这种方法对解决一些弱结构(ill structured)问题比传统方法好。弱结构指“x”、“y”不大明确或不完备,即不能很好地形式化,不好描述。“->”用试探法。AI也尚未发展到完全能解决这类问题的全部问题。这类问题是AI研究要解决的问题。随之而来也希望计算机硬件结构也来一个革命,突破冯.诺依曼体系结构。