人工智能技术导论
2002-7
西安电子科技大学出版
廉师友
272
414000
本书介绍人工智能的基础理论和基本技术。全书共分为四部分：第一部分(第1章)阐述人工智能的基本概念、研究途径、分支领域和发展概况等；第二部分（第2章）介绍了几种常用的人工智能程序设计语言；第三部分（第3、4、5、6、7章）详述了机器推理、搜索控制、知识表示、不确定性处理等人工智能的基本技术；第四部（第8、9、10?章）分别介绍了专家系统、机器学习和自然语言理解的基本原理和方法，特别对专家系统作了较为详细的叙述。 本书取材新颖，内容丰富，逻辑严谨，语言通俗，理例结合，图文并茂，注重基础，面向应用。本书可作为高等院校本科计算机、自动化、信息、管理、控制及系统工程等专业的人工智能课程的教材或教学参考书，也可供其他专业的师生以及科研和工程技术人员自学或参考。
第1章 人工智能概述 1.1 人工智能的概念 1.1.1 什么是人工智能 1.1.2 为什么要研究人工智能 1.1.3 人工智能的目标 1.2 人工智能的研究途径与方法 1.2.1 结构模拟，神经计算 1.2.2 功能模拟，符号推演 1.2.3 行为模拟，控制进化 1.3 人工智能的分支领域 1.3.1 基于脑功能模拟的领域划分 1.3.2 基于实现技术的领域划分 1.3.3 基于应用领域的领域划分 1.3.4 基于应用系统的领域划分 1.3.5 基于计算机系统结构的领域划分 1.3.6 基于实现工具与环境的领域划分 1.4 人工智能的基本技术 1.4.1 推理技术 1.4.2 搜索技术 1.4.3 知识表示与知识库技术 1.4.4 归纳技术 1.4.5 联想技术 1.5 人工智能的发展概况 1.5.1 人工智能学科的产生 1.5.2 符号主义途径发展概况 1.5.3 连接主义途径发展概况 1.5.4 当前发展趋势 1.5.5 我国人工智能发展简况 习题一?第2章 人工智能程序设计语言 2.1 综述 2.1.1 函数型语言 2.1.2 逻辑型语言 2.1.3 面向对象语言 2.1.4 混合型语言 2.2 函数型程序设计语言LISP 2.2.1 LISP的程序结构与运行机制 2.2.2 S-表达式 2.2.3 基本函数 2.2.4 自定义函数 2.2.5 程序举例 2.3 逻辑型程序设计语言PROLOG 2.3.1 PROLOG的语句 2.3.2 PROLOG程序 2.3.3 PROLOG程序的运行机理 2.4 TurboPROLOG程序设计 2.4.1 TurboPROLOG的程序结构 2.4.2 TurboPROLOG的数据与表达式 2.4.3 输入与输出 2.4.4 分支与循环 2.4.5 动态数据库 2.4.6 表处理与递归 2.4.7 回溯控制 2.4.8 程序举例 2.5 面向对象程序设计语言Smalltalk 2.5.1 基本概念 2.5.2 基本对象 2.5.3 消息模式 2.5.4 消息表达式 2.5.5 消息表达式序列——语句 2.5.6 程序块 2.5.7 程序流程控制 2.5.8 类库 2.5.9 类定义 2.5.10 继承 2.5.11 Smalltalk的程序结构和运行机理 习题二?第3章 基于谓词逻辑的机器推理 3.1 一阶谓词逻辑 3.1.1 谓词、函数、量词 3.1.2 谓词公式 3.1.3 谓词逻辑中的形式演绎推理 3.2 归结演绎推理 3.2.1 子句集 3.2.2 命题逻辑中的归结原理 3.2.3 替换与合一 3.2.4 谓词逻辑中的归结原理 3.3 应用归结原理求取问题答案 3.4 归结策略 3.4.1 问题的提出 3.4.2 几种常用的归结策略 3.4.3 归结策略的类型 3.5 归结反演程序举例 3.6 Horn子句归结与逻辑程序 3.6.1 子句的蕴含表示形式 3.6.2 Horn子句与逻辑程序 3.7 非归结演绎推理 3.7.1 Bledsoe自然演绎法 3.7.2 基于规则的演绎推理 3.7.3 王浩算法 习题三?第4章 图搜索技术 4.1 状态图搜索 4.1.1 状态图 4.1.2 状态图搜索 4.1.3 穷举式搜索 4.1.4 启发式搜索 4.1.5 加权状态图搜索 4.1.6 启发式图搜索的A算法和A*算法 4.1.7 状态图搜索策略小结 4.2 状态图问题求解 4.2.1 问题的状态图表示 4.2.2 状态图问题求解程序举例 4.3 与或图搜索 4.3.1 与或图 4.3.2 与或图搜索 4.3.3 启发式与或树搜索 4.4 与或图问题求解 4.4.1 问题的与或图表示 4.4.2 与或图问题求解程序举例 4.5 博弈树搜索 4.5.1 博弈树的概念 4.5.2 极小极大分析法 4.5.3 α-β剪枝技术 习题四?第5章 产生式系统 5.1 产生式规则 5.1.1 产生式规则 5.1.2 基于产生式的推理模式 5.2 产生式系统 5.2.1 产生式系统的组成 5.2.2 产生式系统的运行过程 5.2.3 控制策略与常用算法 5.3 产生式系统与图搜索 5.4 产生式系统的应用 5.5 产生式系统的程序实现 5.5.1 产生式规则的程序语言实现 5.5.2 规则库的程序实现 5.5.3 动态数据库的程序实现 5.5.4 推理机的程序实现 习题五第6章 知识表示 6.1 知识及其表示 6.1.1 知识的概念 6.1.2 知识表示 6.1.3 知识表示的语言实现 6.2 框架 6.2.1 框架的概念 6.2.2 框架的表达能力 6.2.3 基于框架的推理 6.2.4 框架的程序语言实现 6.3 语义网络 6.3.1 语义网络的概念 6.3.2 语义网络的表达能力 6.3.3 基于语义网络的推理 6.3.4 语义网络的程序语言实现 6.4 面向对象知识表示 习题六?第7章 不确定性处理 7.1 不确定性及其类型 7.2 不确定性知识的表示 7.2.1 随机性知识的表示 7.2.2 模糊性知识的表示 7.2.3 模糊集合与模糊逻辑 7.2.4 多值逻辑 7.2.5 非单调逻辑 7.2.6 时序逻辑 7.3 不确定性推理的一般模式 7.4 确定性理论 7.5 证据理论 7.5.1 基本概念 7.5.2 基于证据理论的不确定性推理 7.6 模糊推理 7.6.1 语言变量，语言值 7.6.2 用模糊(关系)集合表示模糊规则 7.6.3 模糊关系合成 7.6.4 基于关系合成的模糊推理 7.6.5 模糊推理的应用与发展 习题七?第8章 专家系统 8.1 专家系统的概念 8.1.1 什么是专家系统 8.1.2 专家系统的特点 8.1.3 专家系统的类型 8.1.4 专家系统与知识系统 8.1.5 专家系统与知识工程 8.1.6 专家系统与人工智能 8.2 专家系统的结构 8.2.1 概念结构 8.2.2 实际结构 8.2.3 分布式结构 8.2.4 黑板模型 8.3 专家系统的应用与发展概况 8.3.1 专家系统的意义 8.3.2 专家系统的应用 8.3.3 专家系统的发展概况 8.4 专家系统实例 8.4.1 PROSPECTOR的功能与结构 8.4.2 知识表示 8.4.3 主观贝叶斯推理模型 8.4.4 控制策略 8.4.5 解释系统 8.5 专家系统设计与实现 8.5.1 一般步骤与方法 8.5.2 快速原型与增量式开发 8.5.3 知识获取 8.5.4 知识表示与知识描述语言设计 8.5.5 知识库与知识库管理系统设计 8.5.6 推理机与解释功能设计 8.5.7 系统结构设计 8.6 专家系统开发工具与环境 8.6.1 专家系统开发工具 8.6.2 专家系统开发环境 8.7 新一代专家系统研究 8.7.1 深层知识专家系统 8.7.2 模糊专家系统 8.7.3 神经网络专家系统 8.7.4 大型协同分布式专家系统 8.7.5 网上(多媒体)专家系统 8.7.6 事务处理专家系统 习题八?第9章 机器学习 9.1 符号学习 9.1.1 记忆学习 9.1.2 传授学习 9.1.3 演绎学习 9.1.4 类比学习 9.1.5 示例学习 9.1.6 发现学习 9.1.7 解释学习 9.2 神经网络学习 9.2.1 生物神经元 9.2.2 人工神经元 9.2.3 神经网络 9.2.4 神经网络学习 9.2.5 BP网络及其学习举例 9.2.6 神经网络模型 习题九?第10章 自然语言理解 10.1 简单句理解 10.1.1 理解的实现过程 10.1.2 语法分析 10.1.3 语义分析 10.2 复合句理解 10.3 转换文法和转换网络 习题十?上机实习指导 实习一 PROLOG语言编程练习 实习二 图搜索问题求解 实习三 小型专家系统(原型)设计名词索引主要参考文献
对出学者来说，还是一本不错的教材