(3n+1)值逻辑系统R0L中公式的真度性质.pdfVIP

第 期 电 子 学 报 １０ Ｖｏｌ．３９ Ｎｏ．１０ 年 月 ２０１１ １０ ＡＣＴＡＥＬＥＣＴＲＯＮＩＣＡＳＩＮＩＣＡ Ｏｃｔ． ２０１１ ２２３０ （ ）值逻辑系统 中公式的真度性质 ３ｎ＋１ Ｒ ０ 吴洪博，周建仁，张 琼 （陕西师范大学数学与信息科学学院，陕西西安 ７１００６２） 摘 要： 基于计量逻辑学的思想，在（ ）值模糊命题逻辑系统 中引入了公式真度的概念，研究了其主 ３ｎ＋１ Ｒ ０ 要性质；给出了公式真度的积分表示，并证明了（ ）值逻辑系统 中的真度 规则及真度 规则；利用真度 ３ｎ＋１ Ｒ ＭＰ ＨＳ ０ 定义了公式间的相似度与伪距离，从而为在（ ）值逻辑系统 中建立近似推理理论提供了一种可能的框架 ３ｎ＋１ Ｒ ． ０ 关键词： 计量逻辑学； 系统；真度；相似度；伪距离 Ｒ ０ 中图分类号： 文献标识码： 文章编号： （ ） Ｏ１４１１ Ａ ０３７２２１１２２０１１１０２２３００５ （ ） ＴｈｅＰｒｏｐｅｒｔｉｅｓｏｆＴｒｕｔｈＤｅｇｒｅｅｓｏｆＦｏｒｍｕｌａｓｉｎ ３ｎ＋１Ｖａｌｕｅｄ ＬｏｇｉｃＳｙｓｔｅｍＲ ０ ， ， ＷＵＨｏｎｇｂｏＺＨＯＵＪｉａｎｒｅｎＺＨＡＮＧＱｉｏｎｇ （ ， ， ’ ， ， ） ＣｏｌｌｅｇｅｏｆＭａｔｈｅｍａｔｉｃｓａｎｄＩｎｆｏｒｍａｔｉｏｎＳｃｉｅｎｃｅＳｈａｎｘｉＮｏｒｍａｌＵｎｉｖｅｒｓｉｔｙＸｉａｎＳｈａａｘｉ７１００６２Ｃｈｉｎａ ： ， （ ） Ａｂｓｔｒａｃｔ Ｂａｓｅｄｏｎｔｈｅｉｄｅａｏｆｑｕａｎｔｉｔａｔｉｖｅｌｏｇｉｃｔｈｅｄｅｆｉｎｉｔｉｏｎｏｆｔｈｅｔｒｕｔｈｄｅｇｒｅｅｓｏｆｆｏｒｍｕｌａｓｉｓｐｒｏｐｏｓｅｄｉｎ３ｎ＋１ｖａｌ ， ｕｅｄｐｒｏｐｏｓｉｔｉｏｎａｌｌｏｇｉｃｓｙｓｔｅｍＲａｎｄｉｔｓｍａｉｎｐｒｏｐｅｒｔｉｅｓａｒｅｄｉｓｃｕｓｓｅｄ．Ｔｈｅｉｎｔｅｇｒａｌｒｅｐｒｅｓｅｎｔａｔ