引入缺省性约束的基于模型诊断
在目前已有的诊断系统中,一般都默认其有完备而可靠的模型,但这在实际中常常无法实现.因此,在目前已知的对待诊断设备的可靠描述之外,本文提出可将假设性的补充信息加入到不能完备的模型中,并且这些假设采用了从规范缺省理论中的规则转化而成的公式的形式.在没有其他证据证明这些假设为假的情况下,即视作为真,并以此为依据缩小诊断空间.文中进一步提出了在加入了这些假设的情况下,基于模型的诊断和中心诊断等概念,给出了两种不同角度的对于含缺省约束诊断系统的刻画,证明了在含缺省约束的诊断系统中基于模型的中心诊断与缺省本原蕴含/蕴含式的直接关系,并指出这种刻画即为含缺省约束的基于一致性中心诊断和中心溯因诊断的刻画的一般化情形.
模型诊断 缺省性约束 中心诊断 缺省本原蕴含
邓智欢 郭一晶
厦门大学软件学院,福建,厦门,361005 厦门大学计算机科学系,福建,厦门,361005
国内会议
深圳
中文
140-145
2005-04-16（万方平台首次上网日期，不代表论文的发表时间）