计算机实现命题符号化

图 3-1 存储节点结构图
-3-

选择这样的存储节点是因为考虑到在一个节点位置可能是一个命题化了的字符串，也 有可能是下一级别更加趋近原子命题的节点。所以选择这样一个结构的存储节点结构类型， 可以方便的对各种出现的情况进行存储。
第二章例题一与例题二应用以上存储结构的存储结构图如图 3-2，3-3
在上面陈述的过程当中，对命题中找出联结词，匹配对应的符号化联结词就是一个查 找的过程，建立一个存储有对应的自然语言联结词和符号化命题联结词的表，在读出自然语 言联结词后，到数据库中的这个表中查找对应的符号化命题联结词。
但是要用机器自动判断各个逻辑关系之间的层次问题是很困难的事情，因此本文应用 了一种半自动化的过程来解决这个问题，以数据结构中的树的结构存储这个命题符号化后的 结果。具体过程如下：
String a;//存储第一个命题符号化的符号 String b;//存储联结词 String c;//存储第二个命题符号化的符号 Struct Node* l;//指向第一个命题符号 a 和联结词 b 之间的命题 Struct Node* r;// 指向第二个命题符号 c 和联结词 b 之间的命题 Struct Node* f;//指向其父结点 } 节点存储结构如图 3-1 所示：
命题符号化的方法其实很简单，首先应该确定那个语句是不是一个命题，如果是一个命 题，就找出句中联结词，划分原子命题(原子命题，也叫简单命题，就是最简单的命题，通 常用大写字母 p,q,r 表示。)，在找出最符合的命题联结词对各个原子命题进行联结，就完成 了命题符号化。[3]
由于命题符号化的计算机实现是比较理论化的课题，在加上命题符号化的实现对于简单 命题容易实现，所以目前的命题符号化的机器实现就像很多计算机与其它命题交叉的边缘学 科一样，基本上处于一个初始阶段，并没有什么深入的研究。
(1) 在机器对命题符号化的开始，由人来划分出给出命题各个联结词之间的逻辑关系， 对自然语言的联结词问题给出层次划分。
(2) 输入对最底层的逻辑关系联结词的关系和其对应的原子命题。在最底层的逻辑关系
-1-

输入完后，输入底数第二层的逻辑联结词和气对应的原子命题。依此类推，直到结束。 在上述过程中，本文定义了一个简单的脚本来对逻辑关系的层次和结束输入等的控制。
3.2 半自动化命题符号模型的实现存在的问题
基于 VC6.0 对这个机制模型进行了验证。通过以上的介绍，对本文提出的命题符号化 半自动化计算机实现基本能够满足命题符号化的要求，但是现在的这个机制模型主要是基于 字典的查找，现在因为自然语言的命题联结词很多，这就导致了字典的数据的庞大。因此在 字典的查找过程中的时间问题就是一个不可逾越的鸿沟。
String str; Cout<<”in put the first elem:”; Cin>>str;
Switch (str) { case “L”： moveNeLevel(fp)；
I=1 break; case “E”: moveNeLogic(fp)； I=1 break; case “F”: return fp; break; default: switch (I) { Case 1:N.a=change(str,str1[i++]);break; Case 2:N.b= serach(str);break; Case 3:N.c= change(str,str1[i++]);break; } } } Insert(fp,N); Putout(fp,str1);
在读入既又后机制查找资料库建立树的一个节点存入输出﹃,然后读入李平用功存入一 个节点输出一个 P，读入 L，产生上一层的节点。
在读入既又后机制查找资料库建立树的一个节点存入输出∧，读入李平聪明存入一个 节点输出一个 Q。读入 F 结束。 最后遍历声称的树就得到了结果：﹃P∧Q。
3. 实现半自动化的命题符号化机制模型
ID 1 2 3 4 turalLanguage 不
Signlanguage ﹃
否
﹃
即又
∧
或者
∨
……
……
Remarks ……
当机制模型读如一个自然语言的联结词时，就到这个字典里查找与之相对应的命题符号联 结词，找出对应的联结词，输出结构，否则输出异常。
3.1.3 半自动化命题符号化机器实现的匹配
在第二章介绍的机制中，对一个自然语言命题的符号化的理论过程已经介绍，下面对实 现这一功能的核心算法进行分析。 Struct Node New(string a=0, string b=0, string c=0, Struct Node* l=NULL; Struct Node* r=NULL; Struct Node* f=NULL);//创建新的节点 Void moveNeLevel(strct Node* fp)//转向上一行结点 Void moveNeLogic(strct Node* fp)//转向下一个结点
在读入既又后机制查找资料库建立树的一个节点存入输出的∧,然后读入李平聪明存入 一个节点输出一个 P，读入李平用功存入一个节点输出一个 Q。 最后遍历声称的树就得到了结果：P∧Q。
2.2.2 例题二 例题：李平虽然聪明，但不用功。[4] 输入脚本：不 李平用功 L 虽然但 李平聪明 F 根据 3.1 给出的实现机制，例题二的解析过程为：
3.1 半自动化命题符号化机制核心
3.1.1 结点存储结构 在第二部分我们只是提到了命题符号化计算机实现的机制模型及其对应的计算机实现
的可能性分析。在第二部分我们提出了一个运用树的地存储节点来存储个个分析出来的符号 化了的原子命题，下面列出的就存储节点的数据元素类型的定义：
typedef struct Node {
2-2 所示：
图 2-1 命题符号化机制模型总体流程图 -2-
图 2-2 命题符号化流程图

2.2 命题符号化机器实现实例
2.2.1 例题一 例题：李平既聪明又用功。[4] 输入脚本：既又 李平聪明 李平用功 F。 根据 3.1 给出的实现机制，例题一的解析过程为：
Proposition Symbol by Computer
Chen Lei
School of Information and Engineering of North China University of Technology，Beijing （100041） Abstract
With the development of computers, computer affects various disciplines to advance and develop, Mathematical Logic has experienced the second revolution, makes mathematical logic important part, and propositional logic has been improved and developed. For this proposition is no longer the symbol of what is fresh, But Proposition symbols of the machine to achieve the state or out of the cover, According to this paper how the manual process of Proposition symbol, a symbol Proposition machinery to achieve the mechanism. Keywords：mathematical logic，the symbol of the proposition，Proposition symbols of the machine to achieve
3.3 对试验的介绍
实验的平台是 WindowsXP，Visual C++6.0。 在试验中采用了 Win32 的控制台程序，应用了面向对象的编程方法，对于字典，数组 存储来实现，下面贴出针对第二章第二节的两个命题给出结果截屏如图 3-4，3-5
-5-

While(str 不是结束符 F)
{ If(str 是换行符 L)
Then 建立下一层的节点
Else if（str 是一个原子逻辑关系结束符 E）
Then 插入树结构
Else 存入结点；
读入下一个逻辑关系；
} 定义的机制模型的总体流程图如图 2-1 所示，流程图 2-1 中的命题符号化流程的流程图
1. 命题符号化
命题，就是能判断真假的陈述句。[1]判断为正确的命题称为真命题，其值为真，用T(true) 或l表示。判断为错误的命题称为假命题，其值为假，用F(false)或0表示。从命题的定义可知， 祈使句、感叹句、疑问句都不是命题，无所谓真假的陈述句也不是命题。命题逻辑是数理逻 辑中比较基础的部分，谓词逻辑是在它的基础上发展起来的。命题逻辑主要研究命题如何通 过一些命题联结词构成更复杂的命题以及逻辑推理的方法。其也是在计算机科学中应用最为 广泛的数理逻辑学部份之一。[2]
脚本语言
表 2-1 脚本语言说明
功能
L
一层逻辑关系结束（在一层结束时的结尾输入）
E
一个逻辑关系结束(在一个逻辑关系结束时输入)
F
命题输入结束(在整个命题结束时输入)
注: 在一层结尾时输入 L 就可以不用再输入 E；在整个命题结束时输入 F 不用再输入 E
和 L。
以上过程的伪代码如下：
读入输入字符串 str

计算机实现命题符号化
陈磊
北方工业大学信息工程学院，北京 （100041）
E-mail：cl61524cl@
摘 要：随着计算机的发展，计算机影响着各个学科的前进和发展，数理逻辑已经经历第二 次的革命，使得在数理逻辑中重要的部分，命题逻辑也得到了完善和发展。在今天对于命题 符号化已经不再是什么新鲜的问题，但是对于命题符号化的机器实现还是出于朦胧状态，本 文通过根据如何手动的命题符号化过程，提出了一种机器实现命题符号化的机制。 关键词：数理逻辑，命题符号化，命题符号化的机器实现 中图分类号：TP391.11