今天老師講的基于一致性的極小診斷，首先講述了問題形式化問題，把實(shí)際問題符號(hào)化，從而把具體的事物用特定的語言符號(hào)表示，定義一個(gè)系統(tǒng)為三元組（SD，COMPS，OBS）。其中，SD是系統(tǒng)描述，是一階謂詞公式的集合。COMPS為系統(tǒng)組成部件集，是一個(gè)有限的常量集。OBS為一觀測(cè)集，是一階謂詞公式的有限集。其中SD中包含結(jié)構(gòu)描述和行為描述，結(jié)構(gòu)描述包括部件特性和部件的拓?fù)溥B接關(guān)系，行為描述指的是正常的行為描述?；谝恢滦栽\斷（CBD）（Reiter）不要求能推出，只要求基CBD能解釋當(dāng)前的系統(tǒng)觀測(cè)即可，基于一致性的極小診斷在集合的真包含關(guān)系上，如果集合C是基于一致性診斷，且C的任意真子集都不是基于一致性診斷，則C就是基于一致性的極小診斷。CBD對(duì)應(yīng)于沖突部件集，MCBD對(duì)應(yīng)于極小沖突部件集。de Kleer的基于一致性診斷和Reiter的相似，只是換了一種表示方法，Reiter的方法求得基于一致性診斷是部件集合的形式，而de Kleer是用D({{M1，...,Mk}，{Mk+1,...,Mn}})表示前一個(gè)集合是異常的部件，后一個(gè)集合是正常的部件。其實(shí)是一樣的思想，只是表示方法不同。計(jì)算沖突部件集的三種方法：使用一定理證明器直接推倒（結(jié)果是AB子句的形式）；使用瑞出空子句的演繹反駁方法（在過程中添加部件的~AB，最后推出空子句，沖突部件集就是添加的~AB子句的部件的集合）；de Kleer在GDE系統(tǒng)中利用求本原蘊(yùn)涵式的算法來計(jì)算極小沖突（傳播值的同時(shí)又傳播假設(shè)，當(dāng)同一個(gè)部件值不同時(shí)，它的假設(shè)的合取就是極小沖突部件集）。候選產(chǎn)生的過程就是極小沖突部件集合中求碰集的過程，其中用到求碰集的方法，求一個(gè)集合簇的碰集就是求能覆蓋集合簇中所有集合的集合，可能是多個(gè)，我們更加關(guān)心極小碰集，假如一個(gè)集合是給定集合簇的碰集，而它的任意真子集都不是集合簇的碰集，則該集合為集合簇的一個(gè)極小碰集，極小碰集也可能不唯一。碰集的計(jì)算方法下節(jié)見。
網(wǎng)站名稱：基于模型診斷學(xué)習(xí)3-創(chuàng)新互聯(lián)
分享鏈接：http://weahome.cn/article/depepd.html