《计算机学报》文章摘要 全文下载 | |
文章题目 | 基于一致性的中心诊断及中心溯因诊断 |
作者 | 欧阳丹彤 *姜云飞 |
作者单位 | (吉林大学计算机科学系 长春 130023) *(中山大学计算机软件研究所 广州 510275) |
发表年份 | 1998 |
发表月份 | 6期 |
文章摘要 | 本文对溯因诊断的过程和中心溯因诊断的过程进行了刻画.将求中心溯因诊断的过程清晰地分为与领域有关的冲突识别及与领域无关的候选产生两大步骤.不仅指出了基于一致性的中心诊断与中心溯因诊断之间的关系,而且论证了中心溯因诊断与本原蕴含/蕴含式的直接关系.显示出基于一致性的中心诊断空间和中心溯因诊断空间不仅可同时计算,而且可用ATMS这类算法来计算,从而将我们的理论结果与实现联系起来. |