模糊逻辑系统公理真度分析

发布时间：2017-09-02 07:19

  本文关键词：模糊逻辑系统公理真度分析

  更多相关文章： 公理 G銉del系统 Lukasiewicz系统 R系统 真度

【摘要】：分别对Lukasiewicz逻辑系统中的公理在R0系统和G銉del系统中的真度大小、R0系统逻辑系统中的公理在Lukasiewicz系统和中G銉del系统的真度大小和G銉del逻辑系统中的公理在R0系统和Lukasiewicz系统中的真度大小进行了计算和分析,从真度方面研究和分析了常用逻辑系统之间的关系。
【作者单位】： 聊城大学数学科学学院;
【关键词】： 公理 G銉del系统 Lukasiewicz系统 R系统 真度
【基金】：国家自然科学基金资助项目(60875034) 聊城大学科学项目(X081001)
【分类号】：O141.1
【正文快照】： 1引言数理逻辑的特点在于符号化和形式化,它和计算数学有着截然不同的风格,我就可以把计算数学的思想融入到数理逻辑中,使其更为灵活并扩大其应用范围。王国俊教授先后提出了模糊值、二值、n值命题逻辑公式真度的理论[1-2]。在现实生活中,经典逻辑是研究非真即假命题的逻辑,

【参考文献】

中国期刊全文数据库 前3条

1 张兴芳;孟广武;;一阶模糊谓词逻辑公式的有限解释真度和可数解释真度的理论及其应用[J];计算机科学;2005年10期

2 张兴芳;孟广武;张安英;;蕴涵算子族及其应用[J];计算机学报;2007年03期

3 张兴芳;王国俊;孟广武;;一阶模糊谓词逻辑公式的区间解释真度理论[J];模糊系统与数学;2006年02期

【共引文献】

中国期刊全文数据库 前10条

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

2 苏忍锁;蕴涵格、弱R_o代数与正则剩余格[J];宝鸡文理学院学报(自然科学版);2004年02期

3 尤飞,冯艳宾,李洪兴;模糊蕴涵算子及其构造(Ⅰ)——模糊蕴涵算子及其性质[J];北京师范大学学报(自然科学版);2003年05期

4 尤飞,冯艳宾,王加银,李洪兴;模糊蕴涵算子及其构造(Ⅱ)——模糊蕴涵算子的伴随对及其圈乘算子[J];北京师范大学学报(自然科学版);2004年02期

5 尤飞,杨昔阳,李洪兴;模糊蕴涵算子及其构造(Ⅲ)——由三角模或余三角模构造的模糊蕴涵算子[J];北京师范大学学报(自然科学版);2004年04期

6 尤飞,李洪兴;模糊蕴涵算子及其构造(Ⅳ)——模糊蕴涵算子的对偶算子[J];北京师范大学学报(自然科学版);2004年05期

7 张宇卓,李洪兴;基于变权理论的模糊推理前提约化的一类方法[J];北京师范大学学报(自然科学版);2005年02期

8 吴洪博;L~*系统的一种改进系统L_0~*[J];纯粹数学与应用数学;2001年01期

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

10 裴道武,姜慧;一个新的模糊谓词演算形式系统[J];东北师大学报(自然科学版);2003年01期

中国博士学位论文全文数据库 前10条

1 樊磊;Domain理论中若干问题的研究[D];首都师范大学;2001年

2 李志伟;偏序集上的蕴涵代数[D];首都师范大学;2002年

3 赵光峰;格蕴涵代数与图的升分解问题的研究[D];西南交通大学;2002年

4 马骏;基于格蕴涵代数的格值逻辑系统及其自动推理的研究[D];西南交通大学;2002年

5 斐峥;基于神经网络的自动推理理论及方法的研究[D];西南交通大学;2002年

6 王伟;格值命题逻辑系统LP（X）中基于α-归结原理的自动推理方法的研究[D];西南交通大学;2002年

7 李文江;基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究[D];西南交通大学;2002年

8 李海明;关于格值逻辑及自动推理的研究[D];西南交通大学;2003年

9 沈晖;基于知识管理的企业集成支撑技术研究[D];清华大学;2003年

10 刘晓红;关于企业人力资源评价信息处理系统的研究[D];西南交通大学;2004年

中国硕士学位论文全文数据库 前10条

1 任芳;互为伴随的三角模与蕴涵算子及蕴涵算子的逼近问题[D];陕西师范大学;2001年

2 王向云;区间值模糊推理的三Ⅰ算法[D];陕西师范大学;2001年

3 袁和军;模糊推理的形式化理论[D];陕西师范大学;2002年

4 李骏;一类n值命题逻辑中命题的真度理论及近似推理理论[D];陕西师范大学;2002年

5 常瑶芝;L～*谓词逻辑与R_0代数性质新探[D];陕西师范大学;2003年

6 王龙春;L～*系统中的一类广义重言式与L～*系统的一种扩张[D];陕西师范大学;2003年

7 兰蓉;t-模与蕴涵算子的同构及广义重言式理论[D];陕西师范大学;2003年

8 张花荣;代数系统的可嵌入性[D];陕西师范大学;2003年

9 宋庆燕;命题逻辑公式集上的正则相似关系和一种新型的三I算法[D];陕西师范大学;2003年

10 贾国恒;卢卡西维茨多值逻辑及其与一些逻辑的比较[D];河南大学;2003年

【二级参考文献】

中国期刊全文数据库 前10条

1 尤飞,杨昔阳,李洪兴;模糊蕴涵算子及其构造(Ⅲ)——由三角模或余三角模构造的模糊蕴涵算子[J];北京师范大学学报(自然科学版);2004年04期

2 裴道武,姜慧;一个新的模糊谓词演算形式系统[J];东北师大学报(自然科学版);2003年01期

3 任芳;L~*系统中由单个原子生成的公式的真值函数的特征[J];工程数学学报;2005年03期

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

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

6 张兴芳;孟广武;;一阶模糊谓词逻辑公式的有限解释真度和可数解释真度的理论及其应用[J];计算机科学;2005年10期

7 王国俊;模糊命题演算的一种形式演绎系统[J];科学通报;1997年10期

8 王国俊;MV-代数、BL-代数、R_0-代数与多值逻辑[J];模糊系统与数学;2002年02期

9 裴道武;一阶形式系统K~*及其完备性[J];数学年刊A辑(中文版);2002年06期

10 乔全喜，徐扬;蕴涵算子[J];西南交通大学学报;1995年02期

【相似文献】

中国期刊全文数据库 前10条

1 郭巍;郭应焕;郭振华;朱玉兰;;地图染色定理的证明[J];前沿科学;2011年02期

2 王猛;张兴芳;;带有不确定时间的单机加权成套订单数问题[J];聊城大学学报(自然科学版);2011年01期

3 岳宗超;张兴芳;;基于不确定理论的短期风险模型[J];聊城大学学报(自然科学版);2011年01期

4 王若鹏;;席位公平分配问题Q值法的改进[J];北京石油化工学院学报;2011年02期

5 吕国亮;余保民;;由多项拟阵函数f所确定的拟阵M_f的秩r_f[J];科学技术与工程;2011年20期

6 王世强;;两种形式的素数与挛生素数猜想[J];汕头大学学报(自然科学版);2011年03期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

中国重要会议论文全文数据库 前10条

1 邢滔滔;;Mycielski的有穷数学[A];1998年逻辑研究专辑[C];1998年

2 陈鹏;;模糊拓扑空间两组度量公理的等价性及度量化[A];第12届全国模糊系统与模糊数学学术年会论文集[C];2004年

3 魏权龄;;DEA及其经济背景[A];中国运筹学会第七届学术交流会论文集（上卷）[C];2004年

4 王国俊;;Fuzzy逻辑与有序代数[A];中国系统工程学会模糊数学与模糊系统委员会第十一届年会论文选集[C];2002年

5 霍书全;鞠实儿;;SLO的代数结构[A];开放类逻辑论文集[C];2004年

6 孙红霞;张强;;基于心态指标Shapley值的利益分配问题[A];第十一届中国管理科学学术年会论文集[C];2009年

7 庞善起;秦克云;赵希顺;王雪生;;模糊逻辑与二值逻辑[A];模糊数学和系统成果会论文集[C];1991年

8 张冠军;姜豪;;非负偏序BCH—代数的性质[A];数学·物理·力学·高新技术研究进展（一九九六·第六期）——中国数学力学物理学高新技术交叉研究会第6届学术研讨会论文集[C];1996年

9 庞彦军;王晓睿;栗文国;;模糊关系矩阵合成运算中t范数的不完备性[A];第八届中国青年运筹信息管理学者大会论文集[C];2006年

10 刘文奇;;关于隶属度函数的摄动分解的注记[A];模糊数学和系统成果会论文集[C];1991年

中国博士学位论文全文数据库 前6条

1 孙康;n人合作博弈理论、方法及其在战略联盟上的应用[D];大连理工大学;2005年

2 李金红;抽象素数定理及广义黎曼假设的判别准则[D];山东大学;2009年

3 王贵宝;感知信息熵测度及其在可靠性工程中的应用研究[D];电子科技大学;2009年

4 陈立中;中国转型时期城镇贫困测度研究[D];华中科技大学;2007年

5 郭丽娜;非广延统计中的气体热容及双参数广义统计[D];天津大学;2010年

6 郭晓林;有害物品运输风险度量模型及其应用研究[D];西南交通大学;2009年

中国硕士学位论文全文数据库 前10条

1 张鑫;概率论公理化进程的历史研究[D];山东大学;2012年

2 柴日升;双重Ockham代数的相关子代数[D];汕头大学;2008年

3 曾玉娥;三角范畴中的两个问题[D];上海交通大学;2011年

4 陈琢;数学抽象度理论及其应用[D];东北大学;2006年

5 张忠;闭模糊拟阵的超平面公理[D];重庆大学;2004年

6 张会平;关于纯扩充的BHW定理的推广[D];河南大学;2001年

7 甘晓丽;基于描述逻辑的概念建模研究[D];广西师范大学;2006年

8 刘萌;改进后的综合DEA模型及其灵敏度分析[D];上海交通大学;2007年

9 陈婕;Disjunctive命题的模型理论[D];上海师范大学;2007年

10 王少龙;模糊多目标多人合作对策及其解的研究[D];重庆大学;2009年

，

本文编号：777143