人工智能原理与技术
版权信息书 名: 人工智能原理与技术
作者：俞瑞钊 史济建
出版社：浙江大学出版社
出版时间： 1993
ISBN: 9787308012584
开本： 32
定价: 12.50 元
内容简介人工智能内容涉及面宽，《人工智能原理与技术》只能择其重点，强调基础，因此《人工智能原理与技术》主要内容包括：
人智能程序设计语言
问题求解与搜索技术
逻辑基础
知识表达及推理技术
专家系统
人工神经网络
专家系统构造工具DlPS
上述内容涉及到人工智能基础的多个方面，相信也是广大读者最想了解和最感兴趣的东西。
人工智能是计算机科学与技术的前沿，也是一项较新的技术。《人工智能原理与技术》着眼干人工智能的基础理论和基本技术，内容全面。全书理论与技术相结合，叙述简明，并附有不少源程序，非常适合大专院校作为研究生或高年级表科生的教材，也可供有关专业技术人员自学和作为科研参考书。
参加《人工智能原理与技术》编写工作的主要是我和史济建老师，还有研究生范菁、汪涛等，孙莺、邢卫、倪峰等也曾在听课过程中，整理了有关内容的讲稿。郑觉良在一些程序编写上也做了不少工作。对于我的合作者，在此表示衷心的谢意。
《人工智能原理与技术》主要是为教学服务的.书中定有不少遗漏、缺点，希望能有机会加以修改和提高。
目录引言
1Lisp语言基础
1.1符号表达式与表
1.2Lisp的程序结构及其特点
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.10谓词公式的等值
2.11前柬范武
3归结原理
3.1斯柯伦标准型
3.2子句集的H全域
3.3基本定理
3.4D-P（Davis＆Putnam）方法
3.5一致化算法
3.6归结方法
3.7归结方法的可靠性与完备性
3.8例子
3.9应用
3.10归结方法的Lisp实现
4Prolog语言简介
4.1Horn子句集归结
4.2Prolog语言
4.3内部谓词
4.4例子
5问题求解
5.1状态空间
5.2问题归约
5.3产生式系统
5.4约束满足法
5.5八数码问题的Lisp实现
6搜索
6.1状态空间的盲目搜索
6.2启发式搜索法
6.3A算法的可采纳性
6.4与／或树搜索
6.5与／或图的一种启发式搜索算法AO
6.6博弈树搜索
6.7一字棋博弈的Ljsp实现
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.5Hopfield网络模型
9.6Boltzmann杌
9.7其它的神经元网络模型
9.8评述
9.9神经元网络的应用
10专家系统构造工具DIPS
10.1DIPS概述
10.2DIPS的知识表达
10.3DIPS的控制策略及推理机
10.4用DIPS建立专家系统
10.5DIPS的解释机制
11附录
附录1DIPS的系统函数
附录2DIPS的系统调用
12思考题
思考题一
思考题二
思考题三
思考题四
思考题五
思考题六
思考题七
思考题八
思考题九
参考文献
……