若干限制形式的缺省推理的复杂性(英文)  

Complexity Results for Restricted Credulous Default Reasoning

作　　者：赵希顺[1] 丁德成[2] 

机构地区：[1]南京大学数学系,南京210093 [2]扬州大学数学系,扬州225002

出　　处：《软件学报》2000年第7期881-888,共8页Journal of Software

基　　金：This research is supported by the National Natural Science Foundation of China (国家自然科学基金 ;Nos.197710 45 ;199310 2 0

摘　　要：该文研究判定一文字是否出现在缺省理论〈D,W〉的某一扩张中的复杂性 .其中 ,D是一集 Horn缺省规则 ,而 W是 definite Horn公式或者 Bi-This paper concentrates on the complexity of the decision problem which decides whether a literal belongs to at least one extension of a default theory 〈D,W〉 in which D is a set of Horn defaults and W is a definite Horn formula or a Bi Horn formula.

关 键 词：轻信推理 限制形式 缺省推理 复杂性 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]