本文關鍵詞：R_G-代數(shù)的子代數(shù)與廣義重言式理論

  更多相關文章： G銉del邏輯系統(tǒng) 廣義重言式 子RG-代數(shù) 分劃

【摘要】：對G銉del邏輯系統(tǒng)中的廣義重言式理論進行推廣,討論了RG-代數(shù)的各類無限子代數(shù)上的廣義重言式,證明了在子RG-代數(shù)中,G銉del邏輯系統(tǒng)中存在著可數(shù)多個不同的廣義重言式。
【作者單位】： 桂林航天工業(yè)高等專科學校計算機系;
【基金】：廣西壯族自治區(qū)教育廳科研項目(桂教科研[2011]14號)
【分類號】：O141.1
【正文快照】： 1引言在人工智能的應用領域,模糊推理的研究有著十分重要的基礎地位,繼1973年Zadeh提出著名的CRI方法后,各種模糊推理方法紛紛被提出[1],但模糊推理的理論基礎卻不夠嚴密[2],為了奠定模糊推理的嚴密的理論基礎,王國俊教授在文獻[3-4]中,引進了Kleene邏輯系統(tǒng)Wˉ啜W啜Wk,研究

【參考文獻】

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

1 吳洪博,閻滿富;G銉del邏輯系統(tǒng)中F(S)的一個分劃及其應用[J];工程數(shù)學學報;2001年04期

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

3 吳洪博;G銉del系統(tǒng)中一種降級算法及性質[J];四川大學學報(自然科學版);2003年06期

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

【共引文獻】

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

1 辛曉東,尤飛;乘積R_0-代數(shù)上的若干映射性質[J];寶雞文理學院學報(自然科學版);2000年02期

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

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

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

5 尤飛,楊昔陽,李洪興;模糊蘊涵算子及其構造(Ⅲ)——由三角�；蛴嗳悄嬙斓哪：N涵算子[J];北京師范大學學報(自然科學版);2004年04期

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

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

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

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

10 易善楨;基于單純形的3D-GIS數(shù)據(jù)模型及其初步設計[J];測繪通報;1999年11期

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

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

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

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

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

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

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

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

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

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

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

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

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

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

3 杜春娟;模糊范疇，模糊拓撲及相關問題的研究[D];遼寧師范大學;2001年

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

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

6 張興龍;WF—模糊度量空間的理論[D];南京師范大學;2002年

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

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

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

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

【二級參考文獻】

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

1 吳洪博,閻滿富;G銉del邏輯系統(tǒng)中F(S)的一個分劃及其應用[J];工程數(shù)學學報;2001年04期

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

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

4 王國俊;模糊命題演算的一種形式演繹系統(tǒng)[J];科學通報;1997年10期

5 楊曉斌,張文修;Lukasiewicz多值邏輯系統(tǒng)中的廣義重言式理論[J];模糊系統(tǒng)與數(shù)學;2000年01期

6 李繼成,張文修;HFI-代數(shù)的擬Fuzzy-賦值[J];模糊系統(tǒng)與數(shù)學;2000年02期

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

8 吳洪博;G銉del系統(tǒng)中一種降級算法及性質[J];四川大學學報(自然科學版);2003年06期

9 裴道武;多值邏輯系統(tǒng)中的子代數(shù)與廣義重言式[J];陜西師范大學學報(自然科學版);2000年02期

10 吳洪博,文秋梅;L~*系統(tǒng)中的模糊演繹定理[J];陜西師范大學學報(自然科學版);2001年01期

【相似文獻】

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

1 張鳳姣;張興芳;;G銉del邏輯系統(tǒng)中公式真度判斷方法[J];聊城大學學報(自然科學版);2011年01期

2 ;[J];;年期

3 ;[J];;年期

4 ;[J];;年期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

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

1 何映思;模糊推理方法及模糊邏輯形式系統(tǒng)研究[D];西南大學;2011年

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

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

2 陳文麗;修正的Atanassov命題邏輯及其廣義重言式[D];遼寧師范大學;2003年

3 張宇卓;區(qū)間值模糊命題邏輯及其廣義重言式[D];遼寧師范大學;2003年

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

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

6 韓瑩;擾動模糊命題邏輯及其廣義重言式[D];遼寧師范大學;2003年

7 馬曉玨;IMTL邏輯系統(tǒng)及IMTL-代數(shù)[D];陜西師范大學;2004年

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

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

10 劉保翠;命題邏輯中公式的Γ蘊涵真度及相對Γ-重言度理論[D];陜西師范大學;2008年

，

本文編號：1215793