论文部分内容阅读
该文研究判定一文字是否出现在缺省理论〈D,W〉的某一扩张中的复杂性 .其中 ,D是一集 Horn缺省规则 ,而 W是 definite Horn公式或者 Bi- Horn公式
This paper studies the complexity of determining whether a word appears in an expansion of the default theory , where D is a set of Horn default rules and W is a definite Horn formula or a Bi-Horn formula