基于一致性的中心诊断及中心溯因诊断

摘要：

本文对溯因诊断的过程和中心溯因诊断的过程进行了刻画.将求中心溯因诊断的过程清晰地分为与领域有关的冲突识别及与领域无关的候选产生两大步骤.不仅指出了基于一致性的中心诊断与中心溯因诊断之间的关系,而且论证了中心溯因诊断与本原蕴含/蕴含式的直接关系.显示出基于一致性的中心诊断空间和中心溯因诊断空间不仅可同时计算,而且可用ATMS这类算法来计算,从而将我们的理论结果与实现联系起来.

关键词：溯因诊断、中心溯因诊断、本原蕴含/蕴含式

所属期刊栏目：21

分类号：TP306(计算技术、计算机技术)

资助基金：国家自然科学基金;高等学校博士学科点专项科研项目

在线出版日期：2005-08-11（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：540-545