本文關鍵詞：模態(tài)邏輯中公式的模態(tài)真度

  更多相關文章： 模態(tài)邏輯 (n)模態(tài)真度 (n)模態(tài)相似度 (n)模態(tài)偽距離 (n)模態(tài)度量空間

【摘要】：在模態(tài)邏輯中提出了公式的模態(tài)真度理論,即D真度與?真度。先給出在一個給定Kripke模型之下的模態(tài)真度理論,此后利用均勻概率思想,提出了更為合理的(n)模態(tài)真度理論,定義了兩公式之間的(n)模態(tài)相似度,并由此導出了(n)模態(tài)偽距離,得到了相應的模態(tài)度量空間。結果同文[9]相比更能體現模態(tài)詞的思想特點,從而為在模態(tài)邏輯中展開近似推理提供一個可能的框架。
【作者單位】： 西安石油大學理學院;
【關鍵詞】： 模態(tài)邏輯 (n)模態(tài)真度 (n)模態(tài)相似度 (n)模態(tài)偽距離 (n)模態(tài)度量空間
【基金】：國家自然科學基金No.90610012~~
【分類號】：O141.1
【正文快照】： 其中Φ是若干原子命題之集。式(1)的意義是:(1)"p?Φ啜p是模態(tài)公式,^也是可駁公式;(2)若A是模態(tài)公式,則?A也是模態(tài)公式;(3)若A啜B是模態(tài)公式,則AúB也是模態(tài)公式;(4)若A是模態(tài)公式,則?A也是模態(tài)公式。以下用Form(?啜Φ)表示全體模態(tài)公式之集,此外,還在全體模態(tài)邏輯公式集中引

【參考文獻】

中國期刊全文數據庫 前4條

1 王國俊;;計量邏輯學(Ⅰ)[J];工程數學學報;2006年02期

2 王國俊,傅麗,宋建社;二值命題邏輯中命題的真度理論[J];中國科學A輯;2001年11期

3 惠小靜;王國俊;;經典推理模式的隨機化研究及其應用[J];中國科學(E輯:信息科學);2007年06期

4 王國俊,李璧鏡;Lukasiweicz n值命題邏輯中公式的真度理論和極限定理[J];中國科學E輯;2005年06期

【共引文獻】

中國期刊全文數據庫 前10條

1 蘇忍鎖;蘊涵格、弱R_o代數與正則剩余格[J];寶雞文理學院學報(自然科學版);2004年02期

2 尤飛,馮艷賓,李洪興;模糊蘊涵算子及其構造(Ⅰ)——模糊蘊涵算子及其性質[J];北京師范大學學報(自然科學版);2003年05期

3 尤飛,馮艷賓,王加銀,李洪興;模糊蘊涵算子及其構造(Ⅱ)——模糊蘊涵算子的伴隨對及其圈乘算子[J];北京師范大學學報(自然科學版);2004年02期

4 尤飛,楊昔陽,李洪興;模糊蘊涵算子及其構造(Ⅲ)——由三角模或余三角模構造的模糊蘊涵算子[J];北京師范大學學報(自然科學版);2004年04期

5 尤飛,李洪興;模糊蘊涵算子及其構造(Ⅳ)——模糊蘊涵算子的對偶算子[J];北京師范大學學報(自然科學版);2004年05期

6 張宇卓,李洪興;基于變權理論的模糊推理前提約化的一類方法[J];北京師范大學學報(自然科學版);2005年02期

7 吳洪博;L~*系統(tǒng)的一種改進系統(tǒng)L_0~*[J];純粹數學與應用數學;2001年01期

8 吳恒洋,韓誠;非全序R_0代數的結構[J];純粹數學與應用數學;2004年01期

9 裴道武,姜慧;一個新的模糊謂詞演算形式系統(tǒng)[J];東北師大學報(自然科學版);2003年01期

10 王國俊;宋建社;;命題邏輯中的程度化方法[J];電子學報;2006年02期

中國博士學位論文全文數據庫 前10條

1 樊磊;Domain理論中若干問題的研究[D];首都師范大學;2001年

2 李志偉;偏序集上的蘊涵代數[D];首都師范大學;2002年

3 趙光峰;格蘊涵代數與圖的升分解問題的研究[D];西南交通大學;2002年

4 馬駿;基于格蘊涵代數的格值邏輯系統(tǒng)及其自動推理的研究[D];西南交通大學;2002年

5 斐崢;基于神經網絡的自動推理理論及方法的研究[D];西南交通大學;2002年

6 王偉;格值命題邏輯系統(tǒng)LP（X）中基于α-歸結原理的自動推理方法的研究[D];西南交通大學;2002年

7 李文江;基于格蘊涵代數的廣義格值模態(tài)邏輯及其歸結自動推理的研究[D];西南交通大學;2002年

8 李海明;關于格值邏輯及自動推理的研究[D];西南交通大學;2003年

9 沈暉;基于知識管理的企業(yè)集成支撐技術研究[D];清華大學;2003年

10 劉曉紅;關于企業(yè)人力資源評價信息處理系統(tǒng)的研究[D];西南交通大學;2004年

中國碩士學位論文全文數據庫 前10條

1 任芳;互為伴隨的三角模與蘊涵算子及蘊涵算子的逼近問題[D];陜西師范大學;2001年

2 王向云;區(qū)間值模糊推理的三Ⅰ算法[D];陜西師范大學;2001年

3 袁和軍;模糊推理的形式化理論[D];陜西師范大學;2002年

4 李駿;一類n值命題邏輯中命題的真度理論及近似推理理論[D];陜西師范大學;2002年

5 �，幹�;L～*謂詞邏輯與R_0代數性質新探[D];陜西師范大學;2003年

6 王龍春;L～*系統(tǒng)中的一類廣義重言式與L～*系統(tǒng)的一種擴張[D];陜西師范大學;2003年

7 蘭蓉;t-模與蘊涵算子的同構及廣義重言式理論[D];陜西師范大學;2003年

8 張花榮;代數系統(tǒng)的可嵌入性[D];陜西師范大學;2003年

9 宋慶燕;命題邏輯公式集上的正則相似關系和一種新型的三I算法[D];陜西師范大學;2003年

10 賈國恒;盧卡西維茨多值邏輯及其與一些邏輯的比較[D];河南大學;2003年

【二級參考文獻】

中國期刊全文數據庫 前10條

1 王國俊;宋建社;;命題邏輯中的程度化方法[J];電子學報;2006年02期

2 王國俊;;計量邏輯學(Ⅰ)[J];工程數學學報;2006年02期

3 王國俊,傅麗,宋建社;二值命題邏輯中命題的真度理論[J];中國科學A輯;2001年11期

4 王國俊;修正的Kleene系統(tǒng)中的Σ-(α-重言式)理論[J];中國科學E輯;1998年02期

5 王國俊;模糊推理的全蘊涵三I算法[J];中國科學E輯;1999年01期

6 裴道武,王國俊;形式系統(tǒng)鈦~*的完備性及其應用[J];中國科學E輯;2002年01期

7 吳洪博;修正的Kleene系統(tǒng)中的廣義重言式理論[J];中國科學E輯;2002年02期

8 宋士吉,吳澄;模糊推理的反向三I算法[J];中國科學E輯;2002年02期

9 裴道武,王國俊;形式系統(tǒng)L~*的擴張L_n~*及其完備性[J];中國科學E輯;2003年04期

10 王國俊,李璧鏡;Lukasiweicz n值命題邏輯中公式的真度理論和極限定理[J];中國科學E輯;2005年06期

【相似文獻】

中國期刊全文數據庫 前10條

1 王士鐵;模態(tài)邏輯與程序驗證[J];廈門大學學報(自然科學版);1985年03期

2 范榮強;;缺省模態(tài)邏輯[J];廣東技術師范學院學報;1993年04期

3 余泉;王駒;;模態(tài)描述邏輯的模型[J];南京大學學報數學半年刊;2007年02期

4 姚從軍;;古典命題邏輯與模態(tài)命題邏輯的自然推理系統(tǒng)之比較[J];湖南科技學院學報;2008年09期

5 馬海斌;王國俊;;模態(tài)R_0代數與模態(tài)濾子的若干性質[J];陜西師范大學學報(自然科學版);2009年04期

6 李蕓,董克誠;模態(tài)邏輯系統(tǒng)S5的本原運算子集[J];河北大學學報(自然科學版);1997年04期

7 宮寧生，何嘉鵬，施慶生;正規(guī)模態(tài)邏輯S_4的表推演系統(tǒng)TS_4[J];南京建筑工程學院學報;1995年02期

8 高恒珊;量詞模態(tài)邏輯的代數語義學(Ⅰ)——關于S5情形[J];數學學報;1987年06期

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

10 宮寧生，，張東摩，朱梧i

本文編號：1097553