科研之友
微信
新浪微博
Facebook
分享链接
摘要
基于模型的诊断 (model based diagnosis，MBD) 是人工智能诊断领域中著名的诊断求解方法之一，旨在识别诊断问题的根本原因. 由于求解诊断解在计算上具有挑战性，一些MBD算法提出通过修改模型的编码来提高诊断效率，如面向统治者编码的(dominor-oriented encoding， DOE)方法. 面向观察的编码 (observation-oriented encoding，OOE)方法使用2种方法对MBD模型进行约简. 首先，利用系统观测和统治组件输出的一些过滤边来约简系统描述和观测. 其次，通过查找基于观测的过滤节点来过滤更多的组件， 进而有效约简组件的编码规模. 此外，在ISCAS85和ITC99基准测试用例上的实验结果表明，与目前最新的MBD编码方法DOE和传统的基础编码方法 (basic encoding ， BE) 相比，上述2种约简方法有效减少了MBD实例的编码子句数量此，降低MaxSAT求解器求解诊断的难度，进而能在更短的时间内返回一个诊断解.
- 单位
