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

【文件属性】：

文件名称：论文研究-基于极性的非循环术语集调试 .pdf

文件大小：576KB

文件格式：PDF

更新时间：2022-09-04 08:28:26

本体

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