邏輯論證和貝葉斯網(wǎng)的結(jié)合研究.pdf

1、貝葉斯網(wǎng)模型是邏輯和概率結(jié)合的典型范例，論文以貝葉斯網(wǎng)模型的創(chuàng)始人Pearl所闡述的“貝葉斯網(wǎng)的一次推理過(guò)程就是對(duì)結(jié)論的一次論證過(guò)程”為論題，指出貝葉斯網(wǎng)模型的這種解釋機(jī)制的不合理性，因?yàn)橐话愕?，貝葉斯網(wǎng)的網(wǎng)絡(luò)結(jié)構(gòu)都是由領(lǐng)域?qū)＜腋鶕?jù)領(lǐng)域知識(shí)構(gòu)建起來(lái)的，但是通常由領(lǐng)域?qū)＜医o出的都是因果關(guān)系圖，需要將它轉(zhuǎn)化成適合貝葉斯網(wǎng)推理的網(wǎng)絡(luò)結(jié)構(gòu)圖。然而轉(zhuǎn)化的過(guò)程必然會(huì)使得某些結(jié)點(diǎn)間的連接關(guān)系發(fā)生改變，或者丟失，或者失真等等，這樣得到的貝葉斯網(wǎng)絡(luò)結(jié)構(gòu)通

2、常不能完整表達(dá)相關(guān)變量間的邏輯因果關(guān)系，這就直接導(dǎo)致了貝葉斯網(wǎng)的一次推理過(guò)程無(wú)法同時(shí)表示成對(duì)結(jié)論的一次論證過(guò)程，所以論文圍繞著如何找出其它有效的方法來(lái)實(shí)現(xiàn)貝葉斯網(wǎng)模型對(duì)其推理結(jié)論的解釋。論文提出了一個(gè)算法將專家的因果圖轉(zhuǎn)化成滿足貝葉斯網(wǎng)推理前提的網(wǎng)絡(luò)結(jié)構(gòu)圖，同時(shí)引入邏輯論證作為對(duì)貝葉斯網(wǎng)模型的推理結(jié)論的解釋手段，邏輯論證的原理是通過(guò)定義論據(jù)間的攻擊關(guān)系以及語(yǔ)義，以既有事實(shí)做為前提條件，為需要論證的結(jié)論尋找支持的論據(jù)或者是論據(jù)鏈，這樣一種

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