具有三种否定的模糊命题逻辑形式系统FLCOM的λ-归结 |
| |
引用本文: | 赵洁心,潘正华.具有三种否定的模糊命题逻辑形式系统FLCOM的λ-归结[J].模式识别与人工智能,2015(3):202-208. |
| |
作者姓名: | 赵洁心 潘正华 |
| |
作者单位: | 江南大学理学院 |
| |
基金项目: | 国家自然科学基金项目(No.60973156,61375004);中央高校基本科研业务费专项资金项目(No.JUSRP51317B)资助 |
| |
摘 要: | 考虑到模糊逻辑中定理自动证明的重要性以及目前主要研究具有一种否定的模糊逻辑的归结原理,文中对具有三种否定(矛盾否定、对立否定和中介否定)的模糊命题逻辑(FLCOM)的归结原理进行研究.基于FLCOM的一种无穷值语义解释提出λ-可满足的和λ-不可满足的概念.将λ-归结方法引入FLCOM,给出FLCOM的λ-归结演绎定义,讨论FLCOM的λ-归结原理,并证明FLCOM的λ-归结方法的完备性.基于λ-归结方法和已证明的结论给出实例以佐证文中λ-归结方法和结论的正确性和可行性.因此,在FLCOM范围内可判定任一模糊命题公式是否是λ-可满足的或λ-不可满足的.
|
关 键 词: | 模糊命题逻辑形式系统 语义解释 λ-归结 完备性 |
本文献已被 CNKI 等数据库收录! |
|