基于在幂零极小逻辑NM(nilpotent minimun)命题逻辑系统中，通过将公式诱导的函数进行积分的方法提出了公式的积分真度概念，利用积分不变性证明了积分真度MP规则、HS规则；在NM命题逻辑系统的全体公式之集上引入了积分相似度和积分伪距离，并且证明了关于相似度和伪距离的一些性质；通过发散度以及直径的概念，提出了NM命题模糊逻辑中反映理论相容程度新的隶属函数，利用隶属函数给出了相容度的概念，证明了不相容理论的相容度为0,完全相容理论的相容度为1。
科研之友
微信
新浪微博
Facebook
分享链接
