书 名: 人工智慧原理与技术

ISBN: 9787308012584

开本： 32

定价: 12.50 元

教学效果好。这套丛书的主要作者长期从事教育工作，他们有.着丰富的教学经验。这套教材既有作者个人长期不断倾注的心血，把纷繁的教材内容、教育改革的成果与自己的心得进行综合、提炼，以至升华成理论，又有师生集体日积月累洒下的汗水。

同时，这套丛书的出版，对于我国文化教育积累，科学技术的开拓，进而提高整箇中华民族文化素质起着积极的作用。

《人工智慧原理与技术》是由浙江大学出版社出版的

俞瑞钊,教授

引言

1 Lisp语言基础

1.1 符号表达式与表

1.2 Lisp的程式结构及其特点

1.3 表处理函式

1.4 算术与逻辑运算函式

1.5 赋值与求值函式

1.6 控制函式

1.7 函式定义

1.8 性质表及其操作函式

1.9 映射函式

1.10 递归

1.11 输入与输出

1.12 原子的生成与分解函式

1.13 例子

2 一阶谓词逻辑

2.1 命题及逻辑联结词

2.2 命题公式的永宾性与等值

2.3 对偶原理

2.4 析取範式与合取範式

2.5 逻辑推理

2.6 命题演算的王浩算法

2.7 一阶谓词逻辑的基本概念

2.8 谓词公式的永真性与可满足性

2.9 自由变元与约束变元

2.1 0谓词公式的等值

2.1 1前束範式

3 归结原理

3.1 斯柯伦标準型

3.2 子句集的H全域

3.3 基本定理

3.4 D-只（Davis & Putnam）方法

3.5 一致化算法

3.6 归结方法

3.7 归结方法的可靠性与完备性

3.8 例子

3.9 套用

3.10 归结方法的Lisp实现

4 Prolog语言简介

4.1 Horn子句集归结

4.2 Prolog语言

4.3 内部谓词

4.4 例子

5 问题求解

5.1 状态空间

5.2 问题归约

5.3 产生式系统

5.4 约束满足法

5.5 八数码问题的Lisp实现

6 搜寻

6.1 状态空间的盲目搜寻

6.2 启发式搜寻法

6.3 A算法的可採纳性

6.4 与/或树搜寻

6.5 与/或图的一种启发式搜寻算法AO

6.6 博弈树搜寻

6.7 一字棋博弈的Lisp实现

7 知识表达与推理技术

7.1 知识的特徵描述

7.2 框架

7.3 语义网路

7.4 脚本

7.5 产生式规则

7.6 评述

8 专家系统

8.1 专家系统的任务与特徵

8.2 专家系统脆弱性

8.3 专家系统结构

8.4 建立专家系统的步骤与方法

9 神经元网路

9.1 神经元网路简介

9.2 简单的线性模型

9.3 线性阈值网路

9.4 反向传播网路-

9.5 Hop field网路模型

9.6 Boltzmann机

9.7 其它的神经元网路模型

9.8 评述

9.9 神经元网路的套用

10 专家系统构造工具DIPS

10.1 DIPS概述

10.2 DIPS的知识表达

10.3 DIPS的控制策略及推理机

10.4 用DIPS建立专家系统

10.5 DIPS的解释机制

11 附录

附录1 DIPS的系统函式

附录2 DIPS的系统调用

12 思考题

思考题一

思考题二

思考题三

思考题四

思考题五

思考题六

思考题七

思考题八

思考题九

浙江大学是一所具有90多年办学历史的国家教委直属重点大学。近十年来，学校以全面提高教育和科研水平，培养合格、优质人才为中心，积极推进和深化学校各项改革，使该校的教学质量和科研水平以及办学效益进入了历史上最好的发展时期。

在这一新的发展时期，我们需要出版一批具有全国影响的高水平新教材和学术专着。该校出版社精心组织编写了《浙江大学科学技术系列》丛书，正好填补了这方面的工作。这套丛书第一批有姚庆栋教授主编的《图像编码基础》、俞瑞钊教授编着的《人工智慧原理与技术》、韩祯祥教授主编的《电力系统分析》等5本，将陆续在近2年内出版发行。这套系列丛书明显体现了以下二个特点。

教学效果好。这套丛书的主要作者长期从事教育工作，他们有.着丰富的教学经验。这套教材既有作者个人长期不断倾注的心血，把纷繁的教材内容、教育改革的成果与自己的心得进行综合、提炼，以至升华成理论，又有师生集体日积月累洒下的汗水。

同时，这套丛书的出版，对于我国文化教育积累，科学技术的开拓，进而提高整箇中华民族文化素质起着积极的作用