人工智能原理与技术

出版时间：1993-11  出版社：浙江大学出版社  作者：俞瑞钊  页数：469  
Tag标签：无  

前言

　　浙江大学是一所具有90多年办学历史的国家教委直属重点大学。近十年来，学校以全面提高教育和科研水平，培养合格、优质人才为中心，积极推进和深化学校各项改革，使我校的教学质量和科研水平以及办学效益进入了历史上最好的发展时期。　　在这一新的发展时期，我们需要出版一批具有全国影响的高水平新教材和学术专著。我校出版社精心组织编写了《浙江大学科学技术系列》丛书，正好填补了这方面的工作。这套丛书第一批有姚庆栋教授主编的《图像编码基础》、俞瑞钊教授编著的《人工智能原理与技术》、韩祯祥教授主编的《电力系统分析》等5本，将陆续在近2年内出版发行。这套系列丛书明显体现了以下二个特点。　　学术水平高。丛书的主要作者大部分是我校重点学科的学术带头人、博士导师。他们从事高水平的科研项目，他们的著作含有独特的见解，是科研成果的结晶，代表了学校的学术水平和发展趋势。　　教学效果好。这套丛书的主要作者长期从事教育工作，他们有.着丰富的教学经验。这套教材既有作者个人长期不断倾注的心血，把纷繁的教材内容、教育改革的成果与自己的心得进行综合、提炼，以至升华成理论，又有师生集体日积月累洒下的汗水。　　同时，这套丛书的出版，对于我国文化教育积累，科学技术的开拓，进而提高整个中华民族文化素质起着积极的作用。

内容概要

　　《人工智能原理与技术》的主要作者大部分是我校重点学科的学术带头人、博士导师。他们从事高水平的科研项目，他们的著作含有独特的见解，是科研成果的结晶，代表了学校的学术水平和发展趋势。　　教学效果好。这套丛书的主要作者长期从事教育工作，他们有.着丰富的教学经验。这套教材既有作者个人长期不断倾注的心血，把纷繁的教材内容、教育改革的成果与自己的心得进行综合、提炼，以至升华成理论，又有师生集体日积月累洒下的汗水。　　同时，这套丛书的出版，对于我国文化教育积累，科学技术的开拓，进而提高整个中华民族文化素质起着积极的作用。

书籍目录

引言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 与／或图的一种启发式搜索算法AO6.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 专家系统构造工具DIPS10.1 DIPS概述10.2 DIPS的知识表达10.3 DIPS的控制策略及推理机10.4 用DIPS建立专家系统10.5 DIPS的解释机制11 附录附录1 DIPS的系统函数附录2 DIPS的系统调用12 思考题思考题一思考题二思考题三思考题四思考题五思考题六思考题七思考题八思考题九参考文献

章节摘录

　　但是，如果我们规定一棵解树的代价是该树的总边数（即相邻两结点之间代价设为1）。那么宽度优先搜索不保证找到代价最小的解。　　6.4.2 与／或树的深度优先搜索，　　这种搜索是要求在一定深度限制内寻找一棵解树，对超过深度要求的结点，不再扩展，并将其标志为不可解结点，并在搜索过程中实行可解标志与不可解标志过程。与／或树深度优先搜索算法如下：　　1.起始结点s送open表。　　2.若s为叶结点，则成功结束，否则继续。　　3.取open表第一个结点，送closed表，并记为n。　　4.若结点n深度等于界限，则将n标志为不可解结点，并转10，否则继续。　　5.扩展结点n，生成全部后继结点，置于open表前面，置指向n的返回指针；如果n无后继结点，则标志为不可解结点，并转10，否则继续。　　6.若有后继结点为叶结点，则将这些叶结点标志为可解结点，并继续，否则转3。　　7.实行可解标志过程。　　8.若起始结点为可解结点，则算法成功结束，否则，继续下一步。　　9.从open表中删去含有可解先辈结点的结点，并转3。　　10.实行不可解标志过程。　　11.若起始结点为不可解，则失败结束，否则，继续下一步。　　12.从open表中删去含有不可解先辈结点的结点。