本文的研究来源于河南省自然科学基金项目(NO.0611053900)“区间逻辑的柔性化理论研究”和河南省重点科技攻关项目(NO.09210221014......

本文给出了区间值模糊命题逻辑公式的概率(-α)-真度的定义,并对它的性质进行了系统的研究,使用这种概率真度可获得与王国俊教授n......

归结原理是定理自动证明的重要工具.PI证明是谓词逻辑归结证明的一种重要类型，本文给出了一种新的PI推理的定义，并且对PI归结的......

模糊推理的中心课题是以下形式的FMP和FMT问题：(FMP问题)已知A→B且给定A*/求B*(1)(FMT问题)已知A→B且给定B*/求A*(2)这里A,A*是X......

近年来，模糊控制技术在应用方面取得了举世瞩目的成功.然而，作为其核心的模糊推理在数学基础上却并未无懈可击.所以，以研究模糊推理的......

在数理逻辑中，一个逻辑公式有真和假之分.它主要是从语构和语义的角度来判断逻辑公式的真与假，并通过完备性将它们的推理统一起来.但......

本文从语构理论入手，在经典二值命题逻辑系统中给出公式的语构真度的概念，从两个不同的角度给出语构真度的等价刻画．给出语构真度的实......