期刊文献+

具有三种否定的模糊命题逻辑形式系统FLCOM的λ-归结

λ-Resolution of Fuzzy Propositional Logic System with Three Kinds of Negation FLCOM
下载PDF
导出
摘要 考虑到模糊逻辑中定理自动证明的重要性以及目前主要研究具有一种否定的模糊逻辑的归结原理,文中对具有三种否定(矛盾否定、对立否定和中介否定)的模糊命题逻辑(FLCOM)的归结原理进行研究.基于FLCOM的一种无穷值语义解释提出λ-可满足的和λ-不可满足的概念.将λ-归结方法引入FLCOM,给出FLCOM的λ-归结演绎定义,讨论FLCOM的λ-归结原理,并证明FLCOM的λ-归结方法的完备性.基于λ-归结方法和已证明的结论给出实例以佐证文中λ-归结方法和结论的正确性和可行性.因此,在FLCOM范围内可判定任一模糊命题公式是否是λ-可满足的或λ-不可满足的. Since the importance of automated reasoning and the resolution principle of the fuzzy logic with one negation is mainly studied now, the resolution principle of the fuzzy proposition logic (FLCOM) with three kinds of negation, contradictory negation, opposite negation and medium negation, is discussed. Based on an infinite-valued semantic interpretation of FLCOM, λ-satisfiable and λ-unsatisfiable concepts are proposed, and λ-resolution method is introduced into FLCOM. Besides,λ-resolution deduction of FLCOM is defined and λ-resolution principle of FLco~ is discussed. Moreover, the completeness of λ-resolution method is proved. Based on A-resolution method and the proved conclusions, some examples providing evidences for the λ-resolution method and the conclusions are listed below the corresponding definitions and theorems. Therefore, whether a fuzzy propositional formula is λ-satisfiable or λ-unsatisfiable can be determined in the range of FLCOM.
机构地区 江南大学理学院
出处 《模式识别与人工智能》 EI CSCD 北大核心 2015年第3期202-208,共7页 Pattern Recognition and Artificial Intelligence
基金 国家自然科学基金项目(No.60973156 61375004) 中央高校基本科研业务费专项资金项目(No.JUSRP51317B)资助
关键词 模糊命题逻辑形式系统 语义解释 Λ-归结 完备性 Fuzzy Propositional Logic System, Semantic Interpretation, λ-Resolution Principle, Completeness
  • 相关文献

参考文献18

  • 1Robinson J A. A Machine-Oriented Logic Based on the Resolution Principle. Journal of the ACM, 1965, 12(1 ) : 23-41.
  • 2Slagle J R. Automatic Theorem Proving with Renamable and Seman- tic Resolution: Journal of the ACM, 1967, 14(4).
  • 3Lee R C T, Chang C L. Some Properties of Fuzzy Logic. Information and Control, 1971, 19(5) : 417-431.
  • 4Morgan C G. Resolution for Many-Valued Logics. Logique et Ana- lyse, 1976, 19(74/75/76): 311-3: 687-697 39.
  • 5刘叙华,孙吉贵.NC-RUE-NRF归结[J].软件学报,1995,6(2):65-68. 被引量:25
  • 6Liu X H, Xiao H. Operator Fuzzy Logic and Fuzzy Resolution// Proc of the 15th IEEE International Symposium on Multiple-Valued Logic. Kingston, Canada, 1985:68-75.
  • 7Yager R R. Inference in a Multivalued Logic System. International Journal of Man-Machine Studies, 1985, 23( 1 ) : 27-44.
  • 8刘叙华,肖红.算子Fuzzy逻辑和λ-归结方法[J].计算机学报,1989,12(2):81-91. 被引量:13
  • 9刘叙华,安直.算子Fuzzy逻辑及其归结推理的改进[J].计算机学报,1990,13(12):890-899. 被引量:14
  • 10朱梧掼,肖奚安.中介逻辑的谓词演算系统(I).南京大学学报:自然科学版,1988,24(4):583-598.

二级参考文献43

共引文献81

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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