一阶模糊谓词逻辑公式的有限解释真度及可数解释真度的理论及其应用.pdfVIP

维普资讯 计算机科学 2005Vo1．32No．10 一 阶模糊谓词逻辑公式的有限解释真度和可数解释 真度的理论及其应用*) 张兴芳 孟广武 (聊城大学数学科学学院 山东聊城 252059) 摘 要 通过引进公式变元集赋值的新概念给 出了一阶模糊谓词逻辑 (或一阶模糊语言)公式的有限解释真度及可数 解释真度的定义，并讨论了它们的一系列性质及其在近似推理 中的应用，从而为一阶谓词逻辑的近似推理理论提供 了 一 种带度量的框架。 关键词 一阶模糊谓词逻辑，公式变元集的赋值，有限解释真度，可数解释真度 TheoryofTruthDegreeofFirst-orderFuzzyPredicateLogicsFormulasBasedontheFiniteInterpretation andEnumerableInterpretation anditsAppliaction ZHANG Xing-Fang MENGGuang-Wu (SchoolofMathematicsScience，1．iaochengUniversity，Liaocheng，Shandong，252059) Abstract Inthispaperwegavethedefinitionoftruth degreebasedonfiniteandenumbleinterpretationoffirst-order fuzzypredicatelogic(orfirst-orderlanguage)formulasbyintroducingthenew conceptofevaluationofsetofvariableof formulas，anddiscussitsaseriesofpropertiesandapplicationsinapproximatereasoning ．Consequentlyweoffereda theoreticbasisforraesoning offirst-orderfuzzypredicatelogic． Keywords First-orderfuzzypredicatelogic，Va1uationofsetofformulasvariable，Truthdegree offiniteinterpreta— tion，Truthdegree ofenumerableinterpreattion 1 引言 符号 ；(iv)某些谓词符号 ；(v)连接词：_7，V，一；。(、，i) 标点符号：(，)；(vii)全称量词符号 ：V。 关于区分命题逻辑公式的可靠程度的思想，早在 1952年 注 1：(i)一阶模糊语言 中项 ，原子公式，公式，公式的约 就有 Rosser与Turquette[1]从不同的角度提出了公式的程度 束变元及 自由变元的概念与经典一阶语言[9]中对应的概念相 化真确度的方法[2。]。文[33就格值逻辑的情形基于公式的 同。 多种不同的被知值概念展开了知识逻辑的研究。以上所提到 (ii)记 的全体变元之集为Var()，全体个体常元之集 的方法是在赋值域含多个值 的情形下展开的。文[4]提 出了 为Const( ，全体项之集为 Term(~)，全体公式之集为F()。 赋值域为[0，1]的模糊命题逻辑公式的真度理论 ，之后文[53 (iii)设A，B∈F()，用( zt)A表示