面向?qū)ο蟮膹V義空間邏輯運算模型與推理研究.pdf

1、本課題的研究來源于國家自然科學(xué)基金資助項目“經(jīng)驗知識推理理論研究”(No.6027308)及北京市自然科學(xué)基金資助項目“不精確推理理論研究”(No.4032009)。 在廣義相關(guān)性和廣義自相關(guān)性的基礎(chǔ)上，泛邏輯給出了邏輯學(xué)的一種統(tǒng)一理論框架，為研究復(fù)雜系統(tǒng)中的柔性邏輯推理奠定了理論基礎(chǔ)。在軟件工程中，面向?qū)ο蠹夹g(shù)發(fā)揮了重要作用，它大大簡化了復(fù)雜問題的描述和編程。 本文在泛邏輯的基礎(chǔ)上，利用面向?qū)ο蟮乃枷牒头椒?，探討了邏?/p>

2、系統(tǒng)的組成結(jié)構(gòu)、運算模型、推理規(guī)則、應(yīng)用形式，提出了“面向?qū)ο蟮膹V義空間邏輯運算模型(Object-orientedGeneraliedSpatialLogicOperationModel,OGSLOM)”，并對其各個部分進行了系統(tǒng)地研究，主要的創(chuàng)新點有： 1.理論概念 在邏輯推理系統(tǒng)中引入了“面向?qū)ο蟆?、“廣義空間”等概念，分析了命題對象、連接詞對象、量詞對象、規(guī)則對象，給出了相關(guān)屬性，討論了研究面向?qū)ο蟮膹V義空間邏輯

3、的必要性。 2.運算模型 在分析空間位置相關(guān)性的基礎(chǔ)上，提出了“面向?qū)ο蟮膹V義空間邏輯運算模型OGSLOM”，其中包括多屬性命題對象的封裝模型、廣義連接詞運算的黑箱封裝模型。在給出統(tǒng)一封裝模型的基礎(chǔ)上，定義了基礎(chǔ)神經(jīng)元和常用神經(jīng)元，設(shè)計了非、與、或、蘊涵、等價、平均、組合七種連接詞的廣義神經(jīng)元封裝模型。 3.技術(shù)方法 在推理過程中引入了“真值向量”、“空間圖像”、“升空變換”、“落影變換”等概念，把命題對

4、象納入到參考空間中進行處理，突破了傳統(tǒng)的命題推理范式。研究了廣義連接詞的生成規(guī)則、面向?qū)ο蟮膹V義推理規(guī)則、信任邏輯推理規(guī)則，并給出了推理規(guī)則的面向?qū)ο蟊磉_。 4.仿真應(yīng)用 設(shè)計并實現(xiàn)了OGSLOM模型的仿真系統(tǒng)，支持命題對象及其屬性的管理，對廣義神經(jīng)元的運算模型進行了仿真。把OGSLOM模型應(yīng)用于頂天花板問題和分形圖像的邏輯運算，闡述了OGSLOM中的相關(guān)概念和技術(shù)方法，為應(yīng)用形式提供了典型范例。 本文屬于人工智