命题公式主析范式自动生成系统.docVIP

命题公式主析范式自动生成系统 　　摘要： 目前人工智能的发展已经非常迅速，而且会越来越普及到我们的生活中。人工智能的发展离不开数理逻辑，命题逻辑是数理逻辑中重要部分，本文介绍了命题公式主析取范式及主合取范式的自动生成系统的开发、设计与实现过程。 　　Abstract： Nowadays the development of artificial intelligence has been very rapid， and is becoming increasingly popular in our life. The development of artificial intelligence can not be separated without mathematical logic. Propositional logic is a significant part of mathematical logical. This paper describes the design and implementation process of the propositional formulas， disjunctive paradigm and conjunctive paradigm of automatic generation of system development. 　　关键词： 命题公式；主析取范式；主合取范式；自动生成 　　Key words： propositional formula；principal disjunctive normal form；principal conjunctive normal form； automatic generation 　　中图分类号：G250.76 文献标识码：A 文章编号：1006-4311（2013）30-0171-02 　　1 选题背景 　　逻辑学是研究思维和论证的科学，也就是研究关于人类推理的学问。在20世纪的下半个世纪，伴随着计算机科学技术的迅猛发展，新的逻辑学分支——数理逻辑也发展起来。数理逻辑也称为符号逻辑，是一门运用数学的方法来研究推理的形式结构和推理规律的边缘性学科。其内容相当广泛，包括逻辑演算（命题演算与谓词演算）、公理集合论、证明论、递归函数论等，其中逻辑演算是其它各部分的基础。它在逻辑电路、自动控制、人工智能、程序设计、数据库理论以及计算机科学的其它领域有着广泛的应用。人工智能是研究使计算机来模拟人的某些思维过程和智能行为，主要包括计算机实现智能的原理、制造类似于人脑智能的计算机，使计算机能实现更高层次的应用。人工智能涉及的计算机科学、心理学、哲学和语言学等学科。但最主要的依然是计算机科学的范畴，人工智能对于逻辑的计算十分依赖，尤其是进行推理的时候，在这方面对命题逻辑的研究就有着十分重要的贡献，它是人工智能所能发挥的作用有多大，所能覆盖的范畴有多广的决定性因素之一，所以求一个给定的命题公式的主析取范式或主合取范式是命题逻辑中一类很重要的工作，它是命题分解和进一步进行机器处理的基础。通过这个系统，用户可以更加方便的得出命题公式主范式，有助于对命题逻辑的学习和研究。 　　2 研究内容 　　本文主要介绍了命题公式主范式的自动生成方法。首先，给出了主范式的基础定义及相关定理，并对其中定义给出解释，定理做出解释；探讨出主范式的求法——真值表求法，并对设计过程加以描述，包括了命题公式识别，命题公式转译以及命题公式真值表生成三个部分，可以实现命题公式的合法性判断，大小项的生成，命题公式的真值以及命题公式主范式的生成。 　　3 概念描述 　　3.1 大项与小项 小项：n个命题变元的合取式，称作布尔合取或小项，其中每个变元与它的否定不能同时存在，但两者必须出现且仅出现一次。 　　大项：n个命题变元的析取式，称作布尔析取或小项，其中每个变元与它的否定不能同时存在，但两者必须出现且仅出现一次。 　　3.2 主析取范式及主合取范式 主析取范式：对于给定的命题公式，如果有一个等价公式仅由小项的析取所组成，则该等价式称作原式的主析取范式。 　　主合取范式：对于给定的命题公式，如果有一个等价公式仅由大项的合取所组成，则该等价式称作原式的主合取范式。 　　3.3 主析取范式及主合取范式的求取方法 主析取范式及主合取范式的求取方法有真值表法、等价变换法等，本系统采用真值表法求取主析取范式及主合取范式，故只对这种方法加以描述，其他方法在这里概不描述。 　　在真值表中，一个公式的真值为T的指派所对应的小项的析取，即为此公式的主析取范式。 　　在真值表中，一个公式的真值为F的指派所对应的大项的合取，即为此公式的主合取范式。 　　4 模块设计