%0 Journal Article
%T 逻辑程序中的否定问题与非单调逻辑
%A 陈荣
%A 孙吉贵
%J 计算机科学
%D 1997
%I 
%X 1引言 常识推理的一个共同特性是在不完全知识下的推理,非单调推理提供了不完全知下的推理方法,它能在有限如识的基础上得出一些结论,而当知识进一步丰富时这些结论是可销的。最著名的非单
%K 逻辑程序
%K 否定问题
%K 非单调逻辑
%K 人工智能
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=2E4D337217D8BFC38813D5436BBB077F&yid=5370399DC954B911&vid=B91E8C6D6FE990DB&iid=B31275AF3241DB2D&sid=7801E6FC5AE9020C&eid=BC12EA701C895178&journal_id=1002-137X&journal_name=计算机科学&referenced_num=1&reference_num=0