| 含缺省约束的基于模型诊断方法 |
| |
| 引用本文： | 邓智欢,邓安生,郭一晶.含缺省约束的基于模型诊断方法[J].厦门大学学报(自然科学版),2005,44(3):326-329. |
| |
| 作者姓名： | 邓智欢 邓安生 郭一晶 |
| |
| 作者单位： | 1. 厦门大学软件学院
2. 厦门大学计算机科学系,福建,厦门,361005 |
| |
| 摘 要： | 目前已有的诊断系统一般都默认有完备而可靠的模型，但在实际中常无法实现．因此，在目前已知的对待诊断设备的可靠描述之外．提出了可加入假设性的信息作为对无法完备模型的补充．并且这些假设采用了从规范缺省理论中的规则转化而成的公式的形式．进一步给出了在加入这些假设后的情况下，含缺省约束的基于模型的诊断、中心诊断、蕴含、蕴含式及本原蕴含等概念，证明了含缺省约束的基于模型的中心诊断与缺省本原蕴含的直接关系．并指出这种刻画即为含缺省约束的基于一致性中心诊断和中心溯因诊断的刻画的一般化情形．从而将理论与实现联系了起来。
|
| 关 键 词： | 基于模型 诊断方法 中心诊断 诊断系统 缺省理论 诊断设备 溯因诊断 假设 一般化 一致性 可靠 完备 刻画 公式 |
| 文章编号： | 0438-0479(2005)03-0326-04 |
| 修稿时间： | 2004年10月28 |
Model-based Diagnosis with Default Constraints |
| |
| DENG Zhi-huan,DENG An-sheng,GUO Yi-jing.Model-based Diagnosis with Default Constraints[J].Journal of Xiamen University(Natural Science),2005,44(3):326-329. |
| |
| Authors: | DENG Zhi-huan DENG An-sheng GUO Yi-jing |
| |
| Institution: | DENG Zhi-huan1,DENG An-sheng2,GUO Yi-jing2 |
| |
| Abstract: | |
| |
| Keywords: | diagnosis problem containing default constraints model-based kernel diagnosis prime implicant/implicates |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
