计算机实现命题符号化.pdf

计算机实现命题符号化 陈磊 北方工业大学信息工程学院，北京 （100041） E-mail：cl61524cl@163.com 摘 要：随着计算机的发展，计算机影响着各个学科的前进和发展，数理逻辑已经经历第二 次的革命，使得在数理逻辑中重要的部分，命题逻辑也得到了完善和发展。在今天对于命题 符号化已经不再是什么新鲜的问题，但是对于命题符号化的机器实现还是出于朦胧状态，本 文通过根据如何手动的命题符号化过程，提出了一种机器实现命题符号化的机制。 关键词：数理逻辑，命题符号化，命题符号化的机器实现 中图分类号：TP391.11 1. 命题符号化 命题，就是能判断真假的陈述句。[1]判断为正确的命题称为真命题，其值为真，用T(true) 或l表示。判断为错误的命题称为假命题，其值为假，用F(false)或0表示。从命题的定义可知， 祈使句、感叹句、疑问句都不是命题，无所谓真假的陈述句也不是命题。命题逻辑是数理逻 辑中比较基础的部分，谓词逻辑是在它的基础上发展起来的。命题逻辑主要研究命题如何通 过一些命题联结词构成更复杂的命题以及逻辑推理的方法。其也是在计算机科学中应用最为 广泛的数理逻辑学部份之一。[2] 命题符号化的方法其实很简单，首先应该确定那个语句是不是一个命题，如果是一个命 题，就找出句中联结词，划分原子命题(原子命题，也叫简单命题，就是最简单的命题，通 常用大写字母 p,q,r 表示。)，在找出最符合的命题联结词对各个原子命题进行联结，就完成 了命题符号化。[3] 由于命题符号化的计算机实现是比较理论化的课题，在加上命题符号化的实现对于简单 命题容易实现，所以目前的命题符号化的机器实现就像很多计算机与其它命题交叉的边缘学 科一样，基本上处于一个初始阶段，并没有什么深入的研究。 2. 命题符号化的机器实现的机制模型 2.1 命题符号化机器实现的可能 命题符号化的过程就是在确定了一个语句是命题后，对其联结词进行提取，然后在找 到对应的命题符号联结词，对每一次命题的各个联结词间的部分进行提取，获得原子命题， 应用对应的符号表示原子命题，最后再按照命题的逻辑关系组合成要输出符号化的命题。 在上面陈述的过程当中，对命题中找出联结词，匹配对应的符号化联结词就是一个查 找的过程，建立一个存储有对应的自然语言联结词和符号化命题联结词的表，在读出自然语 言联结词后，到数据库中的这个表中查找对应的符号化命题联结词。 但是要用机器自动判断各个逻辑关系之间的层次问题是很困难的事情，因此本文应用 了一种半自动化的过程来解决这个问题，以数据结构中的树的结构存储这个命题符号化后的 结果。具体过程如下： (1) 在机器对命题符号化的开始，由人来划分出给出命题各个联结词之间的逻辑关系， 对自然语言的联结词问题给出层次划分。 (2) 输入对最底层的逻辑关系联结词的关系和其对应的原子命题。在最底层的逻辑关系 - 1 - 输入完后，输入底数第二层的逻辑联结词和气对应的原子命题。依此类推，直到结束。 在上述过程中，本文定义了一个简单的脚本来对逻辑关系的层次和结束输入等的控制。 表 2-1 脚本语言说明 脚本语言 功能 L 一层逻辑关系结束（在一层结束时的结尾输入） E 一个逻辑关系结束(在一个逻辑关系结束时输入) F 命题输入结束(在整个命题结束时输入) 注: 在一层结尾时输入 L 就可以不用再输入 E；在整个命题结束时输入