本文選題：模糊邏輯　切入點：命題演算　出處：《西北大學(xué)學(xué)報(自然科學(xué)版)》2008年01期 　論文類型：期刊論文

【摘要】：目的建立一般非空集合X上的結(jié)論閉域和推理空間理論,并對它們的性質(zhì)進(jìn)行初步的探討。方法通過對命題演算系統(tǒng)的共同特征的研究,在公式集的冪集格上得到了一般命題演算系統(tǒng)共同滿足的一個推理閉包算子,再借助通過拓?fù)溟]包算子建立拓?fù)淇臻g的思想提出了推理閉包空間理論。結(jié)果探求推理閉包空間的初步性質(zhì)和模糊命題演算系統(tǒng)的基本性質(zhì)。結(jié)論通過推理閉包空間的建立,豐富了模糊邏輯的研究方法,溝通了拓?fù)鋵W(xué)和邏輯學(xué)之間的聯(lián)系。
[Abstract]:Aim to establish the conclusion closed field and inference space theory on the general nonempty set X, and to discuss their properties. Methods by studying the common characteristics of the propositional calculus system, In this paper, we obtain a reasoning closure operator which the general propositional calculus system satisfies on the power set lattice of the formula set. With the help of the idea of establishing topological space by topological closure operator, the theory of reasoning closure space is put forward. Results the preliminary properties of reasoning closure space and the basic properties of fuzzy propositional calculus system are discussed. It enriches the research methods of fuzzy logic and communicates the relationship between topology and logic.
【作者單位】： 陜西師范大學(xué)數(shù)學(xué)研究所
【基金】：國家自然科學(xué)基金(10471083) 陜西師范大學(xué)重點科研基金(995130)
【分類號】：O141.1

【參考文獻(xiàn)】

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

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

2 吳洪博,文秋梅;基礎(chǔ)L~*系統(tǒng)的一種擴(kuò)張——Lukasiewicz系統(tǒng)[J];模糊系統(tǒng)與數(shù)學(xué);2002年02期

3 吳洪博,王小敏,韓誠;L~*系統(tǒng)中的模糊演繹定理的改進(jìn)形式[J];四川大學(xué)學(xué)報(自然科學(xué)版);2005年01期

4 吳洪博;基礎(chǔ)R_(0-)代數(shù)與基礎(chǔ)L~*系統(tǒng)[J];數(shù)學(xué)進(jìn)展;2003年05期

5 任芳;劉新顏;;關(guān)于正則蘊涵算子[J];西北大學(xué)學(xué)報(自然科學(xué)版);2005年06期

6 董樂紅;耿國華;趙清;;基于模糊推理的青銅器鑒定專家系統(tǒng)[J];西北大學(xué)學(xué)報(自然科學(xué)版);2006年02期

7 邵曉麗;吳洪博;;關(guān)于BR_0-代數(shù)弱完備性的證明[J];西北大學(xué)學(xué)報(自然科學(xué)版);2007年03期

【共引文獻(xiàn)】

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

1 王延軍;;Lω-空間中的ω~*T_i分離性(Ⅱ)[J];安徽大學(xué)學(xué)報(自然科學(xué)版);2008年04期

2 王延軍;馬保國;;L-smooth拓?fù)淇臻g的弱T_2分離性[J];安徽師范大學(xué)學(xué)報(自然科學(xué)版);2006年05期

3 張紅杰;吳洪博;;BR_0代數(shù)中的濾子與理想[J];安康學(xué)院學(xué)報;2007年01期

4 汪義瑞;;預(yù)拓?fù)淇臻g的單點緊化[J];安康學(xué)院學(xué)報;2009年05期

5 龔加安;吳洪博;;BR_0代數(shù)的模糊濾子與模糊素濾子[J];安康學(xué)院學(xué)報;2009年06期

6 吳洪博;;基于非交換剩余格的(α,β]-模糊濾子(上)[J];安康學(xué)院學(xué)報;2011年02期

7 吳洪博;;基于非交換剩余格的(α,β]-模糊濾子(下)[J];安康學(xué)院學(xué)報;2011年03期

8 李文;關(guān)于L-fuzzy拓?fù)淇臻g的分離公理的討論[J];鞍山師范學(xué)院學(xué)報;2005年02期

9 吳雪芝;段慧仙;張杰;;L-fuzzy Domain及其等價刻畫[J];北方工業(yè)大學(xué)學(xué)報;2006年03期

10 段慧仙;張杰;;L-雙模糊連續(xù)論域[J];北方工業(yè)大學(xué)學(xué)報;2008年01期

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

1 王茹;王國俊;;一種新的理論的相容度及近似推理方法[A];第六屆中國不確定系統(tǒng)年會論文集[C];2008年

2 郭秀敏;王國俊;;關(guān)于描述邏輯中不動點語義的討論[A];第六屆中國不確定系統(tǒng)年會論文集[C];2008年

3 段巧林;王國俊;;根與幾種命題邏輯系統(tǒng)中的近似推理[A];第六屆中國不確定系統(tǒng)年會論文集[C];2008年

4 任燕;王洪濤;;二值命題邏輯中的極大命題集與完備命題集[A];第六屆中國不確定系統(tǒng)年會論文集[C];2008年

5 龔加安;吳洪博;;模糊集合的對偶分解定理[A];第六屆中國不確定系統(tǒng)年會論文集[C];2008年

6 潘小東;徐揚;;基于Lukasiewicz蘊涵代數(shù)的模糊命題邏輯的語法理論[A];第六屆中國不確定系統(tǒng)年會論文集[C];2008年

7 胡明娣;于鵬;王國俊;;蘊涵格的正規(guī)MP-濾子與素濾子[A];第六屆中國不確定系統(tǒng)年會論文集[C];2008年

8 潘小東;徐揚;;基于格值命題邏輯的語言真值不確定性推理方法[A];第八屆中國不確定系統(tǒng)年會論文集[C];2010年

9 潘小東;;模糊一階邏輯研究進(jìn)展綜述[A];第十屆中國不確定系統(tǒng)年會、第十四屆中國青年信息與管理學(xué)者大會論文集[C];2012年

10 裴道武;;R_0代數(shù)中的MP濾子與同余關(guān)系[A];模糊集理論與模糊應(yīng)用專輯——中國系統(tǒng)工程學(xué)會模糊數(shù)學(xué)與模糊系統(tǒng)委員會第十屆年會論文選集[C];2000年

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

1 郭建勝;效應(yīng)代數(shù)及偽BL-代數(shù)結(jié)構(gòu)的研究[D];陜西師范大學(xué);2010年

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

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

4 韓召偉;幾類基于量子邏輯的自動機的代數(shù)及邏輯刻畫[D];陜西師范大學(xué);2011年

5 陳佳林;柔性邏輯的健全性研究與應(yīng)用[D];北京郵電大學(xué);2011年

6 賴家俊;基于語言真值格值一階邏輯的不確定性推理研究[D];西南交通大學(xué);2011年

7 鄒麗;基于語言真值格蘊涵代數(shù)的格值命題邏輯及其歸結(jié)自動推理研究[D];西南交通大學(xué);2010年

8 于海田;民航安全分析與管理研究[D];上海大學(xué);2011年

9 岳立柱;模糊結(jié)構(gòu)元理論拓展及其決策應(yīng)用[D];遼寧工程技術(shù)大學(xué);2011年

10 范永青;幾類復(fù)雜動態(tài)系統(tǒng)穩(wěn)定及同步控制研究[D];廣東工業(yè)大學(xué);2012年

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

1 潘俊任;基于相似度的模糊推理算法研究[D];浙江理工大學(xué);2010年

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

3 劉琪;正態(tài)云模型模糊推理系統(tǒng)及其應(yīng)用研究[D];鄭州大學(xué);2010年

4 鹿文慧;基于重心法的Boolean模糊系統(tǒng)及其概率表示理論[D];大連理工大學(xué);2010年

5 袁英敏;基于CRI方法的重心法模糊系統(tǒng)及概率表示[D];大連理工大學(xué);2010年

6 王云濤;基于二Ⅰ算法的模糊系統(tǒng)的構(gòu)造及其概率表示[D];大連理工大學(xué);2010年

7 許筱婷;基于本體論的知識表達(dá)[D];湘潭大學(xué);2010年

8 劉婷;軟集合理論在模糊邏輯代數(shù)中的應(yīng)用研究[D];江南大學(xué);2010年

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

10 趙力;模糊推理的三Ⅰ算法研究[D];山東大學(xué);2010年

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

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

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

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

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

4 吳洪博;修正的Kleene系統(tǒng)中的廣義重言式理論[J];中國科學(xué)E輯:技術(shù)科學(xué);2002年02期

5 應(yīng)明生;允許修改推理規(guī)則的開放邏輯[J];科學(xué)通報;1996年11期

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

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

8 吳望名;關(guān)于模糊邏輯的—場爭論[J];模糊系統(tǒng)與數(shù)學(xué);1995年02期

9 吳洪博;基礎(chǔ)R_(0-)代數(shù)與基礎(chǔ)L~*系統(tǒng)[J];數(shù)學(xué)進(jìn)展;2003年05期

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

【相似文獻(xiàn)】

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

1 胡世冿;■值命楲演算的有z檔木哂瀉痚x完全性的子系}q[J];數(shù)學(xué)學(xué)報;1955年02期

2 胡世冿;;一P 值命楲演算的i嗽靃J];中國科學(xué)A輯;1950年Z1期

3 王世強;命題演算的一系公理[J];數(shù)學(xué)學(xué)報;1952年04期

4 胡世華,陳強業(yè);四值命題演算與四色問題(英文)[J];數(shù)學(xué)學(xué)報;1951年03期

5 李鳳鳴;命題演算范式定理的布爾證明[J];內(nèi)蒙古師范大學(xué)學(xué)報(自然科學(xué)漢文版);1979年00期

6 肖奚安,朱梧i，

本文編號：1556523