模糊Horn子句逻辑形式系统

简要回顾逻辑推理的发展历史,指出了经典数理逻辑中存在的一些问题。作者为每个传统的Horn子句赋予一个蕴涵强度f∈(0,1],从而得到模糊Horn子句及其Herbrand解释。进而,对传统Horn子句逻辑的语法和语义进行了拓展,建立了一个基于模糊Horn子句有限集合的逻辑推理系统,并证明了该系统的正确性和完备性。

模糊Horn子句规则挖掘算法研究

模糊关联规则可以用自然语言来表达人类知识,受到数据挖掘与知识发现研究人员的广泛关注。但是,目前大多数模糊关联规则挖掘方法仍然基于经典关联规则的支持度和可信度测度。从模糊蕴涵的观点出发,定义了模糊Horn子句规则、支持度、蕴涵强度以及相关概念,提出了模糊Horn子句规则挖掘算法。该算法可以分解为3个步骤。首先,将定量数据库转换为模糊数据库。其次,挖掘模糊数据库中所有支持度不小于指定最小支持度阈值的频繁项目集。一旦得到了所有频繁项目集,就可以用一种直接的方法生成所有蕴涵强度不小于指定最小蕴涵强度阈值的模糊Horn子句规则。