D-逻辑伪距离不等式与近似推理.pdfVIP

V01．34No．2 第34卷第2期 昆明理工大学学报(理工版)http：／／www．kustjournal．corn／ of ofSc·ienceanti anti 2009年4月Journal Tt…hnology(Scientt KunmingUniw-rsity Tet。hnology)——尘坐：!塑! doi：10．3969／j．issn．1007—855x．2009．02．025 D一逻辑伪距离不等式与近似推理 王廷明 (青岛大学师范学院，山东青岛266071) 摘要：以D一随机真度为基础，给出了公式到有限理论结论集D一逻辑伪距离的D一随机真度表 示式，得到了D一逻辑度量空间中与有限理论相关的一系列D一逻辑伪距离不等式，并在D一逻 辑度量空间中进行了近似推理讨论． 关键词：D一逻辑度量空间；D一随机真度；D一逻辑伪距离；近似推理；命题逻辑系统 中图分类号：0141文献标识码：A 文章编号：1007—855X(2009)02—0112—04 PseudoMetric and D—Logic InequalitiesApproximateReasoning WANG Ting·ruing (Teachers 266071，China) College，QingdaoUniversity，Qingdao，Shandong totheD—randomtruth ofthe metricfromthefor- Abstract：According degree，itsexpressionD—logicpseudo mulatotheconclusionsetinfinite is seriesof metric relatedtothe theorygiven．A D—logicpseudo inequalities finite in metric arethenobtained．The inthe metric theoryD—logic space approximatereasoningD—logic space is discussed． finally metric truth Keywords：D—logicspace；D—randomdegree；D—logicpseudometric；approximatereasoning； propositionallogic O引言 基于随机化的逻辑概念的程度化方法已成为当前概率化人工智能研究的一个热点．在经典命题逻辑 系统中引进随机化方法，可使其程度化和近似推理的研究与应用范同更加宽泛．在二值命题逻辑系统中， 文献[1—4]提出了以数值计算为主要特征的命题公式的真度概念和逻辑度量空间理论，建立了计量逻辑 学．文献[5]利用赋值集的随机化方法，在随机数列D上，赋予不同原子公式以相应的概率，提出了公式的 D一随机真度概念，引入了一种描述公式随机化真确度的方法，并以随机真度为基础，给出了公式的D一 随机相似度和近似推理研究中的D一逻辑伪距离概念，构建了D一逻辑度量空间，将二值计量逻辑学中的 相关结果作为特款纳人到随机计量逻辑学中．文[6，7]证明了由[5]提出的D一逻辑度量空间中3类近似 推理模式的等价性，为在D一逻辑度量空间中展开近似推理研究奠定了理论基础．本文在D一随机真度基 础上，给出公式到有限理论结论集D一逻辑伪距离的D一随机真度表示式，得到了D一逻辑度量空间中与 有限理论相关的一系列D一逻辑伪距离不等式