论文研究 基于极性的非循环术语集调试 .pdf

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