一种基于最小冲突集的约束冲突消解方法

摘要

为了在协同设计中建立以人为核心的冲突消解方法，使设计者在约束冲突发生时，对约束信息之间的制约关系有较清晰的把握，合理地消解冲突，提取最小冲突集是有效的方法。本文在分析最小冲突集特征和交边算法的基础上，给出了提取最小冲突集的方法，并结合一个算例说明最小冲突集在设计者参与下对识别、消解冲突的有效性。