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

36 2014．50(3) ComputerEngineeringandApplications计算机工程与应用 一 阶谓词公式关联矩阵的构造方法 耿 霞，张继军，吴秋兰 GENGXia，ZHANGJijun，wUQiulan 山东农业大学 信息科学与工程学院，山东 泰安 271018 CollegeofInformationScienceandEngineering，ShandongAgriculturalUniversity，Tai’an，Shandong271018，China GENGXia，ZHANGJijun，wUQiulan．Constructionmethodofincidencematrixtofirst—orderpredicateexpression． ComputerEngineeringandApplications，2014，50(3)：36-41． Abstract：Incidencematrixcanbeappliedintheprocessoffirst—orderpredicatelogicalreasoning．Inordertoimprovethe constructioneffi ciencyofincidencematrix，SOastoimprovetheeffi ciencyoffirst·orderpredicatelogicalreasoning，a recursivemethodbywhichtheincidencematrixoffirst—orderpredicateexpressioncanbeconstructedisproposed．Forany first-orderpredicateexpression，theincidencematrixcanbegenerateddirectlyusingtherecursiveprope~yofbinarytree afterlogicalconnectivesareeliminated inthemethod．Themethodprovidespossibilitytorealizeautomaticreasoningof first-orderpredicatelogicbymeansofincidencematrix． Keywords：first—orderpredicateexpression；incidencematrix；logicalreasoning；binary tree,recursivemethod 摘 要：一阶谓词逻辑可以借助关联矩阵进行有效推理。为了提高关联矩阵的构造效率，从而提高一阶谓词逻辑推理 的效率，提出一种 由一阶谓词公式构造对应关联矩阵的递归方法。该方法利用二叉树的递归性质，对任意一个一阶谓 词公式，在化去量词后直接构造关联矩阵。该方法为借助关联矩阵实现一阶谓词逻辑的自动化推理提供了可能。 关键词：一阶谓词公式；关联矩阵；逻辑推理；二叉树；递归方法 文献标志码：A 中图分类号：TP301 doi：10．3778~．issn．1002—8331．1303—0430 1 引言 应关联矩阵 ，但对~Horn子句的谓词逻辑不适用。 一 阶谓词逻辑可以利用高级Petri网系统中的谓词／ 本文提出一种 由一阶谓词公式直接构造其关联矩 变迁系统(简称为Pr／T系统)进行建模 ，同时，基于Pr／T 阵的方法 ，即在化去谓词公式的量词后直接构造关联矩 系统的关联矩阵，采用线性代数中关于矩阵变换的处理 ， 阵。此方法适用于所有的一阶谓词公式。 实现了一阶谓词逻辑的推理 ，文献 【1．2，7-11]对关联矩 阵在逻辑推理中的应用进行了研究。 2 基本概念 这些研究的前提是构造一阶谓词公式的关联矩阵， 假设读者熟悉一阶谓词逻辑和Petri网的知识，为了 其构造方式一般有三种 ：(1)对谓词公式建立Pr／T级的 便于描述 ，在这里仅给出相关的概念和术语。 事实变迁形式 ，再利用Pr／T系统 ，间接建立谓词公式的 定义 1 满足下列条件的表达式 ，称为一阶谓词的 关联矩阵”；(2)对谓词公式进行预处理，简化为只含逻 合式公式。 辑联接词 “”和 “X／”的形式u，直