Horn逻辑程序和形式文法之间的对应关系_NoRestriction.pdfVIP

摘要 这篇论文从文法的角度研究了Horn逻辑程序 因为Horn逻辑程序的计算 能力与图灵机是等价的，而图灵机的计算能力与。型文法是等价的，所以， Horn逻辑程序可以与 。型文法相互对应起来，可以根据文法的分类方法将 Horn逻辑程序进行分类.本论文的研究目的是探索Horn逻辑程序怎样与。 型文法对应起来及与。型文法的子类相对应的Horn逻辑程序有什么特征，以 刻划出Horn逻辑程序的层次结构.在本论文中，得到了如下的研究结果:找 到了用。型文法产生Horn逻辑程序的最小Herbrand模型的方法，找到了用 Horn逻辑程序模拟。型文法的方法，描述了与递归文法，1型文法，2型文 法，3型文法等价的Horn逻辑程序的特征. 关键词 文法，逻辑程序，最小Herbrand模型， TheCorrespondencebetweentheHornLogicPrograms andGrammars ChenWenbin(Major:Mathematics) DirectedbyWangJu Inthispaper，Hornlogicprogramswithgrammaticalviewisconsidered.Because thecomputabilityofHornlogicprogramsisequivalenttothatofTuringmachines andthelatterareequivalenttothatoftype-0grammars,Hornlogicprogramsare equivalenttotype-0grammars.ThispaperistoaimatexploringhowHornlogic programsareequivalenttotype-0grammarsandwhatisthecharactericsofHorn logicprogramsthataresemanticallyequivalenttosubclassesoftype-0grammars.In thispaper,theresultsofresearchareasfollows:Themethodtofindtype-0grammars generatingtheleastHerbrandmodelsofHornlogicprogramisgiven.Themethodto findHornlogicprogramsgeneratingthelanguagesoftype-0grammarsisgiven.The charactericsofHornlogicprogramsthataresemanticallyequivalenttorecursive grammars,type-1grammars,type-2grammars,andtype-3grammarsaregiven. keywords:Grammar,LogicProgram,TheLeastHerbrandModel. 11 一，引言 一 引言 自1974年Kowalski在[[1l中引进逻辑程序的概念以来，逻辑程序领域取得 了很大的发展 逻辑程序的发展可归功于两大方面.首先，逻辑程序与Prolog 密切相关，它构成了Prolog的理论框架.其次，在80年代早期，一些研究者 探索新的程序设计方式，这导致了人们重新对逻辑程序感兴趣. 逻辑程序的能力来自于两个方面的原因.首先，逻辑程序有一种非常简单 的形式.其次，逻辑程序在表达能力方面等同于一阶逻辑.数理逻辑领域发展 了自身的方法，它为逻辑程序提供了严格的数学框架 不过，逻辑程序的主要 基础是计算机科学家发展的自动定理证明. Horn逻辑程序是由一些Horn子句组成的集合.每个Horn子句都是这种 形式的子句:Heade--Body,Head是一个原子公式，Body是一个原子公式的 合取.它的语义表示逻辑蕴涵:Body=}-Head.对于逻辑程序的基本概念的 详细的论述，可参见Lloyd的逻辑程序基础 [10] 传统上一些学者在证明树的基础上研究了逻辑程序和W一文法及属性文法 之PI的对应关系.在PierreD