含缺省约束的基于模型诊断方法.pdfVIP

维普资讯 第 44卷 第 3期 厦 门大学学报 (自然科 学版) V0l_44 NO．3 2OO5年 5月 JournalofXiamenUniversity (NaturalScience) M aY 2005 含缺省约束的基于模型诊断方法 邓智欢 ，邓安生。，郭一 晶 (1．厦门大学软件学院 ．2．厦门大学计算机科学系．福建 厦f-j361005) 摘要 ：目前已有的诊断系统一般都默认有完备而可靠的模型，但在实际中常无法实现．因此，在 目前已知的对待诊断设备 的可靠描述之外．提出了可加入假设性的信息作为对无法完备模型的补充 ．并且这些假设采用 了从规范缺省理论中的规 则转化而成 的公式 的形式．进 一步给出了在加入这些假设后 的情况下 ，含缺省约束的基 于模型的诊断、中心诊断、蕴含 、蕴 含式及本原蕴含等概念，证明了含缺省约束的基于模型的中心诊断与缺省本原蕴含的直接关系．并指 出这种刻画即为含 缺省约束的基于一致性中心诊断和中心溯因诊断 的刻画的一般化情形．从而将理论与实现联系了起来． 关键词 ：含缺省假设的诊断问题；基于模型的中心诊断；缺省本原蕴含 ／蕴含式 中图分类号 ：TP18 文献标识码 ：A 文章编号 ：0438—0479(2005)03—0326—04 目前 已有的基于模型诊断方法一般都默认待诊断 入假设性的信息作为对无法完备模型的补充，并且这 设备有完备而可靠的模型，但这在实际中常无法实现． 些假设采用了从规范缺省理论 中的规则转化而成的公 本文提出的含缺省假设的诊断系统，试 图将不能完备 式 的形式． 的模型加入假设性的条件 ，在没有其他证据证 明这些 规范缺省理论 中的规则形如 ：口(z)： (z)／Z(x)， 假设为假的情况下 ，即视作为真，并 以此为依据缩小诊 其中，a(z)为前提，两个 fl(x)分别依次为验证式和结 断空间． 论 ．而转化后 的公 式为 a(z)A p(z)一p(z)，其 中 1 含缺省假设的诊断 问题 p(z)表示 p(z)不被相信．在前提不存在 时，就 只 有 (z)一 (z)．此转换方法 的正确性 已被文献E8-1 如果对于一个设备的实际观测值和它的预期正常 和E9]证明． 行为产生了偏差 ，就出现了诊断问题．典型的一般基于 这样做的 目的在于：其一，由于这些补充信息都是 模型诊断系统的结构如定义 1： 假设，它们与已肯定为真的 SD 性质不同，还需要进一 定 义 1[1] 一 个 系 统 是 一 个 四元 组 (SD， 步的验证，如果不正确 ，则需要进行修正．事实上 ，改变 ∞ MPS，Cx丁，0BS)，其 中 假设实际上意味着改变主体的信念状态．由此 ，我们可 (1)SD 为系统描述，是一个一阶语句的集合 ． 以在信念修正的框架中继续深入讨论．其二，缺省逻辑 (2)ODMPS为系统的组成部件 ，是一个有限常量 实际上包含着一种选择的优先次序 ，比如说 ，设 a(z) 集合 ． 形如 口l(z)A 口2(z)A … ^ 口(z)，而 fl(x)形如 (3)CXT是表示 上下文数据 ，是 一个 基原子集 口(z)，则可 以认为在否定 了 口l(z)，口2(z)，…，口(z) 合． 的前提下 ，若 又找 不到 ’a()一定成立 的证 明，则