1 概述
1. 1 軟件智能化現(xiàn)狀
1. 2 軟件智能化實踐
1. 3 開發(fā)基于知識的軟件智能化技術
2 知識表示
2. 1 知識原則
2. 2 知識表示的作用
2. 3 知識表示的方式
2. 4 知識表示和推理之間的制約關系
2. 5 知識級分析
3 基于知識的問題求解
3. 1 問題求解的基本方法
3. 2 問題求解的組織
3. 3 KB系統(tǒng)
3. 4 知識獲取和KB系統(tǒng)開發(fā)
3. 5 KB系統(tǒng)開發(fā)工具和環(huán)境
4 新一代KB系統(tǒng)技術
4. 1 開發(fā)的必要性
4. 2 定性物理方法
4. 3 基于模型的推理(MBR)
4. 4 深. 淺層推理的綜合
4. 5 問題求解的結構化組織
4. 6 功能化體系結構
4. 7 知識級問題求解建模
5 非單調推理. 真值維持和約束滿足問題
5. 1 傳統(tǒng)邏輯系統(tǒng)的局限性
5. 2 非單調推理
5. 3 真值維持系統(tǒng)
5. 4 基于假設的真值維持系統(tǒng)(ATMS)
5. 5 約束滿足問題
6 面向不確定和不精確推理的軟計算
6. 1 不確定推理
6. 2 模糊邏輯和模糊推理
6. 3 神經網絡
6. 4 神經-模糊技術
7 基于范例的推理
7. 1 基于范例的推理系統(tǒng)
7. 2 范例表示和索引
7. 3 檢索. 改編和辯證
7. 4 基于范例的學習
7. 5 基于范例的推理應用
8 關于時間和空間的推理
8. 1 伴有時間的推理
8. 2 時間的不確定性和分枝
8. 3 關于空間的推理
8. 4 關于形狀的推理
8. 5 時空推理小結
9 自治軟體和分布的協(xié)同工作
9. 1 自治軟體技術概述
9. 2 自治軟體分類概觀
9. 3 ARCHON--面向合作型SA的體系結構
9. 4 合作的協(xié)調
9, 5 自治軟體的知識級通信
9. 6 自治軟體社會
10 綜合集成和信息基礎的智能化
10. 1 開放性. 可重構和可伸縮的集成化應用系統(tǒng)
10. 2 面向控制. 數(shù)據(jù)和顯示的綜合集成
10. 3 基于知識的柔性綜合集成
10. 4 信息基礎的智能化