基于知識的軟件智能化技術(shù)

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