定性推理方法

第一章  定性推理概述                  
 1. 1  什么是定性推理                  
 1. 1. 1  定性推理的出現(xiàn)                  
 1. 1. 2  定性推理的定義                  
 1. 1. 3  定性和定量的關(guān)系                  
 1. 2  定性推理的系統(tǒng)構(gòu)成. 基本要素和任務(wù)                  
 1. 2. 1  定性系統(tǒng)的構(gòu)成                  
 1. 2. 2  定性推理的基本要素                  
 1. 2. 3  定性推理的任務(wù)                  
 1. 3  定性推理的分類及主要工作                  
 1. 3. 1  按論域是否連續(xù)劃分                  
 1. 3. 2  按定性變化的時空特性劃分                  
 1. 4  當(dāng)前發(fā)展趨向                  
 1. 4. 1  對定性推理的錯誤認(rèn)識                  
 1. 4. 2  發(fā)展趨向                  
 1. 5  最新進展                  
 1. 5. 1  基本理論進展                  
 1. 5. 2  應(yīng)用進展                  
 1. 5. 3  進一步研究工作                  
 第二章  定性推理的基本方法                  
 2. 1  de Kleer的Envision方法                  
 2. 1. 1  量空間和定性演算                  
 2. 1. 2  用定性演算進行推理                  
 2. 1. 3  系統(tǒng)表示                  
 2, 1. 4  行為預(yù)測                  
 2. 2  Forbus的定性進程理論                  
 2. 2. 1  對象和進程的表示                  
 2. 2. 2  量空間                  
 2. 2. 3  行為預(yù)測                  
 2. 2. 4  定量定性知識結(jié)合                  
 2. 2. 5  動作處理                  
 2. 3  Kuipers的QSIM                  
 2. 3. 1  量空間和狀態(tài)轉(zhuǎn)換                  
 2. 3. 2  QSIM算法                  
 2. 3. 3  上拋球運動的定性模擬例                  
 2. 3. 4  QPC                  
 2. 4  1  Iwasaki和Simon的因果順序法                  
 2. 4. 1  因果順序方法的提出                  
 2. 4. 2  因果順序方法是基本方法                  
 2. 4. 3  當(dāng)前進展和進一步研究工作                  
 第三章  定性代數(shù)                  
 3. 1  定性代數(shù)方法                  
 3. 1. 1  量級推理代數(shù)                  
 3. 1. 2  Williams的混合定性代數(shù)                  
 3. 1. 3  Wong和Yao的優(yōu)先關(guān)系方法                  
 3. 2  一種定性代數(shù)的形式框架                  
 3. 2. 1  形式框架FAQA                  
 3. 2. 2  定性混合結(jié)構(gòu)                  
 3. 2. 3  舉例                  
 3. 2. 4  小結(jié)                  
 3. 3  基于代數(shù)的定性推理方法                  
 3. 3. 1  定性化方法                  
 3. 3. 2  定性代數(shù)空間                  
 3. 3. 3  定性關(guān)系空間                  
 3. 3. 4  定性關(guān)系代數(shù)空間                  
 3. 3. 5  定性模空間                  
 3. 4  基于范疇的定性模型                  
 3. 4. 1  定性范疇                  
 3, 4. 2  定性建模方法                  
 3. 4. 3  定量到定性的變換方法                  
 3. 4. 4  定性代數(shù)范疇與建模                  
 3, 4. 5  定性聯(lián)系范疇與建模                  
 3. 4. 6  定性與定量結(jié)合范疇與建模                  
 第四章  定性仿真方法                  
 4. 1  基本方法                  
 4. 1. 1  定性過濾                  
 4. 1. 2  定性定量相結(jié)合                  
 4. 1. 3  其他定性仿真方法                  
 4. 2  基于比較的一種定性仿真方法                  
 4. 2. 1  概念定義                  
 4. 2. 2  比較仿真                  
 4. 2. 3  CQSIM工作流程                  
 4. 2. 4  小結(jié)                  
 4. 3  定性仿真的一種歸并方法                  
 4. 3. 1  多個推理分支以及虛假行為的產(chǎn)生                  
 4. 3. 2  問題的提出                  
 4. 3. 3  歸并方法                  
 4. 3. 4  小結(jié)                  
 第五章  定性因果推理                  
 5. 1  基本方法                  
 5. 2  因果語義結(jié)構(gòu)表示法                  
 5. 2. 1  有限表因果分析法                  
 5. 2. 2  因果語義結(jié)構(gòu)                  
 5. 3  因果關(guān)系中的沖突處理                  
 5. 3. 1  問題描述                  
 5. 3. 2  因果關(guān)系圖                  
 5. 3. 3  因果推理                  
 5. 3. 4  動態(tài)增量分析                  
 5. 4  因果推理的一種形式框架                  
 5. 4. 1  確定性因果關(guān)系                  
 5. 4. 2  因果推理                  
 5. 4. 3  因果推理系統(tǒng)CRSC                  
 5. 5  隨機環(huán)境下的因果推理                  
 5. 5. 1  靜態(tài)結(jié)構(gòu)因果分析                  
 5. 5. 2  平衡結(jié)構(gòu)因果順序分析                  
 5. 5. 3  因果網(wǎng)絡(luò)推理舉例                  
 5. 5. 4  平衡結(jié)構(gòu)下因果效用分析                  
 5. 5. 5  動態(tài)系統(tǒng)下因果分析                  
 5. 6  基于分層因果關(guān)系的定性推理方法                  
 5. 6. 1  因果關(guān)系的獲取                  
 5. 6. 2  一種因果決定關(guān)系圖的構(gòu)造方法                  
 5. 6. 3  因果決定關(guān)系圖的轉(zhuǎn)換方法                  
 5. 6. 4  分層因果關(guān)系上的定性推理(LCQR)                  
 5. 6. 5  小結(jié)                  
 第六章  拓撲與形狀                  
 6. 1  基本方法                  
 6. 1. 1  公理化方法                  
 6. 1. 2  代數(shù)方法                  
 6. 1. 3  幾何約束滿足方法                  
 6. 1. 4  基于模型的推理方法                  
 6. 2  分層逼近方法                  
 6. 2. 1  基本原則                  
 6. 2. 2  定性表示                  
 6. 2. 3  推理方法                  
 6. 3  拓撲推理                  
 6. 3. 1  拓撲關(guān)系的閉球模型                  
 6. 3. 2  拓撲推理的分層逼近方法                  
 6. 3. 3  小結(jié)                  
 6. 4  形狀                  
 6. 4. 1  準(zhǔn)分形形狀的定性表示                  
 6. 4. 2  自然準(zhǔn)分形的形狀建模                  
 6. 4. 3  討論                  
 6. 4. 4  小結(jié)                  
 6. 5  Voronoi圖式                  
 6. 5. 1  基本Voronoi圖式                  
 6. 5. 2  廣義Voronoi圖式                  
 6. 6  平面形狀的定性表示                  
 6. 6. 1  關(guān)于定性表示                  
 6. 6. 2  基本概念                  
 6. 7  層次Voronoi骨架構(gòu)造算法                  
 6. 8  定性Voronoi骨架                  
 6. 9  平面形狀的定性逼近                  
 6. 9. 1  定性Voronoi骨架的化簡                  
 6. 9. 2  定性Voronoi骨架的標(biāo)識                  
 6. 10  布置的定性表示和處理                  
 第七章  應(yīng)用                  
 7. 1  基于示例的定性定量混合系統(tǒng)                  
 7. 1. 1  引言                  
 7. 1. 2  定量和定性建模                  
 7. 1. 3  基于示例的定性推理                  
 7. 1. 4  定性與定量相結(jié)合與建模                  
 7. 1. 5  經(jīng)濟分析預(yù)測示例                  
 7. 2  CQSIM方法的應(yīng)用                  
 7. 2. 1  選擇觀察標(biāo)準(zhǔn), 實現(xiàn)一致部分的比較                  
 7. 2. 2  多個偏差共同作用的比較仿真                  
 7. 2. 3  行為拓撲變化                  
 7. 3  歸并方法舉例                  
 參考文獻