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

摘要：

@@ 1引言
逻辑程序是一种知识表示的方法,是逻辑公式的有限集合,它起源于逻辑和定理自动证明.1974年,逻辑程序的概念首次出现在Kowalski的一篇文章中[1],然后在定理自动证明特别是Robison's的归结原理基础上发展了起来.随后20多年来,在逻辑程序领域提出了大量的重要概念.

机标关键词：逻辑程序、形式文法、定理自动证明、重要概念、知识表示、有限集合、逻辑公式、归结原理、起源、基础、方法

所属期刊栏目：30

分类号：TP3(计算技术、计算机技术)

资助基金：国家自然科学基金;国家重点基础研究发展计划973计划G1999032701

在线出版日期：2003-12-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：25-27