命题逻辑系统Ln中公式集上的真度函数.pdfVIP

ComputerEngineeringandApplications计算机工程与应用 2010，46(36) 37 命题逻辑系统 中公式集上的真度函数 马丽娜 ，刘 烁 ，王国俊 MALi-na，‘LIU Shuo，WANG Guo-jun 1．陕西师范大学 数学与信息科学学院，西安 710062 2．第四军医大学 生物医学工程系，西安 710032 1．CollegeofM athematicsand Information Science，ShaanxiNormalUniversity，Xi’an 710062，China 2．Faculty ofBiomedicalEngineering，TheFou~h M ilitary M edicalUniversity，Xi’an 710032，China E—mail：malina@snnu．edu．cn MA Li—na，LIU Shuo，WANG Guo-jun．Truthdegreefunctiononsetofformulasinpropositionallogicsystem L．Com- puterEngineeringandApplications，2010．46(36)：37-39． Abstract：The purpose ofthispaper isto givean axiomaticdefinition oftruth degreefunction onthe setofformulasin 一valued Lukasiewicz propositionallogic system and somepropertiesoftruth degree function areproved．Theconceptionsofsimilarity de— gree among formulasand apseudo—metric on the setoffomr ulasaredefined by meansofthe conceptoftruth degree function． Thelogicmetricspace isbuiltand apossibleframework forapproximatereasoning rfom thesyntacticalview isproposed． Key words：truth degree function；similarity degree；pseudo-metric；logicmetric space 摘 要：在 n值Lukasiewicz命题逻辑系统中引入 了公式集F(S)上真度函数的公理化定义，给 出了真度函数的若干重要性质，利用 真度函数从形式上定义 了相似度和伪距离，建立 了逻辑度量空间，为从语构的角度展开近似推理提供 了一种可能的框架。 关键词 ：真度函数 ；相似度 ；伪距离；逻辑度量空间 DOI：10．3778／j．issn．1002—8331．2010．36．010 文章编号：1002—8331(2010)36—0037—03 文献标识码：A 中图分类号：O142 1 引言 2 预备知识 对于F(S)中的一个公式 A，可以从语义上通过赋值判断 形式系统 是由公式集 v(s)、公理集和推理规则MP三 是否 “恒真”或 “恒假”，即，如果对每个赋值v，v(A)：1恒成 个部分构成。这里 ={Pl,P，…}是原子公式集，F()是由S 立 ，则称 是重言式；如果对每个赋值 v，v(A1=0恒成立，则 生成的 (， )型自由代数 ，其中， 是一元连接词， 是二元 称A是矛盾式。而对于一个命题逻辑系统而言，绝大多数公式 连接词。设A，B∈F(S)，在F(S)celia新的逻辑连接词如下： 既非重言式又非矛盾式，关于这些公式优劣的评价，文献[1．8] (1)AvB=(A--+B) B，AAB=一(— V一曰) 都是从语义的角度入手将重言式的概念程度化 ，提出了公 式的真度 、相似度、伪距离等概念 ，建立了逻辑度量空间，进 (2)A =_1( _])，0=_1