基于ATMS的冲突识别及诊断测量方法

• 作 者: 欧阳丹彤 焦玉 赵相福
• 机 构: 吉林大学计算机科学与技术学院,吉林大学符号计算与知识工程教育部重点实验室
• 出 处: 吉林大学学报(工学版)
• 发表日期: 2009年06期
• 关键词: 基于模型诊断 基于假设的真值维护系统 极小冲突集 诊断测量 动态ε策略 model-based diagnosis assumption-based truth
• 基金项目: 国家自然科学基金重大项目（60496320,6049632i）,国家自然科学基金项目（60773097,60873148,60973089）,新世纪优秀人才支持计划项目,吉林省科技发展计划项目（20060532,20080107）,吉林大学“985工程”研究生创新基金项目（20080235）.

依据General Diagnostic Engine(GDE)思想并基于Assumption-based Truth Mainte-nance System(ATMS)技术实现了一种产生所有极小冲突集的方法,并通过定义负节点和新的规则解决了ATMS在使用时完备性丢失的问题。在此基础上实现了基于粗略概率的简化熵诊断测量方法,并提出了基于动态ε策略的简化熵测量方法及测量后动态更新诊断结果的算法。该方法通过环境的传播进行增量的计算,具有正确性、完备性、一致性、极小化的特点,并减小了测量时产生的诊断代价,