表推演论文

论文摘要本文首先介绍了基于模型诊断的基本概念、计算诊断的过程及基于非单调推理基础上的动态诊断机制的主要思想和框架,并且在更广泛的意义上定义了诊断概念,使诊断这一概念适合于更广泛...