逻辑系统′Luk中命题积分真度的若干等式与不等式

发布时间：2018-08-29 07:41

【摘要】：对′Lukasiewicz逻辑系统,利用序结构知识和赋值函数保并、交、补、蕴涵运算的性质研究了命题的积分真度,推出了若干关于积分真度的等式与不等式,修正完善了积分真度的交推理规则,给出了积分真度的等式与不等式的一些应用,使较复杂的积分真度计算得以简化,或进行较合理的估值。
[Abstract]:For''Lukasiewicz logic system, the integral truth of propositions is studied by using the knowledge of order structure and the properties of the operation of preserving union, intersection, complement and implication of the assignment function. Some equality and inequality about integral truth are deduced. The intersection reasoning rules of integral truth are revised and perfected, and some applications of the equality and inequality of integral truth are given. The computation of complex integral truth degree can be simplified or a more reasonable estimate is made.
【作者单位】： 盐城师范学院数学科学学院;扬州大学数学科学学院;
【基金】：国家自然科学基金资助项目(10371106;60774073) 江苏省高校自然科学基础研究项目(08KJD110008)
【分类号】：O141.1

【参考文献】

相关期刊论文 前4条

1 王国俊,李璧镜;Lukasiweicz n值命题逻辑中公式的真度理论和极限定理[J];中国科学E辑;2005年06期

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

3 裴道武;关于模糊逻辑与模糊推理逻辑基础问题的十年研究综述[J];工程数学学报;2004年02期

4 李骏,袁和军;积分语义学中的积分相似度、伪距离与近似推理理论[J];陕西师范大学学报(自然科学版);2002年01期

【共引文献】

相关期刊论文 前10条

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

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

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

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

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

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

7 朱怡权;关于格蕴涵代数与BCK-代数[J];纯粹数学与应用数学;1999年03期

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

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

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

相关会议论文 前1条

1 Li Zou~(1,2) Xin Liu~3 Yang Xu~2 ~1School of Computer and Information Technology,Liaoning Normal University,Dalian,116029,P.R.China ~2 Intelligent Control Development Center,Southwest Jiaotong University,Chengdu,Sichuan,610031,P.R.China ~3 Mathematics College,Liaoning Normal University,Dalian,116029,P.R.China;A Method of Linguistic Truth-valued Reasoning in Risk Assessment[A];Proceedings of the First International Conference on Risk Analysis and Crisis Response[C];2007年

相关博士学位论文 前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 张宝华;关于格蕴涵代数性质的研究[D];西南交通大学;2003年

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

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

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

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

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

【二级参考文献】

相关期刊论文 前10条

1 裴道武;模糊逻辑中的自然演绎系统[J];工程数学学报;2002年03期

2 裴道武,王三民;形式系统L~*(n)的完备性[J];高校应用数学学报A辑(中文版);2001年03期

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

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

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

6 王国俊;三I方法与区间值模糊推理[J];中国科学E辑;2000年04期

7 王国俊;适用于多种蕴涵算子的赋值空间上的测度与积分理论[J];中国科学E辑;2001年01期

8 裴道武,王国俊;形式系统鈦~*的完备性及其应用[J];中国科学E辑;2002年01期

9 吴洪博;修正的Kleene系统中的广义重言式理论[J];中国科学E辑;2002年02期

10 宋士吉,吴澄;模糊推理的反向三I算法[J];中国科学E辑;2002年02期

，

本文编号：2210639