Survey:Proof Theory Semantics of General Logic Program
综述：一般逻辑程序的证明论语义

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