次BL代数的推理系统

发布时间：2018-07-17 21:19

【摘要】：基于EskoTurnner对BL代数的系统研究 ,引入了次BL代数的概念 ,并给出了次BL代数的实例 ,在次BL代数中建立了一种广泛的推理系统 .研究表明 ,R0 代数、Lukasiewicz结构、G del结构等均可纳入次BL代数理论之中
[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.
【作者单位】： 陕西师范大学数学与信息科学学院
【分类号】：O141.1

【参考文献】

相关期刊论文 前1条

1 王国俊,傅丽,宋建社;二值命题逻辑中命题的真度理论[J];中国科学(A辑);2001年11期

【共引文献】

相关期刊论文 前10条

1 刘保翠;王国俊;;命题集F(S)基于相似关系定义的拓扑[J];安康学院学报;2007年03期

2 许文艳,韩诚;R_0代数中的真布尔元[J];宝鸡文理学院学报(自然科学版);2003年04期

3 吴恒洋,韩诚;非全序R_0代数的结构[J];纯粹数学与应用数学;2004年01期

4 王廷明;;二值命题逻辑中的蕴涵度量与近似推理[J];重庆师范大学学报(自然科学版);2009年03期

5 亓正坤;王廷明;丁洁玉;;二值命题逻辑中限制逻辑等价关系及其应用[J];东北师大学报(自然科学版);2012年02期

6 王廷明;;二值命题逻辑中Г-的蕴涵距离和近似推理[J];德州学院学报;2008年06期

7 袁彦莉;张兴芳;;G_n命题逻辑系统中绝对真度的理论研究[J];德州学院学报;2009年04期

8 王廷明;;二值命题逻辑中有限理论的相对偏差及其应用[J];德州学院学报;2010年02期

9 王国俊;惠小静;;概率逻辑学基本定理的推广[J];电子学报;2007年07期

10 张东晓;李立峰;;二值命题逻辑公式的语构程度化方法[J];电子学报;2008年02期

【二级参考文献】

相关期刊论文 前2条

1 王国俊;修正的Kleene系统中的Σ-(α-重言式)理论[J];中国科学E辑:技术科学;1998年02期

2 王国俊;模糊推理的全蕴涵三I算法[J];中国科学E辑:技术科学;1999年01期

【相似文献】

相关期刊论文 前10条

1 郑慕聪,王国俊;正则余剩余格的特征及其应用[J];自然科学进展;2005年05期

2 张花荣,兰蓉;剩余格与FI代数的可嵌入性[J];模糊系统与数学;2003年01期

3 陈引兰;;正交模格上的次BL代数性质[J];湖北师范学院学报(自然科学版);2007年02期

4 刘春辉;吴红霞;徐罗山;;关于CFI代数[J];扬州大学学报(自然科学版);2007年04期

5 陈引兰,吕映洁,施恩伟;正交模格F_(mo2)(n)上的代数结构[J];云南师范大学学报(自然科学版);2005年06期

6 裴道武;剩余格与正则剩余格的特征定理[J];数学学报;2002年02期

7 张花荣,王龙春;LFI代数的性质及其与剩余格的关系[J];模糊系统与数学;2004年04期

8 邵晓丽;吴洪博;;次BL代数的修正及其应用[J];太原师范学院学报(自然科学版);2006年04期

9 乔全喜;秦克云;;粗糙集代数与MV代数[J];模糊系统与数学;2008年03期

10 乔全喜;秦克云;;粗糙集代数与BL代数[J];计算机工程与应用;2008年33期

相关会议论文 前10条

1 严隽薇;贺飞鸣;吴启迪;;组织决策支持系统中知识推理系统的实现[A];1998年中国智能自动化学术会议论文集（下册）[C];1998年

2 李志;邵哲平;邹开其;潘宇;;利用模糊神经推理系统—ANFIS预测世界散货船队运力[A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集[C];2000年

3 何方琨;;对偶占优推理系统的表示定理的证明[A];第十六届全国青年通信学术会议论文集（上）[C];2011年

4 于津;刘叙华;;基于不确定、不精确知识的推理系统-UKRS[A];1996年中国智能自动化学术会议论文集（上册）[C];1996年

5 罗荣桂;黄敏镁;;基于自适应神经模糊推理系统的服务业发展预测模型[A];Well-off Society Strategies and Systems Engineering--Proceedings of the 13th Annual Conference of System Engineering Society of China[C];2004年

6 张桂英;周兴社;倪红波;於志文;;面向老年人的智能辅助环境下常识推理系统[A];第18届全国多媒体学术会议（NCMT2009）、第5届全国人机交互学术会议（CHCI2009）、第5届全国普适计算学术会议（PCC2009）论文集[C];2009年

7 阿·米钦科;李静如;;基于定性物理理论的专家系统[A];1992年中国控制与决策学术年会论文集[C];1992年

8 康巧茹;;探讨描述禁止类型法律规范命题内涵语义的方法[A];逻辑研究文集——中国逻辑学会第六次代表大会暨学术讨论会论文集[C];2000年

9 谢伟平;谷倩;李红兵;;工程设计专家系统基本模式的探讨[A];第六届全国结构工程学术会议论文集（第一卷）[C];1997年

10 ;硕士研究生论文摘要[A];2000年逻辑研究专辑[C];2000年

相关重要报纸文章 前4条

1 同济大学哲学系教授 高宣扬;保尔·络朗琛：领军埃尔朗根学派[N];社会科学报;2007年

2 本报记者 尹传红;科普创作要有新思路[N];科技日报;2000年

3 本报市场编辑部副主编 李剑锋;不妨听听反向意见[N];上海证券报;2011年

4 田龙生;无人战斗机：欧洲“神经元”刺激美国“神经”[N];中国国防报;2005年

相关博士学位论文 前10条

1 陈伟;剩余格的若干研究[D];西北大学;2009年

2 吴正江;L模糊粗糙集研究[D];西南交通大学;2009年

3 周湘南;与剩余格相关的几类逻辑代数系统的研究[D];湖南大学;2008年

4 郭宇;模块化构造软件系统安全性证明的研究[D];中国科学技术大学;2007年

5 冯文镛;物品自动运送机器人（ACR）原型系统控制体系结构研究[D];浙江大学;2001年

6 张红斌;电力系统负荷模型结构与参数辨识的研究[D];华北电力大学（北京）;2003年

7 伊良忠;格蕴涵代数及语言真值不确定性推理研究[D];西南交通大学;2007年

8 黄细霞;基于支持向量机的建模方法及其在材料加工中的应用研究[D];上海交通大学;2008年

9 王军;基于本体的房地产营销案例推理研究[D];武汉理工大学;2008年

10 郝清赋;逻辑系统动态结构演化研究[D];国防科学技术大学;2006年

相关硕士学位论文 前10条

1 范欣;几种逻辑代数的剩余格刻画及命题逻辑系统中条件真度的比较[D];陕西师范大学;2011年

2 马欢;带附加算子的剩余格及其滤子理论研究[D];宁波大学;2010年

3 苏忍锁;剩余格与基于剩余格的几类代数系统的关系[D];陕西师范大学;2004年

4 吴媛;剩余格的模糊滤子和广义模糊滤子[D];西北大学;2011年

5 李伯宇;通用决策模型生成及推理系统的实现及研究[D];西安理工大学;2004年

6 雷伟刚;安全监控综合推理系统的研究及应用[D];河海大学;2001年

7 田园;自适应神经模糊推理系统及其在船舶舵阻横摇中的应用[D];大连海事大学;2004年

8 张家锋;非经典逻辑代数的粗糙性研究[D];西南交通大学;2006年

9 陈晓娟;WDRL半群的研究[D];江南大学;2009年

10 王永强;基于ANFIS模型的灰铸铁性能遗传优化[D];四川大学;2003年

，

本文编号：2130968