人工智能方法与应用

分类: 图书,计算机/网络,人工智能,
作者: 伊朝庆主编
出 版 社: 华中科技大学出版社
出版时间: 2007-8-1字数: 362000版次: 1页数: 251印刷时间: 2007/08/01开本: 16开印次: 1纸张: 胶版纸I S B N : 9787560940991包装: 平装内容简介
本书介绍人工智能的基本理论、方法及实现技术。全书共7章,分为两部分。第一部分包括第1章至第4章,主要介绍人工智能的基本概念、方法和技术,包括知识表示方法和搜索、逻辑推理等问题求解的基本方法。第二部分包括第5章至第7章,讨论产生式专家系统及其实现技术、不确定推理方法和机器学习方法及其应用实例。
本书内容详实,层次清晰,详略适当,重点突出,语言严谨,例题丰富。可作为高等学校计算机等信息类和管理类相关专业的本科生教材,也可供有关科技人员参考。
目录
第1章 绪论
1.1人工智能及其发展
1.2人工智能的研究与应用领域
习题一
第2章知识表示方法
2.1一阶谓词逻辑表示方法
2.1.1一阶谓词逻辑表示
2.1.2一阶谓词逻辑表示方法的特点
2.2产生式表示方法
2.2.1产生式与产生式系统
2.2.2产生式系统的分类及其特点
2.3框架表示方法
2.3.1框架与框架网络
2.3.2框架推理及其特点
习题二
第3章搜索方法
3.1问题求解过程的形式表示
3.1.1状态空间表示方法
3.1.2与/或图表示方法
3.2状态空间的搜索方法
3.2.1盲目搜索算法
3.2.2启发式搜索算法
3.2.3状态空间搜索算法的应用
3.2.4A算法及其特性
3.3与/或图的搜索方法
3.3.1与/或图的盲目搜索算法
3.3.2与/或图的启发式搜索算法
3.3.3与/或图搜索算法的应用
习题三
第4章经典逻辑推理
4.1推理的基本概念
4.1.1推理方式及其分类
4.1.2推理的控制策略
4.1.3模式匹配及其变量代换
4.2归结演绎推理
4.2.1谓词公式化为子句集的方法
4.2.2归结原理
4.2.3归结反演
4.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.2LISP语言
5.2.1LISP语言的特点与表达式
5.2.2LISP语言的基本函数
5.2.3迭代与递归
5.3知识库与推理机
5.3.1产生式规则与规则库的存储结构
5.3.2推理机及其实现
5.3.3元知识与元规则
5.4解释机制与解释器
5.4.1解释的方法
5.4.2解释器及其实现
5.5知识获取
5.5.1知识获取的任务与方式
5.5.2知识的检测与求精
5.5.3知识的检测方法
5.6专家系统工具
习题五
第6章不确定推理方法
第7章机器学习
习题七
主要参考文献