计算机工程与应用Issue(3)：36-41,6.DOI:10.3778/j.issn.1002-8331.1303-0430
一阶谓词公式关联矩阵的构造方法
Construction method of incidence matrix to first-order predicate expression
摘要
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,(3):36-41,6.基金项目
国家自然科学基金（No.61170079，No.61201252）；教育部科技论文快速共享项目（No.2012107）；山东省优秀中青年科学家奖励基金（No.BS2009DX012）。 （）
