本文關(guān)鍵詞：連續(xù)值命題邏輯中公式的條件相對重言度理論

  更多相關(guān)文章： 賦值密度函數(shù) 條件概率真度 條件相對Γ-重言度 條件相對Γ-相似度 偽距離

【摘要】：基于Lukasiewicz命題邏輯系統(tǒng)提出一般性的賦值密度函數(shù),定義了公式的概率真度、條件概率真度的概念,引入了公式的條件相對Γ-重言度,并給出了若干性質(zhì)。利用公式的條件相對Γ-重言度,定義了公式間的條件相對Γ-相似度,進而導(dǎo)出了偽距離。
【作者單位】： 聊城大學(xué)圖書館;聊城職業(yè)技術(shù)學(xué)院;
【基金】：山東省自然科學(xué)基金(No.Y2003A01)~~
【分類號】：O141.1
【正文快照】： 1引言近年來眾多學(xué)者針對多值邏輯系統(tǒng)進行了系統(tǒng)而深入的研究,并取得了豐碩的成果[1-4]。王國俊教授先后提出了模糊值、二值、n值命題邏輯公式真度的理論[5-8],特別是文獻[5],它針對連續(xù)值命題邏輯利用積分工具引入公式的真度,為連續(xù)值命題邏輯系統(tǒng)中近似推理提供了一種可供

【參考文獻】

中國期刊全文數(shù)據(jù)庫 前7條

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

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

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

4 王國俊;;計量邏輯學(xué)(Ⅰ)[J];工程數(shù)學(xué)學(xué)報;2006年02期

5 裴道武;關(guān)于模糊邏輯與模糊推理邏輯基礎(chǔ)問題的十年研究綜述[J];工程數(shù)學(xué)學(xué)報;2004年02期

6 吳洪博,王國俊;Lukasie wicz邏輯系統(tǒng)中的廣義重言式理論[J];西南交通大學(xué)學(xué)報(自然科學(xué)版);2000年05期

7 于鵬;王國俊;;根與F(S)中的近似推理[J];自然科學(xué)進展;2006年08期

【共引文獻】

中國期刊全文數(shù)據(jù)庫 前10條

1 辛?xí)詵|,尤飛;乘積R_0-代數(shù)上的若干映射性質(zhì)[J];寶雞文理學(xué)院學(xué)報(自然科學(xué)版);2000年02期

2 許文艷,韓誠;R_0代數(shù)中的真布爾元[J];寶雞文理學(xué)院學(xué)報(自然科學(xué)版);2003年04期

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

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

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

6 尤飛,楊昔陽,李洪興;模糊蘊涵算子及其構(gòu)造(Ⅲ)——由三角�；蛴嗳悄�(gòu)造的模糊蘊涵算子[J];北京師范大學(xué)學(xué)報(自然科學(xué)版);2004年04期

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

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

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

10 吳恒洋,韓誠;非全序R_0代數(shù)的結(jié)構(gòu)[J];純粹數(shù)學(xué)與應(yīng)用數(shù)學(xué);2004年01期

中國博士學(xué)位論文全文數(shù)據(jù)庫 前10條

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

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

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

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

5 斐崢;基于神經(jīng)網(wǎng)絡(luò)的自動推理理論及方法的研究[D];西南交通大學(xué);2002年

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

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

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

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

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

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前10條

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

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

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

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

5 常瑤芝;L～*謂詞邏輯與R_0代數(shù)性質(zhì)新探[D];陜西師范大學(xué);2003年

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

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

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

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

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

【二級參考文獻】

中國期刊全文數(shù)據(jù)庫 前10條

1 裴道武;模糊邏輯中的自然演繹系統(tǒng)[J];工程數(shù)學(xué)學(xué)報;2002年03期

2 裴道武;關(guān)于模糊邏輯與模糊推理邏輯基礎(chǔ)問題的十年研究綜述[J];工程數(shù)學(xué)學(xué)報;2004年02期

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

4 李駿,蘭倩,夏亞峰;標(biāo)準(zhǔn)序列邏輯系統(tǒng)S_3中命題的真度值之集在[0,1]上的分布[J];甘肅工業(yè)大學(xué)學(xué)報;2003年04期

5 裴道武,王三民;形式系統(tǒng)L~*(n)的完備性[J];高校應(yīng)用數(shù)學(xué)學(xué)報A輯(中文版);2001年03期

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

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

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

9 王國俊;三I方法與區(qū)間值模糊推理[J];中國科學(xué)E輯;2000年04期

10 王國俊;適用于多種蘊涵算子的賦值空間上的測度與積分理論[J];中國科學(xué)E輯;2001年01期

【相似文獻】

中國期刊全文數(shù)據(jù)庫 前10條

1 于西昌;胡凱;張興芳;;條件概率真度的相似度及偽距離[J];模糊系統(tǒng)與數(shù)學(xué);2009年06期

2 于西昌;譚桂梅;張興芳;;連續(xù)值命題邏輯系統(tǒng)中公式的條件概率真度[J];計算機工程與應(yīng)用;2009年28期

3 袁彥莉;張興芳;;G銉del邏輯系統(tǒng)中公式條件概率真度的研究[J];山東大學(xué)學(xué)報(理學(xué)版);2009年09期

4 譚桂梅;于西昌;;連續(xù)值命題邏輯中公式的條件相對重言度理論[J];計算機工程與應(yīng)用;2010年16期

5 左衛(wèi)兵;毋紅軍;;連續(xù)值命題邏輯系統(tǒng)中公式的概率真度[J];河南教育學(xué)院學(xué)報(自然科學(xué)版);2007年01期

6 譚桂梅;于西昌;;G銉del命題邏輯中公式概率真度的相似度及偽距離[J];計算機工程與應(yīng)用;2010年20期

7 于西昌;胡凱;張興芳;;命題邏輯中概率真度的相似度及偽距離[J];系統(tǒng)科學(xué)與數(shù)學(xué);2009年12期

8 于西昌;陳懷進;譚桂梅;;公式概率真度的相似度及偽距離[J];計算機工程與應(yīng)用;2010年27期

9 于西昌;譚桂梅;;幾種邏輯系統(tǒng)中的概率真度[J];計算機工程與應(yīng)用;2011年12期

10 于西昌;張興芳;;連續(xù)值命題邏輯中公式的概率真度及相似度[J];計算機工程與應(yīng)用;2009年24期

，

本文編號：1196247