%0 Journal Article
%T A Method of Finding Priorities in Default Theories<br>缺省理论中一种获取优先序的方法
%A ZHAO Xi-Shun
%A DING De-Cheng
%A <br>赵希顺
%A 丁德成
%J 软件学报
%D 2003
%I 
%X An approach is introduced to derive specificity in default theories. Compared with other methods, themethod handles priority quite well and has lower complexity. Then the prioritized stationary semantic for defaultlogic is defined. The method can strengthen the cautious stationary default reasoning without increasing thecomputational complexity very much.
%K default logic
%K specificity
%K stationary extension
%K complexity<br>缺省逻辑
%K 特殊性
%K 稳定扩充
%K 复杂性
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=6E20BF68C4613E97&yid=D43C4A19B2EE3C0A&vid=F3583C8E78166B9E&iid=9CF7A0430CBB2DFD&sid=142CA2F7BF1B30ED&eid=05D0CF7AA2D40B14&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=17