%0 Journal Article
%T Algorithms of Clausal Default Theory<br>子句型缺省理论的推理算法
%A 董明楷
%A 张明义
%J 计算机科学
%D 2001
%I 
%X 1 引言缺省理论自1980年Reiter提出之后,已成为非单调推理的热点。在缺省逻辑中,扩张的概念至为重要。Reiter对特殊的缺省理论——正规缺省理论做了许多研究,并得出了一些漂亮的结果。Etherington给出了生成任意有穷有序半正规缺省理论的扩张的程序。张明义提出缺省的一种子类——自相容缺省理
%K 子句型缺省理论
%K 推理算法
%K 自相容缺省理论
%K 人工智能
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=9F6B47A27F591CDD&yid=14E7EF987E4155E6&vid=D3E34374A0D77D7F&iid=94C357A881DFC066&sid=67969BA850333433&eid=228A710F49B6CE58&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=10