计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2014年
3期
36-41
,共6页
一阶谓词公式%关联矩阵%逻辑推理%二叉树%递归方法
一階謂詞公式%關聯矩陣%邏輯推理%二扠樹%遞歸方法
일계위사공식%관련구진%라집추리%이차수%체귀방법
first-order predicate expression%incidence matrix%logical reasoning%binary tree%recursive method
一阶谓词逻辑可以借助关联矩阵进行有效推理。为了提高关联矩阵的构造效率，从而提高一阶谓词逻辑推理的效率，提出一种由一阶谓词公式构造对应关联矩阵的递归方法。该方法利用二叉树的递归性质，对任意一个一阶谓词公式，在化去量词后直接构造关联矩阵。该方法为借助关联矩阵实现一阶谓词逻辑的自动化推理提供了可能。
一階謂詞邏輯可以藉助關聯矩陣進行有效推理。為瞭提高關聯矩陣的構造效率，從而提高一階謂詞邏輯推理的效率，提齣一種由一階謂詞公式構造對應關聯矩陣的遞歸方法。該方法利用二扠樹的遞歸性質，對任意一箇一階謂詞公式，在化去量詞後直接構造關聯矩陣。該方法為藉助關聯矩陣實現一階謂詞邏輯的自動化推理提供瞭可能。
일계위사라집가이차조관련구진진행유효추리。위료제고관련구진적구조효솔，종이제고일계위사라집추리적효솔，제출일충유일계위사공식구조대응관련구진적체귀방법。해방법이용이차수적체귀성질，대임의일개일계위사공식，재화거량사후직접구조관련구진。해방법위차조관련구진실현일계위사라집적자동화추리제공료가능。
Incidence matrix can be applied in the process of first-order predicate logical reasoning. In order to improve the construction efficiency of incidence matrix, so as to improve the efficiency of first-order predicate logical reasoning, a recursive method by which the incidence matrix of first-order predicate expression can be constructed is proposed. For any first-order predicate expression, the incidence matrix can be generated directly using the recursive property of binary tree after logical connectives are eliminated in the method. The method provides possibility to realize automatic reasoning of first-order predicate logic by means of incidence matrix.
