该报告就六个方面进行了研究.第一,给出了基于一致性实质诊断的具有一般性的概念,同时给出了计算方法.指出使用基于一致性实质诊断可以刻画基于一致性的诊断空间,Reiter的基于一致性极小诊断方法和Raiman的本原诊断方法无法刻画基于一致性的诊断空间,deKleer等学者的方法是该方法的特殊情形.第二,给出能够帮助缩小基于一致性诊断空间的实质溯因诊断的具有一般性的概念,论证了其与该原蕴涵/蕴涵等学者的直接关系,从而可使用ATMS类算法来计算.第三,给出了更具一般性的基于模型的空质诊断的概念,建立了其与实现的联系.第四,给出了扩展的因果理论上的基于模型诊断的具有一般性的概念,并对其诊断过程进行了形式化.第五,给出碰集计算方法——NEWHS-tree方法,该方法可用于计算本原蕴涵、蕴涵式.第六,研究了能够帮助减少基于模型诊断计算复杂性分层诊断,指出了不同抽象层间诊断的关系;证明了分层诊断的正确性;一个抽象层的诊断在其细化层有相应的诊断;指出了分层诊断的完备性不成立;一个细化层的诊断在其抽象层可能没有相应的诊断.