%0 Journal Article
%T (3n+1)值逻辑系统R0L中公式的真度性质
%A 吴洪博
%A 周建仁
%A 张琼
%J 电子学报
%P 2230-2234
%D 2011
%X 基于计量逻辑学的思想,在(3n+1)值模糊命题逻辑系统R0L中引入了公式真度的概念,研究了其主要性质;给出了公式真度的积分表示,并证明了(3n+1)值逻辑系统R0L中的真度MP规则及真度HS规则;利用真度定义了公式间的相似度与伪距离,从而为在(3n+1)值逻辑系统R0L中建立近似推理理论提供了一种可能的框架.
%K 计量逻辑学
%K R0？
%K 系统
%K 真度
%K 相似度
%K 伪距离
%U http://www.ejournal.org.cn/CN/abstract/abstract5356.shtml