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

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

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

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

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