期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

算子动态模糊逻辑系统及其归结研究 被引量：1

Research on Operator Dynamic Fuzzy Logic System and Its Resolution
下载PDF
导出
摘要 主要讨论了一种只包含动态模糊算子和动态模糊文字的算子动态模糊逻辑系统,介绍了该系统的逻辑性质,在系统中定义了其λ-归结。 This paper mainly discusses an operator dynamic fuzzy logic system with dynamic fuzzy operator and dynamic fuzzy literals,puts forward some logic properties about it,then its λ-resolution is proposed.
作者 冯钢 刘升贵
机构地区 淮安信息职业技术学院
出处 《计算机与现代化》 2009年第12期14-17,共4页 Computer and Modernization
关键词 算子 动态模糊逻辑 Λ-归结 operator dynamic fuzzy logic λ-resolution
分类号 TP301.6 [自动化与计算机技术—计算机系统结构]
  • 相关文献

参考文献10

二级参考文献47

共引文献22

同被引文献9

  • 1Wang Wei, Xu Yang, Wang Xuefang.a-automated reasoning method based on lattice-valued propositional logic LP(X)[J].Joumal of Southwest Jiaotong University, 2002,10( 1 ) : 98-111.
  • 2Wang Wei,J Baoqing,Xu Yang.a-automated reasoning method based onLP(X)[C]//FLINS 2004, 6th International Conference on Applied Computational Intelligence.Bankenberghe:World Scientific Press,2004: 105-110.
  • 3Meng Dan, Wang Xuefang,Xu Yang, et al.Resolution based on six lattice-valued proposition logic L6P(X)[C]//IEEE International Conference on Systems,Man & Cybernetics,2003:2489-2494.
  • 4Li Haiming, Qiu Kiaoping, Xu Yang.An automated reasoning method based on path searching[C]//Proceedings of the Sixth International Conference for Young Computer Scientist, 2001 : 318-321.
  • 5吴霞.基于扩展规则的定理证明研究[D].长春:吉林大学,2006.
  • 6Xu Yang, Ruan Da, Qin Keyun, et al.Lattice-valued Logic: An alternative approach to treat fuzziness and incomparability[M].Berlin: Springer-Verlag, 2003.
  • 7Xu Yang, Ruan Da, Etienne E K, et al.a-resolution principle based on first-order lattice-valued logic LF(X)[J].Information Science, 2001,132 : 221-239.
  • 8罗慧敏.基于消点法的几何自动推理系统实现[J].计算机应用,2008,28(11):2984-2986. 被引量：5
  • 9郭远华,曾振柄.一阶子句搜索方法[J].计算机应用,2009,29(11):3064-3067. 被引量：1

引证文献1

二级引证文献1

计算机与现代化
2009年 第12期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部