一阶谓词公式关联矩阵的构造方法

• 作者: 吴秋兰 张继军 耿霞
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 一阶谓词公式 关联矩阵 逻辑推理 二叉树 递归方法
• 年，卷（期）: 2014,（3）
• 所属期刊栏目: 博士论坛
• 页码范围: 36-41
• 页数: 6页
• 分类号: TP301
• 字数: 5475字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1303-0430

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张继军	山东农业大学信息科学与工程学院	25	123	7.0	9.0
2	吴秋兰	山东农业大学信息科学与工程学院	20	162	6.0	12.0
3	耿霞	山东农业大学信息科学与工程学院	20	58	4.0	6.0