一阶模糊谓词逻辑公式的区间解释真度理论

发布时间：2018-05-08 19:37

  本文选题：一阶模糊谓词逻辑 + 变元集赋值　； 参考：《模糊系统与数学》2006年02期

【摘要】：通过引进一阶模糊语言变元集赋值的新概念,给出了一阶模糊谓词逻辑(或一阶模糊语言)公式的区间解释真度的定义,并讨论了它们的一系列性质。
[Abstract]:By introducing the new concept of first order fuzzy language variable set assignment, the definition of Interval Interpretation truth of first order fuzzy predicate logic (or first order fuzzy language) formula is given, and a series of properties are discussed.

【作者单位】： 聊城大学数学科学学院 陕西师范大学数学研究所 聊城大学数学科学学院
【基金】：山东省自然科学基金资助项目
【分类号】：O141.12

【参考文献】

相关期刊论文 前4条

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

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

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

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

【共引文献】

相关期刊论文 前10条

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

2 辛晓东,尤飞;乘积R_0-代数上的若干映射性质[J];宝鸡文理学院学报(自然科学版);2000年02期

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

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

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

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

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

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

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

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

相关会议论文 前9条

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

2 王廷明;吴伟民;;基于主范式的二值命题逻辑公式的真度[A];第一届中国智能计算大会论文集[C];2007年

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

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

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

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

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

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

9 袁红春;陈明;池涛;;鱼病远程诊断模糊专家系统[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年

【二级参考文献】

相关期刊论文 前9条

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

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

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

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

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

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

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

8 裴道武;形式演绎系统L~*中的懔运算与演绎定理[J];模糊系统与数学;2001年01期

9 裴道武,王国俊;一种新的模糊逻辑代数系统[J];西南交通大学学报(自然科学版);2000年05期

【相似文献】

相关期刊论文 前4条

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

2 王庆平;张兴芳;高芹;;一阶模糊谓词逻辑公式的可测集解释真度理论[J];聊城大学学报(自然科学版);2007年03期

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

4 王庆平;张兴芳;高芹;;一阶模糊谓词逻辑公式的可测集解释真度理论[J];聊城大学学报(自然科学版);2007年03期

，

本文编号：1862794