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

摘要：

考虑到模糊逻辑中定理自动证明的重要性以及目前主要研究具有一种否定的模糊逻辑的归结原理,文中对具有三种否定(矛盾否定、对立否定和中介否定)的模糊命题逻辑( FLCOM)的归结原理进行研究。基于FLCOM的一种无穷值语义解释提出λ-可满足的和λ-不可满足的概念。将λ-归结方法引入FLCOM,给出FLCOM的λ-归结演绎定义,讨论FLCOM的λ-归结原理,并证明FLCOM的λ-归结方法的完备性。基于λ-归结方法和已证明的结论给出实例以佐证文中λ-归结方法和结论的正确性和可行性。因此,在FLCOM范围内可判定任一模糊命题公式是否是λ-可满足的或λ-不可满足的。

关键词：模糊命题逻辑形式系统、语义解释、λ-归结、完备性

分类号：O159(代数、数论、组合理论)

资助基金：国家自然科学基金项目60973156,61375004;中央高校基本科研业务费专项资金项目JUSRP51317B

在线出版日期：2015-04-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：202-208