格值命题逻辑LP（X）中的语义归结方法.pdfVIP

第29卷第5期 辽宁工程技术大学学报 (自然科学版) 2010年 10月 V_01．29 No．5 JournalofLiaoningTechnicalUniversity (NaturalScience) Oct． 20l0 文章编号：1008-0562(2010)05—0767-04 格值命题逻辑 尸 中的语义归结方法 张家锋 1,2徐 扬 f1．西南交通大学 智能控制开发中心，四川 成都 610031；2．毕节学院 逻辑、语言与认知研究中心，贵州 毕节 551700) 摘 要：为了提高格值命题逻辑 LP(x)中的 一归结原理的推理效率，将语义归结策略应用于 一归结原理，讨 论了格值命题逻辑 LP(x)中的12一语义归结方法，并证明了该方法的可靠性和弱完备性，为基于格值逻辑的归结 自动推理提供一定基础。 关键词：自动推理；语义归结方法； 格值逻辑；格蕴涵代数 中图分类号：o142 文献标识码：A Semanticresolutionmethodonlattice—valuedpropositionallogicLP(X) ZHANG Jiafeng ，XU Yang (1．IntelligentControlDevelopmentCenter，SouthwestJiaotongUniversity，Chengdu610031，China； 2．CenterofLogic，LanguageandCognition，BijieUniversiyt，Bijie551700，China) Abstract：Inordertoimprovethereasoningefficiencyof 一resolutionprincipleinlattice-valuedpropositional logicLP(X)，thisstudyappliessemanticstrategyona,-resolutionprincipleandinvestigatesthesemantic resolutionmethod．Thestudydemonstratesthesoundnessandweakcompletenessofthemethod，andprovidesa solidfoundationforresolution．basedautomatedreasoningonlattice-valuedlogicLP(X1． Keywords：automatedreasoning；semanticresolutionmethod；lattice—valuedlogic；latticeimplicationalgebra 0 引 言 义文字的自动推理算法，并证 明了其可靠性和完备 性。本文研究格值命题逻辑系统LP(X)中一类能被 自从 1965年 Robinson提出归结原理 j【以来， 任意赋值分为两个非空子集的子句集，为了提高 基于归结原理的 自动推理方法得到 了迅速的发展， 一 归结 自动推理的效率，提出了该子句集的语义 由于归结规则很少利用领域的知识，从而导致了其 归结方法，并证明了其可靠性和弱完备性。 效率低下。许多学者对经典归结进行了改进 ，其中 最具代表性的工作有：语义归结、线性归结和锁归 1 预备知识 结2【]。格作为刻画不确定信息的序关系和不可 比较 性的一个代数结构，在处理包含不确定信息的智能 定义 1 设 (L，V，^，，O，I)是带有逆序对合 “。’’ 系统中将起到至关重要的作用。作为其理论基础的 的有界格 ，，和 D是 的最 大元和最小元 ， 格值逻辑系统的研究也是一个重要且有发展前途