一种基于ATMS的求解所有极小冲突集的新方法

摘要

在Reiter算法的基础上,本文提出一种基于ATMS的求解所有极小冲突集的新方法.其中,对每个元件模型最多调用一次就可求出所有的极小冲突集,防止了ATMS的多次调用,因而能够提高效率.本文提出了极小依赖集的概念,并据此对ATMS求得的极小冲突集进行了分类;分析了算法的复杂度,并将新方法与相关工作进行了比较.该算法程序容易编制,而且效率高.