本文選題：近似推理　切入點(diǎn)：模態(tài)邏輯　出處：《山東大學(xué)學(xué)報(bào)(理學(xué)版)》2016年02期 　論文類(lèi)型：期刊論文

【摘要】：在模態(tài)邏輯S4中通過(guò)有限模型建立了模態(tài)公式的(n)真度理論,研究了模態(tài)邏輯S4中命題的(n)真度的性質(zhì)。提出了模態(tài)公式間的(n)相似度理論,并由此在全體公式集中,建立了(n)偽距離,得出了(n)模態(tài)邏輯S4的度量空間,該空間以經(jīng)典邏輯度量空間為子空間,提出了一種模態(tài)邏輯S4中近似推理的框架。
[Abstract]:In modal logic S4, through finite model, the theory of the degree of truth of the modal formula is established, the properties of the proposition of the proposition in the modal logic S4 are studied, and the theory of similarity degree between the modal formulas is put forward, and the theory of similarity degree is set up in the whole formula. In this paper, the pseudo-distance is established, and the metric space of S4 of modal logic is obtained. This space takes the classical logic metric space as the subspace, and puts forward a framework of approximate reasoning in modal logic S4.
【作者單位】： 陜西師范大學(xué)數(shù)學(xué)與信息科學(xué)學(xué)院;
【基金】：國(guó)家自然科學(xué)基金重點(diǎn)項(xiàng)目(11531009);國(guó)家自然科學(xué)基金面上項(xiàng)目(61572016)
【分類(lèi)號(hào)】：O141.1

【參考文獻(xiàn)】

相關(guān)期刊論文 前3條

1 吳洪博;G銉del邏輯系統(tǒng)中的廣義重言式理論[J];模糊系統(tǒng)與數(shù)學(xué);2000年04期

2 王國(guó)俊;段巧林;;模態(tài)邏輯中的(n)真度理論與和諧定理[J];中國(guó)科學(xué)（F輯:信息科學(xué)）;2009年02期

3 李玲玲;吳洪博;;BR_0-分配性及其推廣[J];山東大學(xué)學(xué)報(bào)(理學(xué)版);2012年02期

【共引文獻(xiàn)】

相關(guān)期刊論文 前10條

1 于海;詹婉榮;張瑞玲;;模態(tài)邏輯S4的覆蓋語(yǔ)義及其完備性[J];電子學(xué)報(bào);2012年04期

2 于鴻麗;吳洪博;;多值邏輯系統(tǒng)H_α中的子代數(shù)理論[J];計(jì)算機(jī)工程與應(yīng)用;2008年05期

3 李順琴;王國(guó)俊;;修正的G銉del邏輯系統(tǒng)中子代數(shù)的廣義重言式理論[J];計(jì)算機(jī)工程與應(yīng)用;2008年36期

4 衛(wèi)利萍;薛占熬;岑楓;;G銉del區(qū)間值邏輯系統(tǒng)的廣義擬重言式[J];計(jì)算機(jī)工程與應(yīng)用;2009年06期

5 魏海新;;修正的Kleene系統(tǒng)中子代數(shù)的廣義重言式理論[J];計(jì)算機(jī)工程與應(yīng)用;2009年22期

6 李順琴;王國(guó)俊;;系統(tǒng)H_α中的子代數(shù)的廣義重言式理論[J];計(jì)算機(jī)工程與應(yīng)用;2010年08期

7 于鴻麗;吳洪博;;邏輯系統(tǒng)H_α中廣義語(yǔ)義MP規(guī)則證明的改進(jìn)[J];計(jì)算機(jī)工程與應(yīng)用;2010年22期

8 魏海新;;G銉del系統(tǒng)中一類(lèi)子代數(shù)上的廣義重言式理論[J];計(jì)算機(jī)工程與應(yīng)用;2010年29期

9 劉華麗;;模態(tài)邏輯中公式的模態(tài)真度[J];計(jì)算機(jī)工程與應(yīng)用;2010年31期

10 李修清;;G銉del邏輯系統(tǒng)中1/2-子代數(shù)上的廣義重言式理論[J];計(jì)算機(jī)工程與應(yīng)用;2011年05期

相關(guān)博士學(xué)位論文 前4條

1 馬麗娜;模糊推理方法及知識(shí)推理的計(jì)量化研究[D];陜西師范大學(xué);2011年

2 李志偉;偏序集上的蘊(yùn)涵代數(shù)[D];首都師范大學(xué);2002年

3 王慶平;邏輯度量空間中的仿射變換和幾類(lèi)特殊公式的性態(tài)研究及其應(yīng)用[D];陜西師范大學(xué);2012年

4 時(shí)慧嫻;模態(tài)邏輯的計(jì)量化研究及其在模型檢驗(yàn)中的應(yīng)用[D];陜西師范大學(xué);2013年

相關(guān)碩士學(xué)位論文 前10條

1 黃阿敏;基于蘊(yùn)涵算子族的模糊邏輯理論[D];浙江理工大學(xué);2010年

2 李四化;幾種多值邏輯系統(tǒng)重言式關(guān)系和L_4中導(dǎo)出函數(shù)問(wèn)題的研究[D];山東大學(xué);2010年

3 韓瑩;擾動(dòng)模糊命題邏輯及其廣義重言式[D];遼寧師范大學(xué);2003年

4 李曉冰;區(qū)間值模糊命題邏輯的廣義擬重言式及其真度[D];遼寧師范大學(xué);2005年

5 孟艷平;擾動(dòng)模糊命題邏輯系統(tǒng)的語(yǔ)義[D];遼寧師范大學(xué);2005年

6 李麗;模糊時(shí)序命題邏輯系統(tǒng)的語(yǔ)義[D];遼寧師范大學(xué);2005年

7 汪德剛;模糊模態(tài)命題邏輯及其廣義重言式[D];遼寧師范大學(xué);2005年

8 吳鳳干;直覺(jué)模糊命題邏輯系統(tǒng)的語(yǔ)義[D];遼寧師范大學(xué);2005年

9 關(guān)曉紅;多值邏輯系統(tǒng)H_α與偏蘊(yùn)涵代數(shù)[D];陜西師范大學(xué);2007年

10 李慧玲;多值命題邏輯和直覺(jué)模糊命題邏輯公式的概率α-真度[D];遼寧師范大學(xué);2007年

【二級(jí)參考文獻(xiàn)】

相關(guān)期刊論文 前10條

1 王國(guó)俊;宋建社;;命題邏輯中的程度化方法[J];電子學(xué)報(bào);2006年02期

2 王國(guó)俊;惠小靜;;概率邏輯學(xué)基本定理的推廣[J];電子學(xué)報(bào);2007年07期

3 王國(guó)俊;;計(jì)量邏輯學(xué)(Ⅰ)[J];工程數(shù)學(xué)學(xué)報(bào);2006年02期

4 李駿;王國(guó)俊;;n值Lkasiewicz命題邏輯中命題的α-真度理論[J];計(jì)算機(jī)工程與應(yīng)用;2006年31期

5 張興芳;孟廣武;張安英;;蘊(yùn)涵算子族及其應(yīng)用[J];計(jì)算機(jī)學(xué)報(bào);2007年03期

6 王國(guó)俊;模糊命題演算的一種形式演繹系統(tǒng)[J];科學(xué)通報(bào);1997年10期

7 吳望名;Fuzzy蘊(yùn)涵代數(shù)[J];模糊系統(tǒng)與數(shù)學(xué);1990年01期

8 吳洪博;G銉del邏輯系統(tǒng)中的廣義重言式理論[J];模糊系統(tǒng)與數(shù)學(xué);2000年04期

9 王國(guó)俊;MV-代數(shù)、BL-代數(shù)、R_0-代數(shù)與多值邏輯[J];模糊系統(tǒng)與數(shù)學(xué);2002年02期

10 韓邦合;王國(guó)俊;;二值邏輯中命題的條件真度理論[J];模糊系統(tǒng)與數(shù)學(xué);2007年04期

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 李娜;魏燕俠;;國(guó)內(nèi)模態(tài)邏輯哲學(xué)問(wèn)題研究述評(píng)[J];自然辯證法研究;2007年11期

2 鄒晶,邱偉德;中介模態(tài)邏輯——形式系統(tǒng)及語(yǔ)義[J];數(shù)學(xué)研究與評(píng)論;1991年02期

3 周禎祥;模態(tài)算子與全稱量詞──蒙太古構(gòu)造的一個(gè)模態(tài)邏輯公理系統(tǒng)[J];自然辯證法通訊;1997年03期

4 孫希文;模態(tài)邏輯的閉包代數(shù)值模型(一)[J];哈爾濱工業(yè)大學(xué)學(xué)報(bào);1983年04期

5 張閔敏;關(guān)于經(jīng)驗(yàn)論模態(tài)詞相互關(guān)系的注記[J];解放軍理工大學(xué)學(xué)報(bào)(自然科學(xué)版);2003年04期

6 姜桂飛;;基于認(rèn)知邏輯的模態(tài)邏輯運(yùn)用的實(shí)在性分析[J];畢節(jié)學(xué)院學(xué)報(bào);2011年04期

7 程曉春，孫吉貴，劉敘華;模態(tài)邏輯D演繹過(guò)程的化簡(jiǎn)規(guī)則[J];吉林大學(xué)自然科學(xué)學(xué)報(bào);1995年02期

8 趙賢;;基于基底系統(tǒng)的雙模態(tài)邏輯系統(tǒng)研究[J];系統(tǒng)科學(xué)學(xué)報(bào);2013年02期

9 孫吉貴，劉敘華;強(qiáng)模態(tài)歸結(jié)[J];吉林大學(xué)自然科學(xué)學(xué)報(bào);1996年01期

10 潘孝銘;模態(tài)邏輯兩個(gè)定理的基于向前向后方法的證明[J];北京工商大學(xué)學(xué)報(bào)(自然科學(xué)版);2002年04期

相關(guān)會(huì)議論文 前10條

1 孫衛(wèi)民;;模態(tài)邏輯中幾個(gè)概念的發(fā)展[A];1994年邏輯研究專(zhuān)輯[C];1994年

2 何庸;;《廣義模態(tài)邏輯》值得細(xì)讀[A];1995年邏輯研究專(zhuān)輯[C];1995年

3 馮棉;;模態(tài)邏輯研究中的若干問(wèn)題[A];1993年邏輯研究專(zhuān)輯[C];1993年

4 孫希文;;模態(tài)邏輯模型的嵌入定理[A];1994年邏輯研究專(zhuān)輯[C];1994年

5 李娜;;認(rèn)識(shí)論模態(tài)邏輯E-系統(tǒng)的布爾值模型[A];邏輯、語(yǔ)言與思維——周禮全先生八十壽辰紀(jì)念文集[C];2001年

6 楚白;;有窮深度的模態(tài)邏輯[A];2005年邏輯研究專(zhuān)輯[C];2005年

7 王陽(yáng);;模態(tài)邏輯·形式語(yǔ)義·文本符號(hào)[A];2003年邏輯研究專(zhuān)輯[C];2003年

8 裘江杰;;一類(lèi)認(rèn)知詞模態(tài)邏輯Ⅰ:基礎(chǔ)邏輯[A];2007年全國(guó)現(xiàn)代邏輯學(xué)術(shù)研討會(huì)論文集[C];2007年

9 劉邦凡;;一個(gè)知識(shí)表示的廣義模態(tài)邏輯方案[A];2007年全國(guó)現(xiàn)代邏輯學(xué)術(shù)研討會(huì)論文集[C];2007年

10 劉邦凡;何向東;;一個(gè)“知識(shí)”定義的邏輯解釋[A];2007年現(xiàn)代邏輯與邏輯史研討會(huì)論文集[C];2007年

相關(guān)博士學(xué)位論文 前3條

1 史t，

本文編號(hào)：1618144