Boole语义的程度化方法 Graded Method of Boolean Semantics.pdfVIP

第3期 电 子 学 报 vd．40№．3 加12年3月 AC队ⅡEcI胃ONICASIMCA M盯．∞12 Boole语义的程度化方法 左卫兵 (华北水利水电学院数学与信息科学学院，河南郑州45IDD46) 摘要：基于B赋值理论，通过在B00Je赋值格和全体公式集上分别建立概率测度，利用积分方法提出了B酬e语 义上公式的出概率真度．进而在B00Ie语义上建立了概率逻辑度量空间，将计量逻辑学中近似推理方法推广到B001e语义 上，完善了Boole语义的程度化方法． 关键词：B砌e语义；赋值；概率真度；概率逻辑度量空间；近似推理 中图分类号： 0141．1 文献标识码： A 文章编号：略珐2112(2012)0叫)441．07 电子学报URL：b肚p：／／www．ej锄1日1．Ⅲg．cnn嗍：lO．39回／j．i咖．嘶2．2112．2012．∞．0晒 zUO W办biIlg (n珊删矿胁柏础∞d删抽柏‰，，‰h‰施豳恤旷‰∥白w州刹 毋幽越哪电Po‘日，刀l吼咖∞，胁4卯046，踟酊) AtIs嘣： B00l∞ne、，alu撕∞la蚯ceand瞄0fall妇删n∞瞎一 Based∞valu撕哪a11d坶de丘niIIg阳缸蝴蚵珊xI双聪in establishedifI b嘲删t0 logic枞l翰vc lo出腿味辫is B00l啪础，妇印p础蛐0fq啪ti锄ve Bod蹦l辩m枷csis BD0l啪鬻m枷cs，吐℃粤潮I眦k日of iII甲删． Key wD陆：B(d锄她，曲髓；B砌嘶∞；肛印出abil时trI曲d99n∞；印两dbil埘lo窖kr∞dc印a∞；印印谢m啦麒瑚血喀 系统和￡。系统等价，Ⅱ帆逻辑系统和聪系统等价，等 1引言 等． 经典命题逻辑的语义理论是以{0，1}为赋值域的语 我们知道，经典逻辑、多值逻辑和模糊逻辑系统的 ^ 赋值域均是线性格即链，链中任何元素均可比较大小(在 义理论…，将赋值域扩充为{o，—l_，…，卫等，l}后可建 偏序意义下)，这样的逻辑系统自然有其优越性，但也表 立包括l止asie埘cz逻辑、G6dd逻辑和乘积逻辑等在内的 现出与现实中赋值存在不可比较性相悖的缺点．事实上， 多种，I值逻辑的语义理论拉J，将赋值域扩充为单位区间 以格为赋值集的逻辑系统早已有之【8J，文献[9，10]研究 [O，1]就可得出各种类型的模糊逻辑，如：1995年渤IlIe 了基于格蕴涵代数的格值逻辑上的推理理论．另一方面， 在文献[3]中基于一类剩余格提出了ML(M伽oidalL硒c)； 关于逻辑推理的程度化方法也被提出．19r79年Pa、re№在 1998年H61jek在文献[4]中基于连续三角模和它们的剩 他的系列文章ulJ中对几乎所有的概念进行了程度化研 余提出了基