模糊谓词逻辑中基于有限解释的公式的条件α-真度理论

发布时间：2018-03-18 05:02

  本文选题：模糊谓词逻辑　切入点：有限解释条件α-真度　出处：《模糊系统与数学》2008年02期 　论文类型：期刊论文

【摘要】：在一阶模糊谓词逻辑系统中基于有限解释提出了公式的条件α-真度的概念,并研究了它的性质。
[Abstract]:In the first order fuzzy predicate logic system, the concept of conditional 伪 -truth degree of formula based on finite interpretation is proposed, and its properties are studied.
【作者单位】： 聊城大学数学科学学院 聊城大学数学科学学院 运城学院应用数学系
【基金】：山东省自然科学基金资助项目(Y2003A01)
【分类号】：O141.1

【参考文献】

相关期刊论文 前5条

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

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

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

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

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

【共引文献】

相关期刊论文 前10条

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

2 刘宏岚;高庆狮;杨炳儒;;多值逻辑中的命题相关性与逻辑运算研究[J];北京科技大学学报;2007年S2期

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

4 刘东利,茹永梅;经典二值逻辑系统L中的MT问题[J];宝鸡文理学院学报(自然科学版);2005年04期

5 杜亚灵;尹贻林;;基于模糊逻辑的公共项目风险分配模型[J];北京理工大学学报(社会科学版);2008年03期

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

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

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

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

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

相关会议论文 前10条

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

2 王茹;王国俊;;一种新的理论的相容度及近似推理方法[A];第六届中国不确定系统年会论文集[C];2008年

3 郭秀敏;王国俊;;关于描述逻辑中不动点语义的讨论[A];第六届中国不确定系统年会论文集[C];2008年

4 段巧林;王国俊;;根与几种命题逻辑系统中的近似推理[A];第六届中国不确定系统年会论文集[C];2008年

5 任燕;王洪涛;;二值命题逻辑中的极大命题集与完备命题集[A];第六届中国不确定系统年会论文集[C];2008年

6 潘小东;徐扬;;基于Lukasiewicz蕴涵代数的模糊命题逻辑的语法理论[A];第六届中国不确定系统年会论文集[C];2008年

7 胡明娣;于鹏;王国俊;;蕴涵格的正规MP-滤子与素滤子[A];第六届中国不确定系统年会论文集[C];2008年

8 潘小东;徐扬;;基于格值命题逻辑的语言真值不确定性推理方法[A];第八届中国不确定系统年会论文集[C];2010年

9 张凤姣;张兴芳;李成允;;G銉del逻辑中真值函数特征及真度分布[A];第八届中国不确定系统年会论文集[C];2010年

10 闵祥参;;模糊理论在RBAC中的应用研究[A];2011年青年通信国际会议论文集[C];2011年

相关博士学位论文 前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];浙江理工大学;2010年

2 黄阿敏;基于蕴涵算子族的模糊逻辑理论[D];浙江理工大学;2010年

3 鹿文慧;基于重心法的Boolean模糊系统及其概率表示理论[D];大连理工大学;2010年

4 袁英敏;基于CRI方法的重心法模糊系统及概率表示[D];大连理工大学;2010年

5 王云涛;基于二Ⅰ算法的模糊系统的构造及其概率表示[D];大连理工大学;2010年

6 刘婷;软集合理论在模糊逻辑代数中的应用研究[D];江南大学;2010年

7 李四化;几种多值逻辑系统重言式关系和L_4中导出函数问题的研究[D];山东大学;2010年

8 刘汇洋;若干广义t-模及相关模糊逻辑系统[D];宁波大学;2010年

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

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

【二级参考文献】

相关期刊论文 前10条

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

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

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

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

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

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

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

8 吴望名;关于模糊逻辑的—场争论[J];模糊系统与数学;1995年02期

9 李洪兴;从模糊控制的数学本质看模糊逻辑的成功──关于“关于模糊逻辑似是而非的争论”的似是而非的介入[J];模糊系统与数学;1995年04期

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

【相似文献】

相关期刊论文 前10条

1 陈理荣;格型模糊谓词逻辑与推理[J];重庆邮电学院学报;1995年01期

2 ;江苏省1998—1999年度理论宣传优秀作品评选揭晓本刊荣获二等奖[J];东南大学学报(哲学社会科学版);2000年04期

3 张安英;李德胜;张兴芳;于西昌;;基于一阶模糊逻辑公式的有限解释真度的推理理论[J];聊城大学学报(自然科学版);2005年04期

4 马巧云;;多值逻辑系统鄘中的否定度理论[J];西安文理学院学报(自然科学版);2009年04期

5 刘洪儒;;中国现代经营理念的探索者——访南德集团总裁牟其中[J];中外管理;1996年05期

6 宋丽君;;认知经济原则和信息度理论在语篇衔接和连贯中的应用[J];今日科苑;2009年04期

7 赵习水;;我们为何会颠倒黑白[J];大科技(科学之谜);2007年03期

8 关晓红;李骏;;一种非均匀概率空间下逻辑系统G_3中命题的真度理论[J];兰州理工大学学报;2009年05期

9 宋颖;张兴芳;;G銉del n值命题逻辑中公式的α-随机真度理论[J];计算机工程与应用;2009年31期

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

相关会议论文 前10条

1 王世启;;在2004年度理论研讨会上的总结讲话[A];西安市工商局碑林分局、西安市碑林区工商学会2004年度理论研讨会优秀论文集[C];2004年

2 颜君;邱玉波;方泉玉;韩国兴;;等离子体辐射不透明度理论[A];中国工程物理研究院科技年报（2000）[C];2000年

3 宋步升;;在碑林工商学会2004年度理论研讨会上的讲话[A];西安市工商局碑林分局、西安市碑林区工商学会2004年度理论研讨会优秀论文集[C];2004年

4 苏成;李均之;夏雅琴;;可公度理论在强震预报中的应用[A];中国地球物理学会第22届年会论文集[C];2006年

5 修世超;李长河;蔡光起;;磨削加工表面粗糙度理论模型修正方法研究[A];全国生产工程第九届年会暨第四届青年科技工作者学术会议论文集（二）[C];2004年

6 许琰;;柱压缩测量辐射不透明度靶的数值模拟[A];中国工程物理研究院科技年报（1999）[C];1999年

7 ;搭建理论平台,交流研究成果 提高队伍素质,推进全面创新[A];西安市工商局碑林分局、西安市碑林区工商学会2004年度理论研讨会优秀论文集[C];2004年

8 李继华;;为推动结构可靠发的研究和应用共同努力[A];工程结构可靠性——中国土木工程学会桥梁及结构工程学会第七届学术会议论文集[C];1987年

9 宋元斌;郑竹;;楼板竖向振动舒适度理论及设计方法[A];第七届全国现代结构工程学术研讨会论文集[C];2007年

10 郑竹;;楼板竖向振动舒适度理论及设计应用[A];庆祝刘锡良教授八十华诞暨第八届全国现代结构工程学术研讨会论文集[C];2008年

相关重要报纸文章 前10条

1 本报编辑部;在坚持中创新 在创新中发展[N];海南日报;2007年

2 IMSC工业品营销研究中心首席顾问 丁兴良;“吃喝关系去了，四度理论来了！”[N];机电商报;2007年

3 傅淞岩;小小树莓的“六度理论”[N];沈阳日报;2008年

4 工业品营销研究中心;数控机床营销的“四度理论”[N];机电商报;2006年

5 丁兴良;工业品营销的“四度理论”[N];黑龙江经济报;2007年

6 杜爽;在虚拟世界拓展现实的人际网络[N];中国经营报;2006年

7 傅淞岩;小小树莓连通世界[N];农民日报;2008年

8 袁文;Linkist悬赏寻找人脉[N];中国计算机报;2006年

9 杨龙海;州委政法委召开一季度理论中心组学习会[N];红河日报;2008年

10 赵放;联络家领跑SNS[N];国际商报;2005年

相关博士学位论文 前10条

1 曾宪忠;带扩散和交叉扩散的生态数学模型的研究[D];湖南师范大学;2006年

2 聂华;两类生物模型的共存态和渐近行为[D];陕西师范大学;2006年

3 王选庆;中国农地金融制度研究[D];西北农林科技大学;2004年

4 李建军;某些具有扩散和交错扩散的生态模型[D];吉林大学;2009年

5 王静;种群动力学行为与生物资源的最优开发策略[D];东北师范大学;2004年

6 郑波;离散Hamilton系统的周期解与边值问题[D];湖南大学;2008年

7 韩诚;R_0代数及Vague集的相似度理论[D];陕西师范大学;2006年

8 刘子梁;MoM-UTD混合方法和高阶矩量法关键技术研究及其在电磁问题中的应用[D];西安电子科技大学;2007年

9 梁瑞喜;脉冲微分系统解的存在性问题[D];湖南师范大学;2009年

10 黑力军;反应扩散生态系统研究[D];陕西师范大学;2004年

相关硕士学位论文 前10条

1 吴佳;动态模糊谓词逻辑关系学习算法及其应用研究[D];苏州大学;2011年

2 杨才惠;人民币汇率制度改革探析[D];中国海洋大学;2004年

3 张良;几类非线性生物模型的周期解[D];兰州理工大学;2007年

4 赵海坤;非线性微分方程周期解研究[D];南京信息工程大学;2007年

5 郭斌;多种群捕食与被捕食模型正解的存在性及其性质[D];吉林大学;2008年

6 张祖峰;具共振条件下多点边值问题解的存在性[D];华中科技大学;2007年

7 张龙;具可变时滞周期细胞神经网络系统周期解的存在性和全局渐近稳定性[D];新疆大学;2004年

8 李炳烁;言论自由的法理学研究[D];吉林大学;2004年

9 隋娟;满意度理论及其在区域教育研究中的应用[D];天津师范大学;2008年

10 院振军;两类食物网模型的共存态[D];陕西师范大学;2011年

，

本文编号：1628082