副词和动词词组在编程语言里的表达方法

实验编号：40
编程语言：C++
开发环境：Visual Studio 2015
摘要：我在最近的一篇文章中，强调了自然语言理解功能与核心思维算fǎ之间的独吅立性，前者应当基于后者而不是互相杂糅在一起。之前，我为副词设计了一套数据结构并将其纳入AI思维系统核心类库；但在新版的算fǎ大纲里，我册刂除了副词和形容词两个词性以及各种词组结构，并强调在AI的核心思维系统里面只有名词（变量）、动词（函数）、谓词这三种词性类，其他词性如副词、形容词只在自然语言理解系统或者程序员的业吅务逻辑代码里出现。本实验程序运用了C++编译器的预处理（宏定义）功能，在不定义副词数据结构的前提下让程序员能够在业吅务逻辑代码里定义副词以及动词词组，一方面精简了AI系统的数据结构，另一方面提升了程序的运行效率以及可维护性。

副词的意义即其表示形式
根据语♂fa♂学知识：副词（Adverb）是指在句子中表示行为或状态特征的词，用以修饰动词、形容词、其他副词或全句，表示时间、地点、程度、方式等概念。动词（+名词）用于说明做什么（What　to　do），而副词用于详细说明怎么做（How）、在哪里做（Where）、在何时做（When）……

副词可以作用于多个动词（函数），生成动词词组。我举个例子：
存在动词【购吅買】，它接受两个参数a、b，分别表示要mǎi的商品、以什么方式支付，其中b=1表示徽信钱包，b=2表示支附婊，b=3表示信♂用Card附款，b=4表示现金支附。现在我们用状语【用现吅金】去修饰动词【购mai】，得到动词词组【用现金mǎi】，我们可以写出如下等式：
用现金mǎi(a) = 购吅mǎi(a,4)
存在动词【吃饭】，它接受两个参数x、y，其中x表示要吃的食物，y表示支付方式。支付方式只有两种，所以y是一个布尔值，为真表示用饭卡支付，为假表示用现金支付。
将y=false代入【吃饭】函数，可得到动词词组【用现金吃饭】。（实际上正确的表达方式应该是“吃饭用现金付吅款”，但我这个不是NLP课题实验，所以不纠结这个细节）
我们可以写出如下等式：
用现金吃饭(x,y) = 吃饭(x,false)
存在动词【乘坐公交】，它接受四个参数p、q、r、s，其中p表示要乘坐几路车，q表示出发站，r表示目的地，s是一个表示支付方式（投币、手機扫码附吅款还是刷IC卡）的字符串。将s=”投币”代入函数【乘坐公交】，得到动词词组【用现金坐公交】
我们可以写出如下等式：
用现金坐公交(p,q,r) = 乘坐公交(p,q,r,”投币”)
上面三个函数，都有一个形式参数表示“以什么方式付￥费”，但是它们的类型以及参数列表的位置都各不相同，如果要表示“用现金做某事”这一语义时，还得根据情况（做的事情是什么）将不同的常量值代入不同的参数位置。

我说明一下这段代码：
第一行表示声明两个副词inCash（用现金）、fromMyHome（从我家）。这条语句不会产生任何效果，它只是定义了两个无意义的类型inCash、fromMyHome，这样在后面的代码里面，我定义的副词都会显示为绿色（和类型名一样的色彩），方便区分和定位。
第二行inCash_takeBus是一个宏，它的内容就是：告诉编译器去执行宏函数declareMeaningAdv，让编译器知道：当副词inCash作用于函数takeBus时，将字符串常量“投币”代入到名为howToPay的形式参数里边。
第三行的意义是：当副词inCash作用于函数buy时，将数值常量4代入到名为purchaseWay的形式参数里边。
第四行的意义是：当副词inCash作用于函数eatInCanteen时，将布尔值常量false代入到名为useCard的形式参数里边。
第5行的意义是：当副词fromMyHome作用于函数takeBus时，将大关小区代入到名为from的形式参数里边，意思就是：以我家（大关小区）为公交车的出发地，这样就不需要输入出发站名了。
注意：宏的名字必须是副词名+下划线+函数名，否则会报编译错误。

C++语言编译器拥有在编译期间获知一个函数接受的参数的类型的能力，在本实验中我定义了一个宏函数getParaTypeAt(f,index)，它可以获知函数f接受的第index个（从0开始计数）参数是什么类型的。但是，暂时没有获取形式参数名的途径，因为形参变量名仅仅在函数体的内部使用，对于调用它的语句并没有什么用，所以我自己定义了一个宏declareParaNames用于声明一个参数的每个参数分别代吅表什么意思。
以declareParaNames(takeBus,busNumber,from,to,howToPay)这一语句为例，说明这个宏函数的原理。
第一个参数takeBus表示函数，后面的参数{busNumber,from,to,howToPay}表示这个函数的每个参数的焓义，不一定要和形式参数的变量名一模一样。执行这个语句时，编译器对代码进行替换。首先新建一个类，类名就是functiоn_加上函数的名字，再在函数体里面建立若干枚举类型。按照枚举类型的自增特性，busNumber被赋值为0，from等于1，to等于2，howToPay等于3，最后宏函数会在所有形参名后面加上一个paraCount，以便于程序员获取“函数总共接受多少个参数”，在这里paraCount等于4。
替换后的代码如下：

现在我要想要知道howToPay是takeBus函数的第几个参数，只需输入functiоn_takeBus::howToPay即可，当然我们不需要手动打代码，我会让宏函数来自动完成这个工作。
顺便说一下，如果程序员修改了原本函数接受的参数个数，那么代码会报编译错误，这样程序员便能很快地发现问题。

现在，我们来看一下动词和动词词组的数据类型定义。由代码可知，动词词组=动词=函数。函数（functiоn）封装类包焓一个函数指|针型成员，表示基函数（原本的动词）；整数paraCount_base表示基函数接受的参数个数；一个map用于存储作用于原动词（基函数）的副词。看functiоn类的构造函数，我在传入参数adv下面划了红线，注意看数据类型——它是一个键值对，左边的整数表示第几个参数，右边是要代入其中的具体值。副词在自然语言里的意义就是修饰动词，具体描述“怎么做”；那放在编程语言里边就是描述“函数的某个参数应取什么具体值”。
程序在执行命令的时候，首先会遍历constraints里面所有的副词键值对，把常量填入参数数组中的合适的位置，然后再填入用户传入的名词参数，最后得到一个完整的实际参数数组，调用原动词函数便可得到结果。

下面是主程序main函数的代码。newfunctiоn用于将指向回调函数的指针封装成普通动词对象。newfunctiоnWithAdv用于将一个动词与一个副词结合起来，以生成动词词组。newfunctiоnWithPhraseAndAdv用于将一个动词词组与副词结合起来，生成新的动词词组。图中的箭头展示了参数填写的过程。

程序运行结果如下图所示：

本程序还具有运行时（而不是编译期）比较两个句子是否等价的功能。我用createSentence宏创建了3个句子sentence1、sentence2、sentence3，程序在控吅制台界面上输出了三吅句吅话的比较结果。

有两段被系统屏蔽了