经典逻辑系统中公式的真度及公式间伪距离的一种等价定义.pdfVIP

第27卷第1期 模糊系统与数学 Vol-27，No．1 Mathematics Feb．，2013 and 2013年2月 FuzzySystems 文章编号：1001—7402(2013)01—0028—06 经典逻辑系统中公式的真度 及公式间伪距离的一种等价定义+ 马巧云1，吴洪博2 (1．西安文理学院数学与计算机工程学院，陕西西安710065； 2．陕西师范大学数学与信息科学学院，陕西西安710062) 摘要：给出了经典命题逻辑中公式的向量表示形式，利用向量表示形式给出公式的真度和公式间伪距 离的定义，说明了这种定义与原有的概率形式的定义等价，得到了公式间的伪距离的一些简单性质以及 在伪距离空间(F(5)，』D)中，逻辑连接词都是连续的。 关键词：经典命题逻辑系统；公式的向量表示；真度；伪距离 中图分类号：0141 文献标识码：A 在文献[1]中，作者给出了经典逻辑公式的真度、公式间的相似度、公式问的伪距离和公式间的距离 等概念。以此为基础，大量学者展开了经典命题逻辑中的近似推理的研究[2-s]，为在多值逻辑中进行数 值化的近似推理提供了思路。 本文利用经典命题逻辑中公式的赋值及赋值顺序给出了公式的向量表示形式，利用向量表示形式 给出公式的真度和公式间伪距离的定义，证明了这种定义与文献[1]中的定义等价。并且这种伪距离的 定义避免了引入公式间的相似度的概念，使得经典命题逻辑中公式的伪距离的讨论简化。本文还得到 了公式间的伪距离的一些简单性质以及在伪距离空间(F(s)，lD)中，逻辑连接词都是连续的，为进一步 在经典命题逻辑和多值逻辑中进行近似推理打下基础。 1 预备知识 定义1．1设S一{P。，P：，…)是可数集，一是一元运算，V，一是二元运算，由S生成的(一，V， 一)型自由代数记作F(S)。F(S)中的元叫合式公式，简称公式。S中的元叫原子公式或原子命题。 u 简称73为赋值。F(S)的全体赋值之集记为n．若V可∈力恒口(A)一1成立，则称A为重言式，若V ∈n恒有口(A)一0成立，则称A为矛盾式。 B． 定义1．4逻辑等价关系≈是F(S)上的(一，一)型同余关系，商代数F(s)／≈是布尔代数，称为 }收稿日期：2012—03—28；修订日期：2012—05—25 基金项目：西安市科技计划项目(CxYll34wLlo)；国家自然科学基金资助项目 作者简介：马巧云(1973一)，女，陕西人，西安文理学院数学与计算机工程学院副教授，研究方向：不确定性推理；吴洪博(1959一)， 男，陕西人，陕西师范大学数学与信息科学学院教师，研究方向：不确定性推理。 万方数据 第1期 马巧云，吴洪博：经典逻辑系统中公式的真度及公式间伪距离的一种等价定义 29 2 经典逻辑公式的向量表示 尔函数f(x。，,272．”，X。)，将其自变量之集中全体2“个行维。一1向量按自然顺序排列，依次记为口。，口。， 量，称VecA为公式A的向量表示形式。 注2．1 (1)F(S)与2“维{0，1)向量之集之间并不存在一一对应关系。因为由逻辑等价的定义可 知，若B也是含有行个原子公式P，，P。，…，P。的合式公式且A≈B，则VecA—VecB； (2)VecA与A中所含的原子公式的个数有关。 定义2．2设A，B∈F(S)，且以中含有咒个原子公式P。，P。，…，A，B中含有柳个原子公式q，，g：， A(z …，q。，