2.4.1 MBD 问题
定义 1 诊断问题[147] （Diagnosis Problem，DP）：诊断问题可以被定义为一个三元组<SD,Comps,Obs>，在这个三元组中
（1）SD（System Description）表示诊断问题的系统描述，用谓词公式的集合表示；
（2）Comps（System Components）代表系统中所有组件的集合，用一个有限的常量集表示；
（3）Obs（System Observations）代表系统的一个观测，用谓词公式的集合表示。
假定所有组件的状态是正常的情况下，当系统的模型描述和观测出现不一致时，我们称存在一个诊断问题。也就是：
𝑆𝐷 ∧ 𝑂𝑏𝑠 ∧ {¬ℎ(𝑐) |𝑐 𝐶𝑜𝑚𝑝𝑠} ⊨ ⊥ .
其中，系统中组件的状态用一元谓词 h(c)表示，当 h(c)的值为 1代表组件 c 是故障的，相反，h(c)为 0 代表组件 c 是正常的。系统描述部分包含系统的行为描述以及系统的连接情况。行为描述是一个描述了组件在正常和异常（故障）状态下的执行功能的情况的公式。系统的连接情况是一个形式为𝑖𝑐 = 𝑜𝑐的公式，其中𝑖𝑐表示组件𝑐的输入，
𝑜𝑐表示组件𝑐的输出。
下面我们给出诊断的定义。
定义 2 诊断 [147] （ Diagnosis ）： 给 定 一 个 诊 断 问 题 G=V,E;τ,φ;A,RDP=<SD,Comps,Obs>，一个诊断被定义为一组组件∆的集合，其中 ∆ Comps，当
𝑆𝐷 ∧ 𝑂𝑏𝑠 ∧ {ℎ(𝑐) |𝑐 ∆} ∧ {¬ℎ(𝑐) |𝑐 𝐶𝑜𝑚𝑝𝑠 − ∆} ⊭
此处，∆为一组关于组件的赋值，用于表示组件是正常状态还是异常（故障）状态的行为假设，在上述公式中，⊭表示逻辑蕴涵关系的否定，表示矛盾。