计算机应用技术前沿丛书 基于知识的软件智能化技术
作者： 高济编著
出版时间：2000年版
丛编项： 计算机应用技术前沿丛书
内容简介
基于知识的软件智能化技术正在发展为人工智能应用研究的主流方向。一方面，KB（KnowledgeBased）系统多年来的实践已经证明，使软件具有基于知识的问题求解能力或广义的知识处理能力，可以作为实现软件智能化的有效途径；另一方面，软件智能化扎根于主流计算环境的要求也促使知识处理技术摆脱其早期研究陷入的自我封闭的困境，与其它计算技术紧密结合，融汇于信息技术的发展主流中。作为软件智能化的核心技术，知识处理近十年来已在克服其于早期KB系统中暴露出的脆弱性和不可靠性方面取得重大进展。定性物理研究、基于模型的推理、深浅层推理的综合、问题求解的结构化组织、功能化体系结构和知识级问题求解建模等新颖知识处理技术的研究成果，使得以新一代KB系统为代表的智能软件能有效地建立在对应用领域和问题求解任务的深入理解基础上，展示其高性能，从而确立了知识处理技术在软件智能化事业中的王导地位。
目录
1 概述
1. 1 软件智能化现状
1. 2 软件智能化实践
1. 3 开发基于知识的软件智能化技术
2 知识表示
2. 1 知识原则
2. 2 知识表示的作用
2. 3 知识表示的方式
2. 4 知识表示和推理之间的制约关系
2. 5 知识级分析
3 基于知识的问题求解
3. 1 问题求解的基本方法
3. 2 问题求解的组织
3. 3 KB系统
3. 4 知识获取和KB系统开发
3. 5 KB系统开发工具和环境
4 新一代KB系统技术
4. 1 开发的必要性
4. 2 定性物理方法
4. 3 基于模型的推理(MBR)
4. 4 深. 浅层推理的综合
4. 5 问题求解的结构化组织
4. 6 功能化体系结构
4. 7 知识级问题求解建模
5 非单调推理. 真值维持和约束满足问题
5. 1 传统逻辑系统的局限性
5. 2 非单调推理
5. 3 真值维持系统
5. 4 基于假设的真值维持系统(ATMS)
5. 5 约束满足问题
6 面向不确定和不精确推理的软计算
6. 1 不确定推理
6. 2 模糊逻辑和模糊推理
6. 3 神经网络
6. 4 神经-模糊技术
7 基于范例的推理
7. 1 基于范例的推理系统
7. 2 范例表示和索引
7. 3 检索. 改编和辩证
7. 4 基于范例的学习
7. 5 基于范例的推理应用
8 关于时间和空间的推理
8. 1 伴有时间的推理
8. 2 时间的不确定性和分枝
8. 3 关于空间的推理
8. 4 关于形状的推理
8. 5 时空推理小结
9 自治软体和分布的协同工作
9. 1 自治软体技术概述
9. 2 自治软体分类概观
9. 3 ARCHON--面向合作型SA的体系结构
9. 4 合作的协调
9, 5 自治软体的知识级通信
9. 6 自治软体社会
10 综合集成和信息基础的智能化
10. 1 开放性. 可重构和可伸缩的集成化应用系统
10. 2 面向控制. 数据和显示的综合集成
10. 3 基于知识的柔性综合集成
10. 4 信息基础的智能化
