论文研究-一阶谓词公式关联矩阵的构造方法.pdf

【文件属性】：

文件名称：论文研究-一阶谓词公式关联矩阵的构造方法.pdf

文件大小：608KB

文件格式：PDF

更新时间：2022-09-27 07:14:21

论文研究

一阶谓词逻辑可以借助关联矩阵进行有效推理。为了提高关联矩阵的构造效率，从而提高一阶谓词逻辑推理的效率，提出一种由一阶谓词公式构造对应关联矩阵的递归方法。该方法利用二叉树的递归性质，对任意一个一阶谓词公式，在化去量词后直接构造关联矩阵。该方法为借助关联矩阵实现一阶谓词逻辑的自动化推理提供了可能。