邏輯論證和貝葉斯網的結合研究.pdf

1、貝葉斯網模型是邏輯和概率結合的典型范例，論文以貝葉斯網模型的創(chuàng)始人Pearl所闡述的“貝葉斯網的一次推理過程就是對結論的一次論證過程”為論題，指出貝葉斯網模型的這種解釋機制的不合理性，因為一般地，貝葉斯網的網絡結構都是由領域專家根據領域知識構建起來的，但是通常由領域專家給出的都是因果關系圖，需要將它轉化成適合貝葉斯網推理的網絡結構圖。然而轉化的過程必然會使得某些結點間的連接關系發(fā)生改變，或者丟失，或者失真等等，這樣得到的貝葉斯網絡結構通

2、常不能完整表達相關變量間的邏輯因果關系，這就直接導致了貝葉斯網的一次推理過程無法同時表示成對結論的一次論證過程，所以論文圍繞著如何找出其它有效的方法來實現貝葉斯網模型對其推理結論的解釋。論文提出了一個算法將專家的因果圖轉化成滿足貝葉斯網推理前提的網絡結構圖，同時引入邏輯論證作為對貝葉斯網模型的推理結論的解釋手段，邏輯論證的原理是通過定義論據間的攻擊關系以及語義，以既有事實做為前提條件，為需要論證的結論尋找支持的論據或者是論據鏈，這樣一種

3、由果索因的思維過程符合專家系統(tǒng)所需要的為結論尋找解釋的功能，因此邏輯論證可以用來完善專家系統(tǒng)的解釋機制。論文采用Dung提出的抽象論證框架，為其定義出相應的語義從而形成具體的論證系統(tǒng)，同時為了保證論據的邏輯完整性，論據的來源是專家給出的因果圖而不是貝葉斯網的結構圖，將圖中相關變量二值化后得到最基本的規(guī)則，再由規(guī)則形成各種復雜的論據，然后根據貝葉斯網模型的推理結論和前提條件，在所獲得的論據中尋找解釋。論證模型屬于邏輯范疇，貝葉斯網模型屬于