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

计算机工程与应用 ›› 2014, Vol. 50 ›› Issue (3): 36-41.

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

耿霞，张继军，吴秋兰

山东农业大学信息科学与工程学院，山东泰安 271018

出版日期:2014-02-01 发布日期:2014-01-26

Construction method of incidence matrix to first-order predicate expression

GENG Xia, ZHANG Jijun, WU Qiulan

College of Information Science and Engineering, Shandong Agricultural University, Tai’an, Shandong 271018, China

Online:2014-02-01 Published:2014-01-26

摘要/Abstract

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

关键词: 一阶谓词公式, 关联矩阵, 逻辑推理, 二叉树, 递归方法

Abstract: 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.

Key words: first-order predicate expression, incidence matrix, logical reasoning, binary tree, recursive method

耿霞，张继军，吴秋兰. 一阶谓词公式关联矩阵的构造方法[J]. 计算机工程与应用, 2014, 50(3): 36-41.

GENG Xia, ZHANG Jijun, WU Qiulan. Construction method of incidence matrix to first-order predicate expression[J]. Computer Engineering and Applications, 2014, 50(3): 36-41.

[1]	朱丹，陈晓红，吴卿源，李舜酩. 自适应图学习诱导的子空间聚类[J]. 计算机工程与应用, 2020, 56(21): 30-37.
[2]	谭跃生，章世杨，王静宇. 基于多授权中心的CP-ABE属性撤销方案[J]. 计算机工程与应用, 2019, 55(13): 78-84.
[3]	宋冬云，郑瑾，张祖平. 基于混合策略的中文短文本相似度计算[J]. 计算机工程与应用, 2018, 54(12): 116-120.
[4]	王永贵1，张燕1，杨东东2. 基于MapReduce的无线城市社团发现算法研究[J]. 计算机工程与应用, 2017, 53(4): 106-112.
[5]	何可，吴晓军，张玉梅. 基于节点兴趣的非结构化P2P网络拓扑结构研究[J]. 计算机工程与应用, 2016, 52(9): 102-107.
[6]	林意，孔斌强. 基于多尺度的时间序列固定分段数线性表示[J]. 计算机工程与应用, 2016, 52(21): 81-87.
[7]	张龙，张磊，熊国良，周建民，周继慧. 二叉树型多分类器融合的轴承故障诊断方法[J]. 计算机工程与应用, 2015, 51(21): 243-249.
[8]	赵强，穆克. 基于组合特征和BTSVM的电能质量扰动识别[J]. 计算机工程与应用, 2015, 51(10): 232-236.
[9]	秦玉平1，唐亚伟2，伦淑娴3，王秀坤4. 一种基于二叉树的数学公式抄袭检测算法[J]. 计算机工程与应用, 2015, 51(1): 257-260.
[10]	侯胜宇1，冯锋1，2. 一种改进的二叉树型RFID防碰撞算法[J]. 计算机工程与应用, 2013, 49(4): 129-133.
[11]	秦锋，杨帆，程泽凯，刘牛. BO-AUC多类分类评估方法[J]. 计算机工程与应用, 2012, 48(5): 156-158.
[12]	郭子雪，李小彦. 考虑价值漏损的研发项目实物期权定价模型[J]. 计算机工程与应用, 2012, 48(36): 245-248.
[13]	印勇，吕轶超. 图像语义分类的树结构SVM方法[J]. 计算机工程与应用, 2012, 48(12): 186-189.
[14]	王兴波. 二叉树演绎于结点序号内蕴性质的快速算法[J]. 计算机工程与应用, 2011, 47(9): 16-20.
[15]	廖明1，2，闾国年1，周良辰1，蒋新胜2，方虎生2，曹燕2. 一种基于ROAM的大型DEM实时剖分算法[J]. 计算机工程与应用, 2011, 47(28): 201-205.