| 摘要: |
| 该文研究判定一文字是否出现在缺省理论〈D,W〉的某一扩张中的复杂性.其中，D是一集Horn缺省规则，而W是definite Horn公式或者Bi-Horn公式. |
| 关键词: 缺省逻辑，Horn缺省规则，轻信推理. |
| DOI： |
| 分类号: |
| 基金项目:This research is supported by the National Natural Science Foundation of China(国家自然科学基金,Nos.19771045,19931020)(and the National High Technology Development Program of China国家863高科技项目基金,No.863-306-ZT06-01-2) |
|
| Complexity Results for Restricted Credulous Default Reasoning |
|
HAO Xi-shun,DING De-cheng
|
| Abstract: |
| 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. |
| Key words: Default logic, Horn default, credulous reasoning. |
