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

来源 :模式识别与人工智能 | 被引量 : 0次 | 上传用户：bj20089

【摘要】

：

考虑到模糊逻辑中定理自动证明的重要性以及目前主要研究具有一种否定的模糊逻辑的归结原理，文中对具有三种否定（矛盾否定、对立否定和中介否定）的模糊命题逻辑（FLCOM）的归结原理

【作者】

：

赵洁心潘正华

【机构】

：

江南大学理学院

【出处】

：

模式识别与人工智能

【发表日期】

：

2015年3期

【关键词】

：

模糊命题逻辑形式系统语义解释 Λ-归结完备性 Fuzzy Propositional Logic System Semantic Interpretati

【基金项目】

：

国家自然科学基金项目（No.60973156,61375004）、中央高校基本科研业务费专项资金项目（No.JUSRP51317B）资助

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

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

其他文献

当前新书阅读的走势特征与分析

本文从上海图书馆"当月新书展示厅"新书的阅读调查基础上,分析新书的阅读走势和特征.反映了当今社会阅读的热点变化和新书阅读的规律.

期刊

新书阅读阅读走势阅读特征阅读分析

不协调序决策系统的协调修正算法

首先提出不协调度的概念用于度量序决策系统的不协调程度，进而利用决策属性的决策信息熵和不协调度作为启发式信息，提出不协调序决策系统的协调修正算法.以决策信息熵作为第一

期刊

序决策系统优势关系协调修正算法决策信息熵不协调度Ordered Decision SystemDominance RelationConsiste

不协调多粒度标记决策系统最优粒度的对比

针对具有多粒度标记的不协调决策系统的知识表示和知识获取问题展开研究．首先，介绍多粒度标记信息系统的概念，在多粒度标记信息系统中定义不可分辨关系．然后，给出由不同粒度层面下

期刊