人工智能基础（第2版）-蔡自兴-第10章 人工智能程序设计.pdfVIP

人 工 智智 能能 基基 础 主讲主讲:: 蔡自兴蔡自兴 教授教授 第十章第十章 人工智能程序设计人工智能程序设计 1010.11 符号和逻辑处理编程语言符号和逻辑处理编程语言 10.2 LISP语言 10.3 PROLOG语言 1010.44 专用开发工具与人工智能机专用开发工具与人工智能机 10.1 符号和逻辑处理编程语言 对符号和逻辑处理编程语言的要求对符号和逻辑处理编程语言的要求 具有表结构形式 便于表示知识和逻辑计算 具有识别数据、确定控制匹配模式和进行自 具有识别数据 确定控制匹配模式和进行自 动演绎的能力 能够建立框架结构 便于聚集各种知识和信 能够建立框架结构，便于聚集各种知识和信 息，并作为一个整体存取 具有以最适合于特定任务的方式把程序与说具有以最适合于特定任务的方式把程序与说 明数据结合起来的能力 具有并行处理的能力 3 10.1 符号和逻辑处理编程语言 现有的符号和逻辑处理语言编程语言现有的符号和逻辑处理语言编程语言 图10.1 逻辑型编程语言的分类 4 10.2 LISP语言 10.2.1 LISP 的特点和数据结构的特点和数据结构 LISP语言的特点 主要数据结构是表主要数据结构是表 特性表简单 最主要的控制结构为递归 程序内外一致 程序内外 致 能够产生更复杂的函数和解释程序 对事物的约束发生在尽可能晚的时刻 对事物的约束发生在尽可能晚的时刻 数据和过程都可以表示成表 交互方式运行 5 10.2.1 LISP的特点和数据结构 数据结构数据结构 原子 LISP 中最小的符号单位 各种性质或属性可附加到单个原子上 最重要的属性除其名字外是值 表 表 递归地定义为括号内零个或n个元素的序列 表的数据结构表的数据结构 （（CONSCONS单元单元）） 控制结构 6 10.2.1 LISP的特点和数据结构 变量约束及其辖域变量约束及其辖域 变量约束到值上 建立函数 辖域 辖域 7 10.2.2 LISP的基本函数 CARCAR和和CDRCDR CDR返回表中除第一个元素之外的其余部分 CAR返回表中的第一个元素 SET和SETQ SET和SETQ 赋值函数 SET使第二个自变量为第一个自变量的值 SETQQ不对第一个个变量求值求值 8 10.2.2 LISP的基本函数 APPENDAPPEND 、LISTLIST和和CONSCONS APPEND把所有作为自变量的表内各元素串 在一起