中国院士文库－人工智能

本书是人工智能专业最基础最全面的高校教材，作者陆汝钤院士系 中国科学院数学与系统科学研究院数学研究所研究员。在知识工程和基于知识的软件工程方面做了系统的、创造性的工作，是我国该领域研究的开拓者之一。倡导并主持完成了以软件的机械化生成和移植为目标的系列软件计划（XR计划），推动了当时国产机软件缺乏问题的解决。本书首次把异构型DAI和机器辩论引进人工智能领域。研究出基于类自然语言理解的知识自动获取方法，把ICAI生成技术推进到以自动知识获取为特征的第三代，并开发出基于知识的应用软件自动生成技术。在形式语义学方面研究了逻辑语义、代数语义和分布式语义，证明了任意Horn子句集的模型论语义和最小不动点语义的等价性；给出了能描述动态控制结构的基调式代数语义；把平面的Petri网扩展成多页的Petri/Riemann网（P/R网）作为进程模型，获得了演算的优选真并发结构。

上册
引言
第一部分 知识表示
第一章 演绎系统
1.1 谓词演算
1.2 自然演绎系统
1.3 与或句演绎系统
1.4 子句演绎系统
习题
第二章 产生式系统
2.1 绪论
2.2 产生式系统的基本特征
2.3 产生式的知识元
2.4 推理的方向
2.5 框架问题
2.6 非确定性匹配
2.7 匹配冲突的解决
习题
第三章 框架结构
3.1 事物的属性
3.2 框架
习题
第四章 语义网络
4.1 命题语义网络
4.2 数据语义网络
4.3 语言语义网络
4.4 几种特殊的语义网络
4.5 网络上的推理
习题
第五章 过程性知识
5.1 状态空间
5.2 时序框架
5.3 概念依赖理论和剧本
5.4 说明性表示中的过程知识
习题
第二部分 搜索技术
第六章 无变量盲目搜索算法
6.1 状态空间的盲目搜索
6.2 问题空间的盲目搜索
习题
第七章 带变量盲目搜索算法
7.1 通代算法
7.2 带变量的状态空间盲目搜索
7.3 带变量的问题空间盲目搜索
习题
第八章 启发式搜索算法
8.1 单值有序搜索和多值有序搜索
8.2 H*算法和A*算法
8.3 估值函数的选择
8.4 B算法和B'算法
8.5 双向启发式搜索
习题
……
下册
第三部分 非经典逻辑和非经典推理
第四部分 定理机器证明
第五部分 机器学习
第六部分 自然语言理解
第七部分 知识工程
参考文献