导读： 第十章 人工智能程序设计 人工智能是计算机科学的分支，人工智能的实现是以计算机为工具的，分为硬件实现和软件实现两个层次。前者借助于专用的人工智能机（与通用的计算机体系结构有区别）实现人工智能；后者采用通用的计算机，由软件实现人工智能，是目前...
第十章 人工智能程序设计
人工智能是计算机科学的分支，人工智能的实现是以计算机为工具的，分为硬件实现和软件实现两个层次。前者借助于专用的人工智能机（与通用的计算机体系结构有区别）实现人工智能；后者采用通用的计算机，由软件实现人工智能，是目前实现人工智能的主要途径。因此，计算机软件设计是人工智能的关键。为了合适和有效地表示知识和进行推理，以数值计算为主要目标的传统编程语言(诸如BASIC、FORTRAN和PASCAL等)已不能满足要求；一些专用于人工智能和智能系统的、面向任务和知识、以知识表示和逻辑推理为目标的符号和逻辑处理编程语言（LISP、PROLOG）、专用开发工具等便应运而生。
10.1 符号和逻辑处理编程语言
在人工智能和智能系统的研究过程中，人们已开发出许多专用和通用程序设计语言。本节仅介绍几种通用编程语言，主要为PROLOG和LISP两种。大多数人工智能系统都是用这两种语言编写的。
1.对符号和逻辑处理编程语言的要求
符号和逻辑处理程序设计语言除了应具有一般程序设计语言的特性外，还必须具备下列特性或功能：
(1)具有表结构形式。LISP的处理对象和基本数据结构是S表达式(即符号表达式)，具有一组用于表处理的基本函数，能对表进行比较自由的操作。PROLOG的处理对象是项。它是表的特例。由于这类语言都以结构数据作为处理对象，而且都具有对表的处理能力，因而特别适用于符号处理。
(2)便于表示知识和逻辑计算。例如，PROLOG是以一阶谓词为基础的，而一阶逻辑是一种描述关系的形式语言(Formal Language)，很接近于自然语言的描述方式。智能控制(如专家控制)系统中的大量知识都是以事实和规则的形式表示的，所以用PROLOG表示知识就十分方便。
(3)具有识别数据、确定控制匹配模式和进行自动演绎的能力。PROLOG具有搜索、匹配和回溯等推理机制，在编制问题求解程序时，无需编写出专用搜索算法。当用LISP编程时，不仅要对问题进行描述，而且要编写搜索算法或利用递归来完成求解。
(4)能够建立框架结构，便于聚集各种知识和信息，并作为一个整体存取。
(5)具有以最适合于特定任务的方式把程序与说明数据结合起来的能力。
(6)具有并行处理的能力。
2.现有的符号和逻辑处理编程语言
