信念算子運(yùn)算的語(yǔ)義解釋研究.pdf

1、在基于知識(shí)的推理中，由于知識(shí)源的不完全可靠和來(lái)自不同的知識(shí)源的知識(shí)可能相互抵觸等原因，我們不能把這些知識(shí)看成絕對(duì)真理，只能將它們作為信念，對(duì)信念的處理是人工智能研究中的一個(gè)關(guān)鍵問(wèn)題。 本文汲取算子模糊邏輯的思想，將[0，1]區(qū)間上的實(shí)數(shù)作為信念算子，用以描述命題的可信程度，從而在命題邏輯的基礎(chǔ)上建立了帶有信念算子的命題邏輯，稱其為信念算子命題邏輯。用一個(gè)實(shí)系數(shù)多項(xiàng)式函數(shù)定義信念算子之間的運(yùn)算，證明了這種定義方法在一些比較基本的假

2、設(shè)之下的唯一性。這個(gè)運(yùn)算具有良好的數(shù)學(xué)性質(zhì)和直觀背景。為了實(shí)現(xiàn)基于信念的推理，我們將布爾算子模糊邏輯中公式的恒真水平的概念引入到信念算子命題邏輯中，根據(jù)信念算子運(yùn)算的特點(diǎn)，建立了信念算子命題邏輯中求任意給定公式的恒真水平的機(jī)械推導(dǎo)算法BMD。這種方法優(yōu)于算子模糊邏輯中的λ-歸結(jié)方法。根據(jù)形式推導(dǎo)算法BMD，給出了求解任意給定公式恒真水平的實(shí)現(xiàn)系統(tǒng)。該系統(tǒng)主要包括規(guī)則庫(kù)模塊、函數(shù)模塊、邏輯聯(lián)結(jié)詞化簡(jiǎn)模塊、模糊原子計(jì)算模塊以及回溯求解模塊。