基于极性的非循环术语集调试,雷景佩,欧阳丹彤,不一致术语集调试的核心是找出导致概念不可满足的冲突集,现今已有大量相关算法。本文通过定义公理中概念的极性和极性冲突,用极