MTL代数语义上逻辑公式的概率真度.pdfVIP

第２期 电 子 学 报 Ｖｏｌ．４３ Ｎｏ．２ 年 月 ２０１５ ２ ＡＣＴＡＥＬＥＣＴＲＯＮＩＣＡＳＩＮＩＣＡ Ｆｅｂ． ２０１５ ＭＴＬ代数语义上逻辑公式的概率真度 左卫兵 （华北水利水电大学数学与信息科学学院，河南郑州４５００４６） 摘 要： 基于 赋值理论，通过在 代数赋值格和全体公式集上分别建立概率测度，利用积分方法提出了 Ｌ ＭＴＬ 代数语义上公式的概率真度 证明了概率真度的 规则、 规则及交推理规则；同时引入公式间的概率相似度 ＭＴＬ ． ＭＰ ＨＳ 和伪距离，建立了概率逻辑度量空间 将计量逻辑学中的相关理论推广到基于 代数语义的格值逻辑上，使得在格 ． ＭＴＬ 值逻辑上进行程度化推理成为可能． 关键词： 代数； 赋值；概率真度；概率逻辑度量空间；程度化推理 ＭＴＬ Ｌ 中图分类号： ， 文献标识码： 文章编号： （ ） Ｏ１４１１ Ｏ１８９２ Ａ ０３７２２１１２２０１５０２０２９３０６ 电子学报 ： ： ： ＵＲＬ ｈｔｔｐ／／ｗｗｗ．ｅｊｏｕｒｎａｌ．ｏｒｇ．ｃｎ ＤＯＩ １０．３９６９／ｊ．ｉｓｓｎ．０３７２２１１２．２０１５．０２．０１４ ＰｒｏｂａｂｉｌｉｔｙＴｒｕｔｈＤｅｇｒｅｅｓｏｆＦｏｒｍｕｌａｓｉｎＭＴＬＡｌｇｅｂｒａｓＳｅｍａｎｔｉｃｓ ＺＵＯＷｅｉｂｉｎｇ （ ， ＣｏｌｌｅｇｅｏｆＭａｔｈｅｍａｔｉｃｓａｎｄＩｎｆｏｒｍａｔｉｏｎＳｃｉｅｎｃｅＮｏｒｔｈＣｈｉｎａＵｎｉｖｅｒｓｉｔｙｏｆ ， ， ， ） ＷａｔｅｒＲｅｓｏｕｒｃｅｓａｎｄＥｌｅｃｔｒｉｃＰｏｗｅｒＺｈｅｎｇｚｈｏｕＨｅｎａｎ４５００４６Ｃｈｉｎａ ： Ａｂｓｔｒａｃｔ ＢａｓｅｄｏｎＬｅｖａｌｕａｔｉｏｎｔｈｅｏｒｙａｎｄｂｙｄｅｆｉｎｉｎｇｐｒｏｂａｂｉｌｉｔｙｍｅａｓｕｒｅｉｎＭＴＬａｌｇｅｂｒａｅｖａｌｕａｔｉｏｎｌａｔｔｉｃｅａｎｄｓｅｔｏｆａｌｌ ， ｆｏｒｍｕｌａｓｒｅｓｐｅｃｔｉｖｅｌｙｔｈｅｃｏｎｃｅｐｔｏｆｐｒｏｂａｂｉｌｉｔｙｔｒｕｔｈｄｅｇｒｅｅｏｆｆｏｒｍｕｌａｓｉｎＭＴＬａｌｇｅｂｒａｓｓｅｍａｎｔｉｃｓｉｓｉｎｔｒｏｄｕｃｅｄｂｙｔｈｅｉｎｔｅｇｒａｌ ， ， ｍｅｔｈｏｄ．ＴｈｅＭＰｒｕｌｅＨＳｒｕｌｅａｎｄｍｅｅｔｉｎｆｅｒｅｎｃｅｒｕｌｅｓｏｆｐｒｏｂａｂｉｌｉｔｙｔｒｕｔｈｄｅｇｒｅｅａｒｅｐｒｏｖｅｄ．Ａｔｔｈｅｍｅａｎｔｉｍｅｔｈｅｃｏｎｃｅｐｔｏｆｐｒｏｂ ａｂｉｌｉｔｙｓｉｍｉｌａｒｉｔｙｄｅｇｒｅｅａｎｄｐｓｅｕｄｏｄｉｓｔａｎｃｅｓｂｅｔｗｅｅｎｆｏｒｍｕｌａｓａｒｅｉｎｔｒｏｄｕｃｅｄａｎｄｔｈｅｐｒｏｂａｂｉｌｉｔｙｌｏｇｉｃｍ