论文部分内容阅读
本文给出了分层描述方法,并研究了不同抽象层间诊断的关系.证明了分层诊断的正确性:一个抽象层的诊断在其细化层有相应的诊断.指出了分层诊断的完备性不成立:一个细化层的诊断在其抽象层可能没有相应的诊断.分层诊断的不完备性说明了虽然分层描述、分层诊断提高了计算效率,但代价是可能导致丢失真正的诊断解.