n值SMTL命题逻辑系统中公式真度的统一理论.pdfVIP

第8期 电 子 学 报 VOI．39No．8 加11年8月 AC】哺Ⅱ正cIRONICASINICA A鸣．20ll 值S—M仡命题逻辑系统中公式真度的统一理论 李骏，邓富喜 (兰州理工大学理学院，甘肃兰州730050) 摘要： 给出了强正则蕴涵算子和n值孓胴亿命题逻辑系统的定义．基于一般的概率测度定义了公式的真度， 并给出了公式真度的积分表达式；基于公式真度的积分表达式证明了真度推理规则；在n值S．MⅡ，命题逻辑系统的 全体公式集上引入了一种伪距离，证明了逻辑运算关于这种伪距离是连续的．提出了一种近似推理机制，使得在乃值 SJlf死命题逻辑系统中展开近似推理成为可能． 关键词： 真度；强正则蕴涵算子；n值§胴见命题逻辑系统；伪距离 中图分类号： 0142 文献标识码： A 文章编号： ∞72-2112(2011)08-1864．05 Unmed Trmh Logic Theo哆ofDegrees U Fu-】d JIlII，DENG (洲矿白掰，肠，妇‘曲面％盼矿乃幽l蛔，厶棚，‰730050，‰) Ab鲫旧ct： sy咖粥imo- 1he咖cept0f螂嘲妇呻啦谢∞0pe船10r柚d她n-valllcdS舰嘲删蛔c 枷．BaSed∞prI)baMI时m籼tbetrIml蛳0ffbl硼】laisdefiIled锄ditsi疵删懿pfl戚∞isgi啪枷the训妇nll蕊 w．r．ttbe仃lnh anda defiIled蛔e． fomnII勰躺pfop峭edps即赫m曲沁is de缈ispfm埘．M伽∞v豇，醯证I鲥时cIe舭黝g 胁饥tbe鳅0ffbl鲫_las．m∞血u姆0f109ical唯髓蛐w．r．t 10粤如is髑纽刚捌． 鲫i龇细出vcloping叩口D】血n啦∞船叩iDglh∞ly缸n一Ⅶ岫cd娶胍F0p髑m伽Ial sy蜘；ps叫缸dist；m∞ I斜wo睹：眦hde霉∞；蚰加g把g血in甲Ii洳0I崩：籼；厅·v山耐S舰弘DIⅪ血砌10蔓如al 有进行讨论，更没有给出类似于文献[6]中应用起来非 1引言 常方便的公式真度的积分表达式． 数理逻辑的特点在于形式化而不是数值计算，为了 本文在厅值舰命题逻辑系统的统一框架下，基 反映程度化的思想，二十世纪五十年代初，R嗍科教授 于一般的概率测度(可以是均匀的，也可以是非均匀的) 就利用“指派真值…”来刻画逻辑公式的真实程度，这种 建立了公式真度的统一理论，给出了这种统一框架下真 思想在Pavall【a的系列文章幢J中得到了全面的发展．后 度的积分表示形式；另外，提出了强正则蕴涵算子的概 来又有许多学者从不同角度提出了逻辑公式的程度化 念，并在基于强正则蕴涵算子的n值命题逻辑中给出 思想，文献[3]就格值逻辑的情形基于多种不同的被知 了真度1旧规则和真度陋规则；最后，在全体公式集上 值概念展开了知识状态逻辑的研究．