%0 Journal Article
%T Complexity Results for Restricted Credulous Default Reasoning<br>若干限制形式的缺省推理的复杂性
%A ZHAO Xi-shun
%A DING De-cheng
%A <br>赵希顺
%A 丁德成
%J 软件学报
%D 2000
%I 
%X 该文研究判定一文字是否出现在缺省理论〈D,W〉的某一扩张中的复杂性.其中，D是一集Horn缺省规则，而W是definite Horn公式或者Bi-Horn公式.
%K Default logic
%K Horn default
%K credulous reasoning<br>缺省逻辑，Horn缺省规则，轻信推理.
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=6B794E047480F4B1&yid=9806D0D4EAA9BED3&vid=708DD6B15D2464E8&iid=DF92D298D3FF1E6E&sid=E348995F86F60FD3&eid=68BCD01D0D745EB3&journal_id=1000-9825&journal_name=软件学报&referenced_num=2&reference_num=9