Complexity Results for Restricted Credulous Default Reasoning
若干限制形式的缺省推理的复杂性

Keywords: Default logic,Horn default,credulous reasoning
缺省逻辑，Horn缺省规则，轻信推理.

Full-Text   Cite this paper   Add to My Lib

Abstract:

该文研究判定一文字是否出现在缺省理论〈D,W〉的某一扩张中的复杂性.其中，D是一集Horn缺省规则，而W是definite Horn公式或者Bi-Horn公式.

Full-Text