论文部分内容阅读
基于计量逻辑学的思想,在（3n＋1）值模糊命题逻辑系统R0L中引入了公式真度的概念,研究了其主要性质;给出了公式真度的积分表示,并证明了（3n＋1）值逻辑系统R0L中的真度MP规则及真度HS规则;利用真度定义了公式间的相似度与伪距离,从而为在（3n＋1）值逻辑系统R0L中建立近似推理理论提供了一种可能的框架.