摘要： 今天老师讲的基于一致性的极小诊断，首先讲述了问题形式化问题，把实际问题符号化，从而把具体的事物用特定的语言符号表示，定义一个系统为三元组（SD，COMPS，OBS）。其中，SD是系统描述，是一阶谓词公式的集合。COMPS为系统组成部件集，是一个有限的常量集。OBS为一观测集，是一阶谓词公式的有限集。其中SD中包含结构描述和行为描述，结构描述包括部件特性和部件的拓扑连接关系，行为描述指的是正常的行为描述。基于一致性诊断（CBD）（Reiter）不要求能推出，只要求基CBD能解释当前的系统观测即可，基于一致性的极小诊断在集合的真包含关系上，如果集合C是基于一致性诊断，且C的任意真子集都不是基于一致 阅读全文