公式真度相关论文
众所周知，数理逻辑是以符号化为特点的形式化理论，它注重形式推理而不重视数值计算，与此相反，数值计算的目的则在于借助各种手段，采用插......
众所周知，数理逻辑的特点在于形式化和符号化，无论是二值逻辑还是多值逻辑，都注重形式推理，而较少关心数值计算。2001年王国俊教授基于......
在软件学中，基于二值逻辑演算理论去求解一个公式集合关于事实集合的所有极大相容子集（即极大缩减）是信念修正理论中的一个核心问题.......
在二值逻辑系统中基于真度理论讨论了三Ⅰ推理机制的意义,求出了真度理论下的多重广义MP问题的三Ⅰ解,证明了该解与其形式解是等价......
在二值逻辑系统中基于真度理论讨论了三I推理机制的意义，求出了真度理论下的多重广义MP问题的三I解，证明了该解与其形式解是等价的解......
基于经典逻辑系统中的计量逻辑学，探讨了计量逻辑学中的形式化推理问题。结果表明，在注重数值计算的计量逻辑学中同样存在类似于语构......
基于经典命题逻辑的真度理论，讨论了经典命题逻辑系统当中公式集的约简问题。提出了真度约简及一真度约简的概念，为公式集的约简提供......
基于真度理论讨论了三I推理机制在真度理论下的意义，求出了真度理论下的广义MP问题的三I解，证明了该解与其形式解是等价的解，并推广得......
近年来,模糊控制技术在应用方面取得了举世瞩目的成功。然而,作为其核心的模糊推理在数学基础上却并未无懈可击。所以,以研究模糊......
