概述 1
1 软件智能化现状 2 1
2 软件智能化实践 10 1
3 开发基于知识的软件智能化技术 13 1
目录 1
知识表示 2
1 知识原则 15 2
2 知识表示的作用 17 2
3 知识表示的方式 24 2
4 知识表示和推理之间的制约关系 28 2
5 知识级分析 36 2
3 KB系统 60 3
5 KB系统开发工具和环境 69 3
4 知识获取和KB系统开发 67 3
2 问题求解的组织 55 3
1 问题求解的基本方法 44 3
基于知识的问题求解 3
新一代KB系统技术 4
1 开发的必要性 71 4
2 定性物理方法 74 4
3 基于模型的推理（MBR） 89 4
4 深、浅层推理的综合 96 4
5 问题求解的结构化组织 103 4
6 功能化体系结构 115 4
7 知识级问题求解建模 119 4
5 约束满足问题 178 5
3 真值维持系统 167 5
4 基于假设的真值维持系统（ATMS） 174 5
2 非单调推理 156 5
1 传统逻辑系统的局限性 155 5
非单调推理、真值维持和约束满足问题 5
面向不确定和不精确推理的软计算 6
1 不确定推理 186 6
2 模糊逻辑和模糊推理 201 6
3 神经网络 213 6
4 神经-模糊技术 227 6
基于范例的推理 7
1 基于范例的推理系统 230 7
2 范例表示和索引 236 7
3 检索、改编和辩证 242 7
4 基于范例的学习 248 7
5 基于范例的推理应用 251 7
4 关于形状的推理 285 8
3 关于空间的推理 277 8
5 时空推理小结 286 8
1 伴有时间的推理 259 8
2 时间的不确定性和分枝 268 8
关于时间和空间的推理 8
自治软体和分布的协同工作 9
1 自治软体技术概述 288 9
2 自治软体分类概观 294 9
3 ARCHON——面向合作型SA的体系结构 310 9
4 合作的协调 321 9
5 自治软体的知识级通信 339 9
6 自治软体社会 357 9
综合集成和信息基础的智能化 10
1 开放性、可重构和可伸缩的集成化应用系统 368 10
2 面向控制、数据和显示的综合集成 378 10
3 基于知识的柔性综合集成 387 10
4 信息基础的智能化 408 10