發(fā)布時間：2018-07-17 21:19

【摘要】：基于EskoTurnner對BL代數(shù)的系統(tǒng)研究 ,引入了次BL代數(shù)的概念 ,并給出了次BL代數(shù)的實(shí)例 ,在次BL代數(shù)中建立了一種廣泛的推理系統(tǒng) .研究表明 ,R0 代數(shù)、Lukasiewicz結(jié)構(gòu)、G del結(jié)構(gòu)等均可納入次BL代數(shù)理論之中
[Abstract]:Based on the systematic study of BL algebras by Esko Turnner, the concept of sub-BL algebras is introduced, and an example of sub-BL algebras is given. A general inference system is established in sub-BL algebras. The results show that the Lukasiewicz structure and G del structure can be included in the subBL algebra theory.
【作者單位】： 陜西師范大學(xué)數(shù)學(xué)與信息科學(xué)學(xué)院
【分類號】：O141.1

【參考文獻(xiàn)】

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

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

【共引文獻(xiàn)】

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

1 劉保翠;王國俊;;命題集F(S)基于相似關(guān)系定義的拓?fù)鋄J];安康學(xué)院學(xué)報;2007年03期

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

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

4 王廷明;;二值命題邏輯中的蘊(yùn)涵度量與近似推理[J];重慶師范大學(xué)學(xué)報(自然科學(xué)版);2009年03期

5 亓正坤;王廷明;丁潔玉;;二值命題邏輯中限制邏輯等價關(guān)系及其應(yīng)用[J];東北師大學(xué)報(自然科學(xué)版);2012年02期

6 王廷明;;二值命題邏輯中Г-的蘊(yùn)涵距離和近似推理[J];德州學(xué)院學(xué)報;2008年06期

7 袁彥莉;張興芳;;G_n命題邏輯系統(tǒng)中絕對真度的理論研究[J];德州學(xué)院學(xué)報;2009年04期

8 王廷明;;二值命題邏輯中有限理論的相對偏差及其應(yīng)用[J];德州學(xué)院學(xué)報;2010年02期

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

10 張東曉;李立峰;;二值命題邏輯公式的語構(gòu)程度化方法[J];電子學(xué)報;2008年02期

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

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

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

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

【相似文獻(xiàn)】

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

1 鄭慕聰,王國俊;正則余剩余格的特征及其應(yīng)用[J];自然科學(xué)進(jìn)展;2005年05期

2 張花榮,蘭蓉;剩余格與FI代數(shù)的可嵌入性[J];模糊系統(tǒng)與數(shù)學(xué);2003年01期

3 陳引蘭;;正交模格上的次BL代數(shù)性質(zhì)[J];湖北師范學(xué)院學(xué)報(自然科學(xué)版);2007年02期

4 劉春輝;吳紅霞;徐羅山;;關(guān)于CFI代數(shù)[J];揚(yáng)州大學(xué)學(xué)報(自然科學(xué)版);2007年04期

5 陳引蘭,呂映潔,施恩偉;正交模格F_(mo2)(n)上的代數(shù)結(jié)構(gòu)[J];云南師范大學(xué)學(xué)報(自然科學(xué)版);2005年06期

6 裴道武;剩余格與正則剩余格的特征定理[J];數(shù)學(xué)學(xué)報;2002年02期

7 張花榮,王龍春;LFI代數(shù)的性質(zhì)及其與剩余格的關(guān)系[J];模糊系統(tǒng)與數(shù)學(xué);2004年04期

8 邵曉麗;吳洪博;;次BL代數(shù)的修正及其應(yīng)用[J];太原師范學(xué)院學(xué)報(自然科學(xué)版);2006年04期

9 喬全喜;秦克云;;粗糙集代數(shù)與MV代數(shù)[J];模糊系統(tǒng)與數(shù)學(xué);2008年03期

10 喬全喜;秦克云;;粗糙集代數(shù)與BL代數(shù)[J];計算機(jī)工程與應(yīng)用;2008年33期

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

1 嚴(yán)雋薇;賀飛鳴;吳啟迪;;組織決策支持系統(tǒng)中知識推理系統(tǒng)的實(shí)現(xiàn)[A];1998年中國智能自動化學(xué)術(shù)會議論文集（下冊）[C];1998年

2 李志;邵哲平;鄒開其;潘宇;;利用模糊神經(jīng)推理系統(tǒng)—ANFIS預(yù)測世界散貨船隊(duì)運(yùn)力[A];模糊集理論與模糊應(yīng)用專輯——中國系統(tǒng)工程學(xué)會模糊數(shù)學(xué)與模糊系統(tǒng)委員會第十屆年會論文選集[C];2000年

3 何方琨;;對偶占優(yōu)推理系統(tǒng)的表示定理的證明[A];第十六屆全國青年通信學(xué)術(shù)會議論文集（上）[C];2011年

4 于津;劉敘華;;基于不確定、不精確知識的推理系統(tǒng)-UKRS[A];1996年中國智能自動化學(xué)術(shù)會議論文集（上冊）[C];1996年

5 羅榮桂;黃敏鎂;;基于自適應(yīng)神經(jīng)模糊推理系統(tǒng)的服務(wù)業(yè)發(fā)展預(yù)測模型[A];Well-off Society Strategies and Systems Engineering--Proceedings of the 13th Annual Conference of System Engineering Society of China[C];2004年

6 張桂英;周興社;倪紅波;於志文;;面向老年人的智能輔助環(huán)境下常識推理系統(tǒng)[A];第18屆全國多媒體學(xué)術(shù)會議（NCMT2009）、第5屆全國人機(jī)交互學(xué)術(shù)會議（CHCI2009）、第5屆全國普適計算學(xué)術(shù)會議（PCC2009）論文集[C];2009年

7 阿·米欽科;李靜如;;基于定性物理理論的專家系統(tǒng)[A];1992年中國控制與決策學(xué)術(shù)年會論文集[C];1992年

8 康巧茹;;探討描述禁止類型法律規(guī)范命題內(nèi)涵語義的方法[A];邏輯研究文集——中國邏輯學(xué)會第六次代表大會暨學(xué)術(shù)討論會論文集[C];2000年

9 謝偉平;谷倩;李紅兵;;工程設(shè)計專家系統(tǒng)基本模式的探討[A];第六屆全國結(jié)構(gòu)工程學(xué)術(shù)會議論文集（第一卷）[C];1997年

10 ;碩士研究生論文摘要[A];2000年邏輯研究專輯[C];2000年

相關(guān)重要報紙文章 前4條

1 同濟(jì)大學(xué)哲學(xué)系教授 高宣揚(yáng);保爾·絡(luò)朗�。侯I(lǐng)軍埃爾朗根學(xué)派[N];社會科學(xué)報;2007年

2 本報記者 尹傳紅;科普創(chuàng)作要有新思路[N];科技日報;2000年

3 本報市場編輯部副主編 李劍鋒;不妨聽聽反向意見[N];上海證券報;2011年

4 田龍生;無人戰(zhàn)斗機(jī)：歐洲“神經(jīng)元”刺激美國“神經(jīng)”[N];中國國防報;2005年

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

1 陳偉;剩余格的若干研究[D];西北大學(xué);2009年

2 吳正江;L模糊粗糙集研究[D];西南交通大學(xué);2009年

3 周湘南;與剩余格相關(guān)的幾類邏輯代數(shù)系統(tǒng)的研究[D];湖南大學(xué);2008年

4 郭宇;模塊化構(gòu)造軟件系統(tǒng)安全性證明的研究[D];中國科學(xué)技術(shù)大學(xué);2007年

5 馮文鏞;物品自動運(yùn)送機(jī)器人（ACR）原型系統(tǒng)控制體系結(jié)構(gòu)研究[D];浙江大學(xué);2001年

6 張紅斌;電力系統(tǒng)負(fù)荷模型結(jié)構(gòu)與參數(shù)辨識的研究[D];華北電力大學(xué)（北京）;2003年

7 伊良忠;格蘊(yùn)涵代數(shù)及語言真值不確定性推理研究[D];西南交通大學(xué);2007年

8 黃細(xì)霞;基于支持向量機(jī)的建模方法及其在材料加工中的應(yīng)用研究[D];上海交通大學(xué);2008年

9 王軍;基于本體的房地產(chǎn)營銷案例推理研究[D];武漢理工大學(xué);2008年

10 郝清賦;邏輯系統(tǒng)動態(tài)結(jié)構(gòu)演化研究[D];國防科學(xué)技術(shù)大學(xué);2006年

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

1 范欣;幾種邏輯代數(shù)的剩余格刻畫及命題邏輯系統(tǒng)中條件真度的比較[D];陜西師范大學(xué);2011年

2 馬歡;帶附加算子的剩余格及其濾子理論研究[D];寧波大學(xué);2010年

3 蘇忍鎖;剩余格與基于剩余格的幾類代數(shù)系統(tǒng)的關(guān)系[D];陜西師范大學(xué);2004年

4 吳媛;剩余格的模糊濾子和廣義模糊濾子[D];西北大學(xué);2011年

5 李伯宇;通用決策模型生成及推理系統(tǒng)的實(shí)現(xiàn)及研究[D];西安理工大學(xué);2004年

6 雷偉剛;安全監(jiān)控綜合推理系統(tǒng)的研究及應(yīng)用[D];河海大學(xué);2001年

7 田園;自適應(yīng)神經(jīng)模糊推理系統(tǒng)及其在船舶舵阻橫搖中的應(yīng)用[D];大連海事大學(xué);2004年

8 張家鋒;非經(jīng)典邏輯代數(shù)的粗糙性研究[D];西南交通大學(xué);2006年

9 陳曉娟;WDRL半群的研究[D];江南大學(xué);2009年

10 王永強(qiáng);基于ANFIS模型的灰鑄鐵性能遺傳優(yōu)化[D];四川大學(xué);2003年

，

本文編號：2130968