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