综述:一般逻辑程序的证明论语义

摘要：

一般逻辑程序是知识表示的重要工具,也是非单调推理研究的领域之一.一般逻辑程序的证明论语义给出一个证明过程,对应于相应的模型论语义,同时也为模型论语义的实现提供基础.本文对一般逻辑程序的证明论研究进行综述,涉及到基于各种模型论语义的证明过程,并且对各研究在语法约束、推理方式、正确性和完备性结论及实现的情况等各方面加以比较,最后给出了此问题进一步的一些研究方向.

关键词：一般逻辑程序、证明论、模型论、语义

所属期刊栏目：31

分类号：O14;TP3

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

页数：共5页

页码：152-156