期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

布尔算子Fuzzy逻辑中的锁归结原理

下载PDF

导出

摘要本文将一阶逻辑中的锁归结方法和广义锁归结方法推广到布尔算子Ｆｕｚｚｙ逻辑中，并且证明了布尔算子Ｆｕｚｚｙ逻辑的锁归结方法和一种特殊的广义锁归结方法是广义完备的。

作者邓安生刘叙华

出处《软件学报》 EI CSCD 北大核心 1996年第A00期205-209,共5页 Journal of Software

关键词布尔算子 FUZZY逻辑锁归结数理逻辑

分类号 O141 [理学—基础数学]

引文网络
相关文献

1邓安生,张军.布尔算子Fuzzy逻辑公式的λ－恒假性[J].东北师大学报（自然科学版）,1995,27(2):28-30.
2邓安生.不确定性在推理过程中传播的行为特征[J].东北师大学报（自然科学版）,1997,29(3):7-9. 被引量：1
3李桂华,李志伟.Fuzzy蕴涵代数的t-范及其性质[J].模糊系统与数学,2004,18(z1):103-105.
4邓安生,关伟洲.布尔算子模糊逻辑中的广义半锁归结原理[J].东北师大学报（自然科学版）,2000,32(3):104-107. 被引量：2
5辛晓东.非线性序逻辑系统~2中的重言式[J].固原师专学报,2002,23(3):1-5.
6辛晓东,徐维军.若干重要逻辑蕴涵算子的性质与比较[J].固原师专学报,2001,22(3):6-10. 被引量：1
7邓安生.布尔算子模糊逻辑中的删除策略[J].东北师大学报（自然科学版）,1998(1):1-2. 被引量：1
8刘叙华,邓安生.Boole算子Fuzzy逻辑[J].中国科学（A辑）,1994,24(6):637-644. 被引量：5
9郑亚林.Fuzzy逻辑新进展[J].宝鸡文理学院学报（自然科学版）,2000,20(1):12-15.
10邵晓锋,徐卫卫,李龙星.试析常微分方程模型的归结方法[J].黄冈职业技术学院学报,2007,9(1):37-39. 被引量：1

软件学报

1996年第A00期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部