本文的研究工作源于國家自然科學(xué)基金項目（60273087）“經(jīng)驗知識推理理論研究”與北京市自然科學(xué)基金項目（4032009）“不精確推理理論研究”。 已經(jīng)發(fā)展十分完善的經(jīng)典數(shù)理邏輯是剛性邏輯，只能解決確定性問題。研究具有矛盾和不確定性問題的各種非經(jīng)典邏輯和現(xiàn)代邏輯是人工智能的主要發(fā)展方向之一。何華燦教授所提出的泛邏輯學(xué)旨在研究邏輯的一般規(guī)律，重點在研究具有矛盾和不確定性的各種柔性推理過程和演化過程。 本文將泛邏輯學(xué)的思想引入到區(qū)間邏輯中，實現(xiàn)了區(qū)間邏輯的值域和運算模型的柔性化，并對柔性區(qū)間推理進行了研究，主要創(chuàng)新點如下： 1．根據(jù)泛邏輯學(xué)原理，把廣義相關(guān)性引入到區(qū)間邏輯中，定義了區(qū)間邏輯的補、與、或、平均、等價和組合運算模型簇。重點論證了柔性區(qū)間與、柔性區(qū)間或和柔性區(qū)間平均運算簇的性質(zhì)。 2．提出了四種柔性區(qū)間蘊涵運算模型簇，重點證明了第一種柔性區(qū)間蘊涵的邊界條件、單調(diào)性和伴隨性，證明了柔性區(qū)間與、柔性區(qū)間或和柔性區(qū)間蘊涵可構(gòu)成剩余格，且其具有良好的代數(shù)性質(zhì)。 3．提出了柔性區(qū)間推理模型，證明了該運算模型滿足推理規(guī)則的基本要求。 4．將柔性區(qū)間邏輯應(yīng)... 

【文章來源】：西北工業(yè)大學(xué)陜西省 211工程院校 985工程院校

【文章頁數(shù)】：141 頁

【學(xué)位級別】：博士

【部分圖文】：

2最冒險估計和最保守估計的示意圖

‘1.柔性區(qū)間與在最大相吸情況的運算模型

2.柔性區(qū)間或在最大相吸情況的運算模型

【參考文獻】：
期刊論文
[1]區(qū)間值邏輯柔性化的研究[J]. 薛占熬,何華燦.  計算機科學(xué). 2005(07)
[2]基于泛邏輯學(xué)的邏輯關(guān)系柔性化研究[J]. 王萬森,何華燦.  軟件學(xué)報. 2005(05)
[3]泛邏輯學(xué)的蘊涵性質(zhì)[J]. 薛占熬,何華燦.  計算機科學(xué). 2005(05)
[4]哥德爾思想概說[J]. 王浩,邢滔滔.  科學(xué)文化評論. 2004(06)
[5]論廣義相關(guān)性在柔性邏輯中的重要性[J]. 薛占熬,張小紅,何華燦.  計算機科學(xué). 2004(02)
[6]粗糙蘊涵[J]. 薛占熬,何華燦.  計算機科學(xué). 2003(11)
[7]區(qū)間值模糊命題邏輯的最大子代數(shù)及其廣義重言式[J]. 陳圖云,張宇卓,廖士中.  模糊系統(tǒng)與數(shù)學(xué). 2003(02)
[8]帶Rough相等關(guān)系詞的Rough邏輯系統(tǒng)及其推理[J]. 劉清,鄭非,江娟,劉斕.  計算機學(xué)報. 2003(01)
[9]基于有限格蘊涵代數(shù)的格值命題邏輯語義系統(tǒng)[J]. 馬駿,秦克云,徐揚.  西南交通大學(xué)學(xué)報. 2002(05)
[10]MV-代數(shù)、BL-代數(shù)、R0-代數(shù)與多值邏輯[J]. 王國俊.  模糊系統(tǒng)與數(shù)學(xué). 2002(02)

博士論文
[1]廣義智能系統(tǒng)柔性超拓撲空間模型研究與應(yīng)用[D]. 魯斌.西北工業(yè)大學(xué) 2003
[2]三值光計算機原理和結(jié)構(gòu)[D]. 金翊.西北工業(yè)大學(xué) 2002



本文編號：3552633