%0 Journal Article
%T Survey:Proof Theory Semantics of General Logic Program<br>综述：一般逻辑程序的证明论语义
%A 陈寅
%A 李磊
%J 计算机科学
%D 2004
%I 
%X 一般逻辑程序是知识表示的重要工具，也是非单调推理研完的领域之一。一般逻辑程序的证明论语义给出一个证明过程，对应于相应的模型论语义，同时也为模型论语义的实现提供基础。本文对一般逻辑程序的证明论研究进行综述，涉及到基于各种模型论语义的证明过程，并且对各研究在语法约束、推理方式、正确性和完备性结论及实现的情况等各方面加以比较，最后给出了此问题进一步的一些研究方向。
%K 逻辑程序
%K 证明论
%K 非单调推理
%K 知识表示
%K 正确性
%K 语义
%K 完备性
%K 模型论
%K 证明过程
%K 一般
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=C0FEE9A2AF12F76B&yid=D0E58B75BFD8E51C&vid=4AD960B5AD2D111A&iid=9CF7A0430CBB2DFD&sid=04445C1D2BDA24EE&eid=3F0AF5EDBC960DB0&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=27