【摘要】 基于逻辑的故障诊断方法中一个没有解决好的问题就是如何求得所有极小冲突集。讨论了如何由极小不协调子集求得极小冲突集 ,然后给出了求所有极小不协调子集的一种方法。对如何应用该算法求得所有的极小冲突集 ,给出了求诊断的一个过程 ,最后与相关工作进行了比较。更多还原

【Abstract】 A main problem for logic based approach to diagnosis is that how to generate all minimal conflict sets.In this paper,the 1 1 relationship between minimal conflict sets and minimal inconsistent subsets is proved,then a procedure for generating all minimal inconsistent subsets is presented.Furthermore,the procedure is applied to generating minimal conflict sets.At last,a procedure for generating all diagnosis is presented.更多还原