邏輯論證和貝葉斯網的結合研究
發(fā)布時間:2021-07-12 14:34
貝葉斯網模型是邏輯和概率結合的典型范例,論文以貝葉斯網模型的創(chuàng)始人Pearl所闡述的“貝葉斯網的一次推理過程就是對結論的一次論證過程”為論題,指出貝葉斯網模型的這種解釋機制的不合理性,因為一般地,貝葉斯網的網絡結構都是由領域專家根據領域知識構建起來的,但是通常由領域專家給出的都是因果關系圖,需要將它轉化成適合貝葉斯網推理的網絡結構圖。然而轉化的過程必然會使得某些結點間的連接關系發(fā)生改變,或者丟失,或者失真等等,這樣得到的貝葉斯網絡結構通常不能完整表達相關變量間的邏輯因果關系,這就直接導致了貝葉斯網的一次推理過程無法同時表示成對結論的一次論證過程,所以論文圍繞著如何找出其它有效的方法來實現貝葉斯網模型對其推理結論的解釋。論文提出了一個算法將專家的因果圖轉化成滿足貝葉斯網推理前提的網絡結構圖,同時引入邏輯論證作為對貝葉斯網模型的推理結論的解釋手段,邏輯論證的原理是通過定義論據間的攻擊關系以及語義,以既有事實做為前提條件,為需要論證的結論尋找支持的論據或者是論據鏈,這樣一種由果索因的思維過程符合專家系統(tǒng)所需要的為結論尋找解釋的功能,因此邏輯論證可以用來完善專家系統(tǒng)的解釋機制。論文采用Dung...
【文章來源】:重慶大學重慶市 211工程院校 985工程院校 教育部直屬院校
【文章頁數】:53 頁
【學位級別】:碩士
【部分圖文】:
幾種子結構
圖 4.3 影響復發(fā)的相關因素Fig 4.3 Factors relating to recurrence根據定義二分所有相關屬性變量,得到以下各表。各表中的二分方法前面的章節(jié)已經敘述過,這里就不在重復敘述,唯一有區(qū)別的地方在規(guī)則方面,統(tǒng)一采用了varn的形式來為規(guī)則命名,其中var是屬性變量的名稱,為了方便起見,使用的是該屬性變量的英文首字母的縮寫,n 取值 1 和 2 分別表示的是屬性變量的低和高的兩個取值范圍。表 4.4 二分腫瘤尺寸變量后對結論的影響Table 4.4 Tumor size and recurrence腫瘤尺寸 ≤29 >29P (復發(fā)) 0.24 0.36N 160 112規(guī)則名稱TSTS
本文編號:3280095
【文章來源】:重慶大學重慶市 211工程院校 985工程院校 教育部直屬院校
【文章頁數】:53 頁
【學位級別】:碩士
【部分圖文】:
幾種子結構
圖 4.3 影響復發(fā)的相關因素Fig 4.3 Factors relating to recurrence根據定義二分所有相關屬性變量,得到以下各表。各表中的二分方法前面的章節(jié)已經敘述過,這里就不在重復敘述,唯一有區(qū)別的地方在規(guī)則方面,統(tǒng)一采用了varn的形式來為規(guī)則命名,其中var是屬性變量的名稱,為了方便起見,使用的是該屬性變量的英文首字母的縮寫,n 取值 1 和 2 分別表示的是屬性變量的低和高的兩個取值范圍。表 4.4 二分腫瘤尺寸變量后對結論的影響Table 4.4 Tumor size and recurrence腫瘤尺寸 ≤29 >29P (復發(fā)) 0.24 0.36N 160 112規(guī)則名稱TSTS
本文編號:3280095
本文鏈接:http://sikaile.net/shekelunwen/ljx/3280095.html