人工智能方法与应用

　　本书介绍人工智能的基本理论、方法及实现技术。全书共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.4　A算法及其特性
　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.2　LISP语言
　　5.2.1　LISP语言的特点与表达式
　　5.2.2　LISP语言的基本函数
　　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章　机器学习
习题七
主要参考文献