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

【文件属性】：
文件名称：论文研究-一阶谓词公式关联矩阵的构造方法.pdf
文件大小：608KB
文件格式：PDF
更新时间：2022-09-27 07:14:21
论文研究 一阶谓词逻辑可以借助关联矩阵进行有效推理。为了提高关联矩阵的构造效率，从而提高一阶谓词逻辑推理的效率，提出一种由一阶谓词公式构造对应关联矩阵的递归方法。该方法利用二叉树的递归性质，对任意一个一阶谓词公式，在化去量词后直接构造关联矩阵。该方法为借助关联矩阵实现一阶谓词逻辑的自动化推理提供了可能。