■ukasiewicz命题逻辑系统中的赋值决定公式问题

发布时间：2018-05-10 11:12

  本文选题：Fuzzy分离规则 + Lukasiewicz命题逻辑系统　； 参考：《陕西师范大学学报(自然科学版)》2006年03期

【摘要】：为了在经典逻辑学中建立Fuzzy分离规则的推理模式,Zadeh提出了赋值决定公式问题(VDF问题),并已于二值命题逻辑以及Lukasiewicz三值和p+1值命题逻辑中得到解决.文中在更一般的Lukasiewicz命题逻辑系统中建立了VDF问题的求解理论,首先给出了一般的Lukasiewicz命题逻辑系统中VDF的合理性条件,其次构造性地解决了Ln、La和Lc中的VDF问题.
[Abstract]:In order to establish the reasoning model of Fuzzy separation rule in classical logic, the assignment decision formula problem is proposed and solved in binary propositional logic and Lukasiewicz ternary and p1-valued propositional logic. In this paper, the solution theory of VDF problem is established in the more general Lukasiewicz propositional logic system. Firstly, the rational conditions of VDF in the general Lukasiewicz propositional logic system are given. Secondly, the VDF problem in LnnnLa and LC is solved structurally.
【作者单位】： 陕西师范大学数学与信息科学学院 陕西师范大学数学与信息科学学院
【基金】：国家自然科学基金重点资助项目(10331010)
【分类号】：O141.1

【参考文献】

相关期刊论文 前3条

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

2 宋玉靖;Lukasiewicz p+1值逻辑系统中VDF问题的解决[J];数学进展;2004年05期

3 杨晓斌,张文修;Lukasiewicz系统中的广义重言式理论[J];陕西师范大学学报(自然科学版);1998年04期

【共引文献】

相关期刊论文 前10条

1 马征杰;大学生思想品德定量评价体系设计与程序[J];安康师专学报;2001年04期

2 郑亚林,海焕智,白永成;3I方案下的Fuzzy推理算法[J];宝鸡文理学院学报(自然科学版);2001年02期

3 郑亚林,黄德隆,郭健;Fuzzy推理的Mamdani算法[J];宝鸡文理学院学报(自然科学版);2001年03期

4 郑亚林;Fuzzy推理的各种模型算法[J];宝鸡文理学院学报(自然科学版);2002年01期

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

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

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

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

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

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

相关会议论文 前8条

1 宋士吉;冯纯伯;费树岷;孙长银;;模糊推理的Zadeh型全蕴涵三Ⅰ算法[A];第十九届中国控制会议论文集（一）[C];2000年

2 黄丽;李中夫;;基于三/算法的多规则模糊推理[A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集[C];2000年

3 裴道武;;R_0代数中的MP滤子与同余关系[A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集[C];2000年

4 孟丹;陈图云;;模糊推理的三Ⅰ原则贴近算法[A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集[C];2000年

5 洪平洲;黎爱平;;基于Lukasiewicz蕴涵算子的三I FMT算法[A];中国系统工程学会模糊数学与模糊系统委员会第十一届年会论文选集[C];2002年

6 闫建平;;模糊推理插值器[A];第12届全国模糊系统与模糊数学学术年会论文集[C];2004年

7 徐章艳;汤服成;李凡;;基于经典逻辑系统的模糊推理方法[A];第12届全国模糊系统与模糊数学学术年会论文集[C];2004年

8 袁红春;陈明;池涛;;鱼病远程诊断模糊专家系统[A];2007年中国智能自动化会议论文集[C];2007年

相关博士学位论文 前10条

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

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

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

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

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

6 王拥军;需求工程中的不确定性研究[D];西北工业大学;2002年

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

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

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

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

相关硕士学位论文 前10条

1 徐章艳;基于Vague集的近似推理[D];广西师范大学;2000年

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

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

4 孟丹;基于事例推理的检索与推理模型研究[D];辽宁师范大学;2001年

5 高小军;模糊推理的新算法及基于模糊小波网络的自适应控制[D];西安电子科技大学;2002年

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

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

8 张振华;粗集理论及其在数据预处理过程中的应用[D];昆明理工大学;2002年

9 杨晓炜;基于拓扑变换的模糊推理研究[D];西南交通大学;2003年

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

【二级参考文献】

相关期刊论文 前7条

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

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

3 王国俊;蕴涵格与Stone表现定理的推广[J];科学通报;1998年11期

4 王国俊;一类代数上的逻辑学(Ⅰ)[J];陕西师范大学学报(自然科学版);1997年01期

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

6 王国俊;广义MP规则[J];陕西师范大学学报(自然科学版);2000年03期

7 王国俊;模糊推理与模糊逻辑[J];系统工程学报;1998年02期

【相似文献】

相关期刊论文 前2条

1 王国俊;李立峰;;■ukasiewicz命题逻辑系统中的赋值决定公式问题[J];陕西师范大学学报(自然科学版);2006年03期

2 王国俊;李立峰;;■ukasiewicz命题逻辑系统中的赋值决定公式问题[J];陕西师范大学学报(自然科学版);2006年03期

，

本文编号：1869071