%0 Journal Article
%T 自知逻辑与非单调推理
%A 黄智生
%J 计算机科学
%D 1992
%I 
%X 自知逻辑是非单调推理的重要的逻辑工具之一。它与缺席逻辑,界限和封闭世界假说等非单调推理的重要概念具有紧密的联系。自知逻辑采用模态逻辑作为形式表达工具,比缺席逻辑具有更可靠的数学基础;它也比界限方法具有更简洁易懂的表达方式。所以,它成为一种最有希望的非单调推理系统。本文将简要地介绍自知逻辑的主要概念,理论与方法。
%K 自知逻辑
%K 非单调推理
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=6EC4E7BC9C87B495DA6D45517F4FC46A&yid=F53A2717BDB04D52&vid=2A8D03AD8076A2E3&iid=E158A972A605785F&sid=9CF7A0430CBB2DFD&eid=FC0714F8D2EB605D&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0