Boole语义的程度化方法.pdfVIP

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