基于知识的软件智能化技术PDF电子书下载

概述 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