模式识别与人工智能
2025年4月7日 星期一   首 页     期刊简介     编委会     投稿指南     伦理声明     联系我们                                                                English
模式识别与人工智能  2015, Vol. 28 Issue (3): 202-208    DOI: 10.16451/j.cnki.issn1003-6059.201503002
论文与报告 最新目录| 下期目录| 过刊浏览| 高级检索 |
具有三种否定的模糊命题逻辑形式系统FLCOM的λ-归结*
赵洁心,潘正华
江南大学 理学院 无锡 214122
λ-Resolution of Fuzzy Propositional Logic System with Three Kinds of Negation FLCOM
ZHAO Jie-Xin, PAN Zheng-Hua
School of Science, Jiangnan University, Wuxi 214122

全文: PDF (365 KB)   HTML (1 KB) 
输出: BibTeX | EndNote (RIS)      
摘要 考虑到模糊逻辑中定理自动证明的重要性以及目前主要研究具有一种否定的模糊逻辑的归结原理,文中对具有三种否定(矛盾否定、对立否定和中介否定)的模糊命题逻辑(FLCOM)的归结原理进行研究.基于FLCOM的一种无穷值语义解释提出λ-可满足的和λ-不可满足的概念.将λ-归结方法引入FLCOM,给出FLCOM的λ-归结演绎定义,讨论FLCOM的λ-归结原理,并证明FLCOM的λ-归结方法的完备性.基于λ-归结方法和已证明的结论给出实例以佐证文中λ-归结方法和结论的正确性和可行性.因此,在FLCOM范围内可判定任一模糊命题公式是否是λ-可满足的或λ-不可满足的.
服务
把本文推荐给朋友
加入我的书架
加入引用管理器
E-mail Alert
RSS
作者相关文章
赵洁心
潘正华
关键词 模糊命题逻辑形式系统语义解释λ-归结完备性    
Abstract: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 FLCOM is discussed. Moreover, the completeness of λ-resolution method is proved. Based on λ-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.
Key wordsFuzzy Propositional Logic System    Semantic Interpretation    λ-Resolution Principle   
Completeness
  
收稿日期: 2013-12-26     
ZTFLH: O159  
基金资助:国家自然科学基金项目(No.60973156,61375004)、中央高校基本科研业务费专项资金项目(No.JUSRP51317B)资助
作者简介: 赵洁心,女,1989年生,硕士研究生,主要研究方向为非经典逻辑理论及模糊信息的知识表示与推理.E-mail:ZHAOJX_JIANGNAN@126.com.潘正华(通讯作者),男,1957年生,教授,硕士生导师,主要研究方向为非经典逻辑理论及模糊信息的知识表示与推理.E-mail:Pan_zhenghua@163.com.
引用本文:   
赵洁心,潘正华. 具有三种否定的模糊命题逻辑形式系统FLCOM的λ-归结*[J]. 模式识别与人工智能, 2015, 28(3): 202-208. ZHAO Jie-Xin, PAN Zheng-Hua. λ-Resolution of Fuzzy Propositional Logic System with Three Kinds of Negation FLCOM. , 2015, 28(3): 202-208.
链接本文:  
http://manu46.magtech.com.cn/Jweb_prai/CN/10.16451/j.cnki.issn1003-6059.201503002      或     http://manu46.magtech.com.cn/Jweb_prai/CN/Y2015/V28/I3/202
版权所有 © 《模式识别与人工智能》编辑部
地址:安微省合肥市蜀山湖路350号 电话:0551-65591176 传真:0551-65591176 Email:bjb@iim.ac.cn
本系统由北京玛格泰克科技发展有限公司设计开发 技术支持:support@magtech.com.cn