收藏本站
《中国科学(A辑 数学 物理学 天文学 技术科学)》 1987年11期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

在算子Fuzzy逻辑中带有相等关系的Fuzzy推理

刘叙华  
【摘要】:本文提出了处理带有相等谓词的子句集的λ-Paramodulation方法.使得在Fuzzy推理过程中可以做Fuzzy等量替换.本文证明了:λ-Paramodulation与λ-锁语义归结方法相结合是完备的.
【作者单位】吉林大学计算机科学系

【引证文献】
中国期刊全文数据库 前10条
1 邓安生,张军;布尔算子Fuzzy逻辑公式的λ-恒假性[J];东北师大学报(自然科学版);1995年02期
2 刘叙华,邓安生;Boole算子Fuzzy逻辑[J];中国科学(A辑 数学 物理学 天文学 技术科学);1994年06期
3 刘叙华,肖红;算子Fuzzy逻辑和λ-归结方法[J];计算机学报;1989年02期
4 刘叙华,安直;算子Fuzzy逻辑及其归结推理的改进[J];计算机学报;1990年12期
5 吴茂康;关于Fuzzy推理式的可信度估计[J];计算机学报;1993年02期
6 刘清,郑非,江娟,刘斓;带Rough相等关系词的Rough逻辑系统及其推理[J];计算机学报;2003年01期
7 刘叙华,杨玉普;LINEAR SEMI-LOCK RESOLUTION[J];Chinese Science Bulletin;1991年09期
8 刘叙华,杨玉普;线性半锁归结方法[J];科学通报;1990年18期
9 刘叙华;算子Fuzzy逻辑中的λ—蕴涵和λ—强蕴涵[J];软件学报;1990年01期
10 刘叙华;三种归结原理间的相容性问题[J];软件学报;1992年02期
中国博士学位论文全文数据库 前1条
1 俞峰;基于直觉区间值模糊理论的近似推理与多属性决策研究[D];南京理工大学;2008年
【同被引文献】
中国期刊全文数据库 前10条
1 徐泽水;;区间直觉模糊集相似性测度及其在模式识别中的应用(英文)[J];Journal of Southeast University;2007年01期
2 张然,刘扬,谢砚青,张江,贺仲雄;Vague集Vague图及其在ITS物流中的应用[J];中国工程科学;2004年08期
3 徐泽水,达庆利;区间数的排序方法研究[J];系统工程;2001年06期
4 樊治平,胡国奋;区间数多属性决策的一种目标规划方法[J];管理工程学报;2000年04期
5 刘叙华,邓安生;Boole算子Fuzzy逻辑[J];中国科学(A辑 数学 物理学 天文学 技术科学);1994年06期
6 邓安生,刘叙华;Boole算子Fuzzy逻辑中推理的形式结构[J];中国科学(A辑 数学 物理学 天文学 技术科学);1995年07期
7 王国俊,傅丽,宋建社;二值命题逻辑中命题的真度理论[J];中国科学(A辑);2001年11期
8 徐泽水,孙在东;一类不确定型多属性决策问题的排序方法[J];管理科学学报;2002年03期
9 程晓春,姜云飞,刘叙华;基于辩论语义的算子模糊逻辑[J];中国科学E辑:技术科学;1996年01期
10 王国俊;修正的Kleene系统中的Σ-(α-重言式)理论[J];中国科学E辑:技术科学;1998年02期
中国博士学位论文全文数据库 前3条
1 刘华文;直觉模糊与区间值模糊环境下的多准则决策与推理算法[D];山东大学;2005年
2 雷英杰;基于直觉模糊推理的态势与威胁评估研究[D];西安电子科技大学;2005年
3 林琳;直觉模糊集在近似推理与决策中的应用[D];大连理工大学;2006年
【二级引证文献】
中国期刊全文数据库 前10条
1 邓安生;;Fuzzy算子运算的一种新语义解释[J];东北师大学报(自然科学版);1993年01期
2 邓安生;不确定性在推理过程中传播的行为特征[J];东北师大学报(自然科学版);1997年03期
3 邓安生,孙铁利;形式布尔算子的命题逻辑[J];东北师大学报(自然科学版);2000年03期
4 邓安生,关伟洲;布尔算子模糊逻辑中的广义半锁归结原理[J];东北师大学报(自然科学版);2000年03期
5 邓安生,张军;布尔算子Fuzzy逻辑公式的λ-恒假性[J];东北师大学报(自然科学版);1995年02期
6 邓安生;布尔算子模糊逻辑中的删除策略[J];东北师大学报(自然科学版);1998年01期
7 邓安生,赵宏亮;多项式意义下模糊算子运算定义的唯一性[J];东北师大学报(自然科学版);1998年03期
8 南风露;曹坤;;粒计算理论及其应用[J];福建电脑;2007年07期
9 张家锋;徐扬;何星星;;格值命题逻辑系统LP(X)的语义归结方法[J];辽宁工程技术大学学报(自然科学版);2011年04期
10 刘叙华,邓安生;Boole算子Fuzzy逻辑[J];中国科学(A辑 数学 物理学 天文学 技术科学);1994年06期
中国重要会议论文全文数据库 前1条
1 于津;刘叙华;;基于不确定、不精确知识的推理系统-UKRS[A];1996年中国智能自动化学术会议论文集(上册)[C];1996年
中国博士学位论文全文数据库 前10条
1 徐红林;基因调控网络的建模及其结构分解方法研究[D];江南大学;2010年
2 许有军;基于扩展规则的若干SAT问题研究[D];吉林大学;2011年
3 陈子春;集值信息系统的知识发现与属性约简研究[D];西南交通大学;2011年
4 马骏;基于格蕴涵代数的格值逻辑系统及其自动推理的研究[D];西南交通大学;2002年
5 斐峥;基于神经网络的自动推理理论及方法的研究[D];西南交通大学;2002年
6 李文江;基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究[D];西南交通大学;2002年
7 李海明;关于格值逻辑及自动推理的研究[D];西南交通大学;2003年
8 赵婷婷;基于直觉启发和改进遗传算法的形状概念设计[D];大连理工大学;2006年
9 杜亚军;搜索引擎智能行为的研究及实现[D];西南交通大学;2005年
10 刘少辉;知识发现中粗糙集理论的研究[D];中国科学院研究生院(计算技术研究所);2003年
中国硕士学位论文全文数据库 前10条
1 刘琪;正态云模型模糊推理系统及其应用研究[D];郑州大学;2010年
2 吴瑕;布尔算子模糊逻辑中的调解法[D];东北师范大学;2002年
3 刘银山;粗糙集理论及其在关系数据库中的若干问题研究[D];国防科学技术大学;2005年
4 陈丽燕;集对分析和粗糙集理论在水文水资源中的应用研究[D];东北农业大学;2008年
5 户兴磊;粗糙关系数据库的粗糙数据查询研究[D];山东大学;2008年
6 金玉;信念算子运算的语义解释研究[D];大连海事大学;2009年
7 吴贤维;基于粗集的规则获取算法及覆盖粗集模型研究[D];五邑大学;2009年
8 栾爽;基于粗糙集理论的唐家山堰塞湖泄洪问题建模与分析[D];大连交通大学;2010年
9 王瑞;算子逻辑中公式恒真水平模型的生成算法研究[D];大连海事大学;2010年
10 王雯;SDG非相容故障决策表的粒计算约简方法及其应用[D];太原理工大学;2010年
【相似文献】
中国期刊全文数据库 前10条
1 王士铁;Horn集上的HOI消解与HOL消解[J];厦门大学学报(自然科学版);1981年03期
2 刘叙华;使用约化的锁语义归结原理[J];电子学报;1983年02期
3 梁应仙;数理逻辑在排队论中的应用[J];沈阳航空工业学院学报;2003年03期
4 蔡经球;负超有序消解原理[J];厦门大学学报(自然科学版);1981年03期
5 刘叙华;一种新的语义归结原理——IDI-归结[J];吉林大学学报(理学版);1978年02期
6 刘叙华;3型IDI-归结原理[J];吉林大学学报(理学版);1979年01期
7 余丰人,丘海明;一个SAT问题有解的充要条件[J];中山大学学报(自然科学版);2004年02期
8 张美华;李海;;详析SQL语言的WHERE子句与HAVING子句[J];怀化学院学报(自然科学);2008年03期
9 王美华;基于变元加权的一种求解SAT问题的新方法[J];计算机工程与应用;2004年04期
10 张晨曦,慈云桂;编译型Prolog系统中非逻辑成分执行机制的研究[J];中国科学A辑;1988年12期
中国重要会议论文全文数据库 前10条
1 赵英阳;许道云;;NT-HIT(k)公式的存在性[A];2005年全国理论计算机科学学术年会论文集[C];2005年
2 蒋志华;姜云飞;;一种构造Prolog程序子句本体的方法(英文)[A];全国语域web与本体能研讨会论文集[C];2006年
3 文卫平;;英汉驴子句的差异[A];中国英汉语比较研究会第八次全国学术研讨会论文摘要汇编[C];2008年
4 魏振春;汪国胜;毕翔;刘小平;;规则化描述方法中的规则化简方法[A];全国第20届计算机技术与应用学术会议(CACIS·2009)暨全国第1届安全关键技术与应用学术会议论文集(上册)[C];2009年
5 邵明;李光辉;李晓维;;提取极小布尔不可满足子式[A];全国第13届计算机辅助设计与图形学(CAD/CG)学术会议论文集[C];2004年
6 李桂华;李志伟;;Fuzzy蕴涵代数的t-范及其性质[A];第12届全国模糊系统与模糊数学学术年会论文集[C];2004年
7 刘新;;10FL中(μ,ν)-归结原理的完备性[A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集[C];2000年
8 林锐平;;提高学生列方程解应用题的能力要过好四关[A];全国教育科研“十五”成果论文集(第二卷)[C];2005年
9 廖加彬;林世平;;基于聚类的中文浅层语义模式识别[A];中国电子学会第十五届信息论学术年会暨第一届全国网络编码学术年会论文集(下册)[C];2008年
10 余立权;王德隆;;如何引导学生利用已有的数学认知结构去掌握新的知识——初中一年级代数“一元一次不等式”教学研究[A];中国心理学会第三次会员代表大会及建会60周年学术会议(全国第四届心理学学术会议)文摘选集(上)[C];1981年
中国重要报纸全文数据库 前10条
1 贵州 王伟;用ORDER BY子句排序[N];电脑报;2004年
2 贵州 王伟;用GROUPBY子句分组[N];电脑报;2004年
3 邓美逸;浅谈如何找数量间的相等关系列方程[N];黔西南日报;2010年
4 邱晓理;Oracle数据库系统性能优化策略[N];计算机世界;2006年
5 河南 张华贵;数据库中参数化查询的实现[N];电脑报;2001年
6 山东 任立群;深挖SQL语句潜力查询效率自然高[N];电脑报;2004年
7 王珂;你想的才是你要的[N];中国电脑教育报;2002年
8 ;检阅DB2 Viper[N];计算机世界;2006年
9 逍遥;用SQL实现树的查询[N];计算机世界;2002年
10 ;实例破解Flash[N];电脑报;2001年
中国博士学位论文全文数据库 前10条
1 许有军;基于扩展规则的若干SAT问题研究[D];吉林大学;2011年
2 张立明;结合可满足的基于模型等价性验证及不一致诊断问题研究[D];吉林大学;2012年
3 王秀芹;基于SAT的数字电路形式验证方法研究[D];哈尔滨工程大学;2009年
4 刘全;基于tableau的自动推理研究[D];吉林大学;2004年
5 石振国;资源网络的精化学习及应用研究[D];上海大学;2011年
6 于鹏;统计关系模型学习方法的研究[D];吉林大学;2008年
7 古华茂;描述逻辑概念可满足性推理研究[D];浙江大学;2009年
8 周俊萍;自动推理与规划问题最小上界和相变规律研究[D];吉林大学;2011年
9 许中卫;基于双向搜索的ILP算法构建汉语语义自动切分系统[D];安徽大学;2006年
10 刘刚;面向领域的软件需求一致性验证方法研究[D];哈尔滨工程大学;2008年
中国硕士学位论文全文数据库 前10条
1 霍翔;SMT求解器增强技术的研究[D];北京交通大学;2011年
2 傅阳春;基于2-SAT求解器的SAT算法研究[D];华南理工大学;2010年
3 冯陆;子句型信念集静态非修正处理方法的优化研究[D];大连海事大学;2012年
4 杜巧霞;子句主语的英汉对比研究[D];湖南大学;2012年
5 赵英阳;NT-HIT公式的存在性[D];贵州大学;2006年
6 王迪海;一类SAT Benchmark的算法研究及其应用[D];电子科技大学;2010年
7 黄冲;组合优化中的命题逻辑[D];华中科技大学;2011年
8 黄劲楠;可满足性问题算法研究-CNF的简化[D];复旦大学;2008年
9 陈世杰;组合电路等价验证预处理算法研究[D];复旦大学;2008年
10 任彦斌;满足性算法在形式化验证中的应用研究及实现[D];兰州大学;2007年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026