基于知識的軟件智能化技術

定　價：￥52.00

作　者：	高濟編著
出版社：	浙江大學出版社
叢編項：	計算機應用技術前沿叢書
標　簽：	暫缺

購買這本書可以去

當當網(wǎng) (￥33.60)

ISBN：	9787308021647	出版時間：	2002-08-01	包裝：	平裝
開本：	29cm	頁數(shù)：	442	字數(shù)：

內容簡介

　　基于知識的軟件智能化技術正在發(fā)展為人工智能應用研究的主流方向。一方面，KB（KnowledgeBased）系統(tǒng)多年來的實踐已經(jīng)證明，使軟件具有基于知識的問題求解能力或廣義的知識處理能力，可以作為實現(xiàn)軟件智能化的有效途徑；另一方面，軟件智能化扎根于主流計算環(huán)境的要求也促使知識處理技術擺脫其早期研究陷入的自我封閉的困境，與其它計算技術緊密結合，融匯于信息技術的發(fā)展主流中。作為軟件智能化的核心技術，知識處理近十年來已在克服其于早期KB系統(tǒng)中暴露出的脆弱性和不可靠性方面取得重大進展。定性物理研究、基于模型的推理、深淺層推理的綜合、問題求解的結構化組織、功能化體系結構和知識級問題求解建模等新穎知識處理技術的研究成果，使得以新一代KB系統(tǒng)為代表的智能軟件能有效地建立在對應用領域和問題求解任務的深入理解基礎上，展示其高性能，從而確立了知識處理技術在軟件智能化事業(yè)中的王導地位。

作者簡介

暫缺《基于知識的軟件智能化技術》作者簡介

圖書目錄

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  神經(jīng)網(wǎng)絡
6. 4  神經(jīng)-模糊技術
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  信息基礎的智能化