基于知识的软件智能化技术

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  信息基础的智能化