一种跨符号系统的语意和语意序列的编码方法与流程

文档序号:26007422发布日期:2021-07-23 21:26阅读:110来源:国知局
一种跨符号系统的语意和语意序列的编码方法与流程

本发明涉及信号处理、自然语言处理和人工智能领域。具体涉及一种跨符号系统的语意和语意序列的编码方法。



背景技术:

离散信号可以抽象为一个序列。对于信号值仅存在有限种可能性的离散信号,其序列中每一个位置的信号值,可以抽象为一个“字符”。所有可能的信号值(即所有可能的字符)可组成一个“符号系统”。因此,一个信号值为有限可能性数值的离散信号,可以抽象为一个由特定符号系统中的字符表示的序列。字符具有特定的“语意”;字符组成的序列模式,也具有特定的“语意”。

与信号处理类似,在自然语言处理和人工智能系统中,一种常用的技术是使用字符序列来表示特定的语意,这类字符序列可称为“表意序列”。例如,在远程通信和计算机科学中,串行通信技术通过数据通道,每次传输一个比特的数据,并连续进行这样的单次过程。通讯的信号接收方收到的是一个以比特符号系统(“0”和“1”)的字符组成的序列,这一序列表示一个特定的数据(即语意),因此它是一个表意序列。但是,表意序列必须与一个符号系统相对应,才能真正被理解。

例如,若基于图2的braille盲文字符表,采用“从左到右,从上到下,黑圈为1,白圈为0”的书写规则,可以书写一个由braille盲文的比特符号系统(记为x符号系统)中的字符所组成的表意序列,“011000000000100000110010000000011010100000110010”(记为y序列)。在x符号系统中,y序列所表示的真实语意,对应于字符串“iamsam”。但是,同时存在另一个符号系统可以解读y序列,例如,存在“二进制数字符号系统”(记为z符号系统)。在z符号系统中,序列y表示的真实语意,对应于数值105588314974258。因此,y序列的真实语意,仅在其符号系统也明确的情况下才能被明确。

此外,在同一符号系统内,表意序列所表示的语意也存在层级结构。这一层级结构的来源是,序列中存在重复的片段(或称为序列模式,如图2的braille盲文代码表定义了“0”,“1”组合的40种序列模式)。在同一符号系统下,一种序列模式代表一个(更复杂的)语意,更复杂的语意可以由更简单的语意组合而成。并且更复杂的语意也可以和更简单的语意一同组成更复杂的语意。

例如,在前一个例子中,如果将表示“iamsam”的y序列定义为一个(更复杂)的语意(序列模式),则y可以和表示英文字母语意的(更简单的)序列模式(记为‘i’、‘s’、‘a’、‘e’、‘n’、‘t’、‘c’、‘’)一起,组成一个新的序列,来表示一个更复杂的语意“yisasentence”或“‘iamsam’isasentence”。

目前,在信号处理、语言处理、人工智能领域,广泛应用的序列编码技术一般以压缩或纠错为目的。这些技术基于一个固定的符号系统,即原序列与编码后的序列使用同一符号系统的字符。压缩技术的编码目标是用更短的序列表示原序列。纠错技术的编码目标是将原序列映射为更长的编码序列,使得任意可能的原序列的编码后序列之间存在多个位置的差异,因此在传输编码后序列的过程中,如果仅发生了少量位置的传输错误,系统可以发现或纠正这些错误。

由于目前尚缺乏一种对多种不同的符号系统下的语意和语意序列进行统一编码的通用技术,难以高效地跨符号系统建立具有高级功能的信号处理、语言处理、人工智能系统;同时,由于现有的各种软硬件工具往往使用不同的符号系统来实现其内部逻辑,缺乏跨符号系统的语意和语意序列编码技术,也限制了通过持续集成的方式,在现有工具的基础上构造更复杂、功能更全面的高级系统的可行性。

在设计跨符号系统的语意和语意序列的编码方法时,一个重要的难点是,在方法设计时不可能已知所有的符号系统。因此,该方法需要能够动态学习新的符号系统并运用它们表示语意。特别是,如果工程人员需要设计一个具有类似于人类的学习与推理能力的强人工智能系统,则该系统需要具备类似于新生儿一样从零开始学习各种符号系统并运用它们表示语意的能力。因此,这种跨符号系统的语意和语意序列的编码方法,是一项构建强人工智能系统的使能技术。



技术实现要素:

为解决现有技术方案中的不足,本发明提供了一种跨符号系统的语意和语意序列的编码方法,具体技术方案如下:

一种跨符号系统的语意和语意序列的编码方法,由两种类型的代码和一套编码方法组成。

两种类型的代码为:

1)绝对语意代码:绝对语意代码采用a-x的形式表示,x为整数,如a-35;

2)符号系统代码:符号系统代码采用s-x的形式表示,x为整数,如s-35。

编码方法的特征在于:

1)包括绝对语意代码、符号系统代码、以及两种代码之间的关系;绝对语意代码代表一个绝对语意,符号系统代码代表一个符号系统;绝对语意与符号系统之间存在下述第2)-4)点的关系或约束;

2)一个绝对语意从属于一个或多个符号系统;一个绝对语意在一个符号系统下对应于一个绝对语意的序列;

3)序列由绝对语意组成;一个序列中的每一个位置均是一个绝对语意;一个序列本身也是一个绝对语意;

4)基于一个绝对语意,能定义一个符号系统;即一个符号系统必有一个定义它的绝对语意,但不是每个绝对语意均定义了一个符号系统。

作为进一步地改进,本发明所述的“一个绝对语意从属于一个或多个符号系统”可进行如下的特殊处理:有“物理”的符号系统能自然存在且能不编制它们的符号系统代码;相应地,有“物理”的绝对语意能自然存在,它们有绝对语意代码,但能不从属于任何符号系统。对于“物理”的符号系统和“物理”的绝对语意的理解是:

1)本发明的编码方法对表意序列进行编码,而表意序列的来源,是一些可以感知物理世界状态的物理系统。例如,一个“照相机系统”可以感知其前方的物理世界状态(一个图像),并产生一个表意序列来表示这个物理世界状态(该图像的bmp格式文件中的字符序列)。当一个可以感知物理世界状态的物理系统(如照相机系统)产生表意序列时,它使用的符号系统即为一个“物理”的符号系统,它产生的表意序列的基本组成单元(如图像的bmp格式文件中所有可能出现的字符),即从属于该物理符号系统的“物理”的绝对语意。

2)在本发明的编码方法中,一个“物理”的符号系统可以不编制符号系统代码,这一处理的原因是:每个不同的“物理”的符号系统下的字符均有不同的绝对语意,换言之,即使这些绝对语意的表示形式相同(例如图像的bmp格式文件中的“0”字符和数字“0”字符),它们也具有不同的实际意义;因此,从不同的“物理”的符号系统来源的字符,不论其形式如何,应直接给予不同的绝对语意代码。同时,这些“物理”的绝对语意代码,也可以理解为不从属于任何的符号系统,即它们均代表自然存在的各不相同的绝对语意。

3)基于上述理解,实现本发明的编码方法的编码器应提供一个“学习物理的符号系统的字符”的功能。该功能直接创建代表物理符号系统的字符的绝对语意代码。例如,如果编码器由一个java语言编写的程序操作,对于编码器来说,所有的java程序内的对象实例,均是“java程序环境”这一“物理”的符号系统下的字符,每个java对象实例可以对应于一个绝对语意代码。

作为进一步地改进,本发明所述的“序列由绝对语意组成;一个序列中的每一个位置均是一个绝对语意;一个序列本身也是一个绝对语意”,采用如下方法实现:

1)定义一个特殊的绝对语意代表“空序列”;

2)采用后缀(或前缀)编码方式,按由短到长的顺序,依次为序列的每个后缀(或前缀)序列的绝对语意编码,最后得到整个序列的绝对语意代码。

作为进一步地改进,本发明的编码过程可以采用一个图结构实现,其特征如下:

1)图中的节点可由绝对语意代码标记,或者由符号系统代码标记;

2)图中的边可由绝对语意代码标记,或者由符号系统代码标记;

3)图中任意一对绝对语意代码标记的节点之间最多仅有一条同方向的以绝对语意代码标记的边。

作为进一步地改进,本发明的一个基于图结构实现的方法,具有如下特征:

1)定义一个特殊的绝对语意代码(记为a-0)代表“空序列”,并在最初的图中创建一个由a-0标记的节点;

2)从“空序列”节点出发,经由绝对语意代码标记的边,到达一个代表在出发节点的序列前部添加边上的绝对语意后得到的长度加一的序列的绝对语意代码标记的节点,按这种方法,从需编码的序列的最后一个位置的绝对语意开始,依次倒序添加绝对语意,最后得到整个序列的绝对语意。

作为进一步地改进,本发明的一个基于图结构的后缀编码方法的具体实现方法(记需要编码的序列为[a-p1,a-p2,…,a-pm,a-pn]),采用如下步骤:

1)查询a-0标记的节点是否存在一条标记为a-pn的边到达另一节点;如存在这条边,则到达节点的标记(记为a-t1)代表了需编码序列的最短后缀序列,即[a-pn];如不存在这条边,则创建一个新的绝对语意代码,记为a-t1,再创建一个由a-t1标记的节点,再创建一条边从a-0标记的节点出发连接到a-t1标记的节点,将该边标记为a-pn,再创建一条边从a-t1标记的节点出发连接到a-0标记的节点,将该边标记为a-0(用于索引由a-t1标记的节点的来源节点),此时,a-t1代表需编码序列的最短后缀序列,即[a-pn];

2)从节点a-t1出发,查询是否存在一条标记为a-pm的边连接到另一节点;如存在这条边,则到达节点的标记(记为a-t2)代表了在a-t1所代表的后缀序列的前部添加a-pm后得到的序列(即[a-pm,a-pn]),即a-t2代表一个比a-t1稍长的需编码序列的后缀序列;如不存在这条边,则创建一个新的绝对语意代码,记为a-t2,再创建一个由a-t2标记的节点,再创建一条边从a-t1标记的节点出发连接到a-t2标记的节点,将该边的标记设为a-pm,再创建一条边从a-t2标记的节点出发连接到a-t1标记的节点,将该边标记为a-0(用于索引a-t2标记的节点的来源节点;此处,及所有用于索引来源节点的边的标记均为a-0),此时,a-t2代表在a-t1所代表的后缀序列的前部添加了a-pm后得到的稍长的后缀序列(即[a-pm,a-pn]);

3)按上述方法逐步延长后缀序列,并为每个后缀序列找到一个已经定义的绝对语意代码或者定义一个新的绝对语意代码,最后可以得到由完整的需编码序列定义的绝对语意代码;由上述过程的操作方式可知,当对于同样的序列再次编码时,编码的结果将与上一次编码的结果相同;

4)如需获得某个绝对语意代码(记为a-x)所代表的序列,可以通过以下步骤实现:首先,从a-x标记的节点出发,通过标记为“a-0”的边,得到a-x代表的序列去除其第一个位置所得的后缀序列的绝对语意代码(记为a-y);然后,由于“图中任意一对绝对语意代码标记的节点之间最多仅有一条同方向的以绝对语意代码标记的边”,可以查询得到一条从a-y标记的节点到a-x标记的节点的边,该边的标记(记为a-p1)即为a-x代表的序列中第一个位置上的绝对语意代码;然后,以a-y作为a-x,重复上述过程,依次获得a-x的长度减一的后缀序列的代码和a-x代表的序列的第一个位置的绝对语意代码(分别记为a-p1,a-p2,…,a-pn),直到所得的后缀序列代码为a-0,这时,所得的每一个后缀序列的第一个位置的绝对语意代码的序列[a-p1,a-p2,…,a-pn]即为a-x代表的序列。

作为进一步地改进,本发明所述的“基于一个绝对语意,能定义一个符号系统;即一个符号系统必有一个定义它的绝对语意,但不是每个绝对语意均定义了一个符号系统”,采用如下方法实现:

1)定义一个特殊的绝对语意,记为“-1”,表示“定义符号系统”,该特殊绝对语意的代码记为“a-‘-1’”。

2)当由一个绝对语意(记为a-x)定义一个符号系统时,首先在图中找到a-x标记的节点,查询从该节点出发是否存在一条标记为“a-‘-1’”的边到达另一个节点;如存在这条边,则到达节点的标记(记为s-x)即为a-x定义的符号系统的代码;如不存在这条边,则创建一个新的符号系统代码,记为s-x,再创建一个由s-x标记的节点,再创建一条标记为“a-‘-1’”的边从a-x标记的节点出发连接到s-x标记的节点,再创建一条标记为“a-‘-1’”的边从s-x标记的节点出发连接到a-x标记的节点;这时,s-x即由a-x定义的符号系统的代码。

3)当由一个符号系统(记为s-x)查找定义它的绝对语意时,在图中找到s-x标记的节点;该节点必然存在一条标记为“a-‘-1’”的边到达另一节点,到达节点的标记(记为a-x)即为定义了s-x的绝对语意代码。

作为进一步地改进,本发明所述的“一个绝对语意从属于一个或多个符号系统;一个绝对语意在一个符号系统下对应于一个绝对语意的序列”,采用如下方法实现:在图中从代表序列的绝对语意代码标记的节点出发,连接一条边到符号系统内部的绝对语意代码标记的节点,并用符号系统代码标记这条边;同时,从符号系统代码标记的节点出发,连接一条边到序列的绝对语意代码标记的节点,用符号系统内部的绝对语意代码标记这条边。

1)当一个绝对语意(记为a-x)在一个符号系统(记为s-y)下对应于一个序列(记该序列的绝对语意代码为a-z)时,建立一条标记为s-y的边,从a-z标记的节点出发连接到a-x标记的节点,该边表示符号系统s-y下的绝对语意a-x对应于a-z代表的序列;同时建立一条标记为a-x的边,从s-y标记的节点出发,连接到a-z标记的节点,该边用于从a-x溯源在s-y下定义它的序列;按上述方法,所有的标记为s-y的边的终点节点的代码,均是从属于符号系统s-y的绝对语意代码;

2)当已知一个序列(记该序列的绝对语意代码为a-z)对应一个符号系统(记为s-y)下的一个绝对语意,但不知道该绝对语意的具体代码时,可以创建一个新的绝对语意代码(记为a-x),再创建一个由该代码标记的节点,再创建一条标记为s-y的边,从a-z标记的节点出发连接到a-x标记的节点,再创建一条标记为a-x的边,从s-y标记的节点出发连接到a-z标记的节点;

3)当经过上述第2)点操作后,如编码系统得知,之前由某个序列(记这一序列的绝对语意代码为a-z)创建的某个符号系统(记为s-y)下的绝对语意(记为a-x)应为另一个已存在的绝对语意(记为a-c),则执行合并a-c与a-x的操作,即保留其中一个代码(例如,保留a-c),更新所有以a-x标记的节点为起始的边,设它们的起点为a-c标记的节点,更新所有到达a-x标记的节点的边,设它们的终点为a-c标记的节点,更新所有标记为a-x的边,设它们由a-c标记,然后删除a-x标记的节点;如果a-x与a-c同时定义了符号系统(分别记为s-x与s-c),则进一步合并s-x与s-c,即保留其中一个代码(例如,保留s-c),更新所有以s-x标记的节点为起始的边,设置它们的起点为s-c标记的节点,更新所有到达s-x标记的节点的边,设置它们的终点为s-c标记的节点,更新所有标记为s-x的边,设置它们由s-c标记,然后删除s-x标记的节点;最后去除冗余的边(两个节点间仅保留一条标记相同且方向相同的边)。

4)当由一个绝对语意(记为a-x)查找在一个符号系统(记为s-y)下定义了它的序列时,在图中找到s-y标记的节点,该节点必然存在一条标记为a-x的边,该边到达的节点的标记(记为a-z)即在s-y下定义了a-x的序列的绝对语意代码。

作为进一步地改进,本发明所述的跨符号系统的语意和语意序列的编码方法的具体的实现可以采用神经网络计算硬件;专用计算硬件的设计和操作与图的结构和操作相对应,其对应关系如下:

1)由于同一个代码可以在图中标记一个节点或一条边,因此在设计硬件时,节点和边对应不同的计算单元;换言之,每个计算硬件单元可以通过一个代码和一个表示边或节点的比特寻址;通过寻址的方式可以激活特定的代表由某个代码标记的节点或边的计算单元;

2)计算单元即硬件神经元;硬件神经元可以由其它的已被激活的硬件神经元激活;一个神经元需要两个输入神经元处于激活状态才能激活;

3)前述图操作的基本单元是,由一个节点和一条边找到一个节点,或者由两个节点找到一条边,并且(有时)在无法找到对应的节点或边时,生成新的代码和代码对应的节点和边,并将它们连接起来;这一操作对应于计算硬件通过两个激活的硬件神经元找到第三个硬件神经元,这些图操作的基本单元可以映射为计算硬件的设计和操作:计算硬件包含大量未使用的硬件神经元,这些硬件神经元按需启用;硬件神经元成对设置,一对神经元由同一个代码和一个表示“边或节点”的比特寻址,它们分别表示由同一个代码标记的节点和边;如果图中需要通过一个节点(记为ns),和一条边(记为e)找到另一个节点(记为ne),则设置ne对应的硬件神经元的输入包含ns和e对应的硬件神经元;同理,如果图中需要通过两个节点(记为ns和ne)找到一条边(记为e),则设置e对应的硬件神经元的输入包含ns和ne对应的硬件神经元;在图操作需要创建新的节点和边时,相应地在硬件中启用未使用的硬件神经元并做相应连接;其余计算硬件的功能在上述框架下做相应设计。

本发明的有益效果是:

1)可实现跨符号系统的语意和语意序列的编码,实现了单个语意与语意组成的序列间的对应关系,并且实现了语意与语意组成的序列间的对应经由符号系统确定的关系,是一项构建强人工智能系统的使能技术;

2)可在线学习新的符号、语意和符号系统,具体包括三方面的含义:一,可通过物理的符号系统,随时学习(生成)新的物理的绝对语意;二,可通过已经学习的绝对语意,学习新的绝对语意;三,可通过已学习的绝对语意,定义(生成)新的符号系统。

3)通过本发明的方法编码的所有绝对语意和符号系统之间具有可以相互索引的连接,即可由任意一个代码开始,索引到相关代码,这一反映语意结构的坐标系使得计算生成新的相关语意成为可能。

4)本发明公开的编码方法可以使用软件实现或使用专用的硬件系统实现。

附图说明

图1是本发明的基于图结构的编码方法的示意图。

图2是本发明背景技术中的braille盲文部分字符表的示意图。

具体实施方式

下面详细描述本发明的实施例,下面的实施例是示例性的,旨在用于解释本发明,而不能理解为对本发明的限制。

一个实现一种跨符号系统的语意和语意序列的编码方法的编码器提供如下功能(函数方法):

1)learnphysical(obj):obj是一个java的非序列对象,该方法返回一个代表obj的“绝对语意”代码;

2)getphysical(acode):acode是一个“绝对语意”代码,该方法返回一个java的非序列的对象;

3)definesystem(acode):acode是一个“绝对语意”代码,该方法返回一个由acode定义的“符号系统”的代码;

4)mapseqtoains(acode,scode):acode是一个代表“序列”的“绝对语意”代码,scode是一个“符号系统”代码,该方法返回scode符号系统下的一个“绝对语意”代码,它对应acode所代表的“序列”;

5)getseqforains(acode,scode):acode是一个“绝对语意”代码,scode是一个“符号系统”代码,“绝对语意”acode从属于“符号系统”scode,该方法返回一个“绝对语意”代码,该代码代表的“序列”在scode“符号系统”下对应于acode;可以理解为,getseqforains与mapseqtoains是互逆操作,它们在同一个scode参数下,实现两个acode的相互转换。

6)prefixto(acode1,acode2):acode1和acode2是两个“绝对语意”代码,acode1理解为一个“绝对语意”,acode2理解为一个“序列”,该方法的返回值是一个“绝对语意”代码,代表在“序列”acode2的前部添加acode1后得到的“序列”;

7)getseqfora(acode):acode是一个“绝对语意”代码,该方法的返回值是一个由“绝对语意”代码组成的序列,该序列为acode代表的“序列”。

8)setequala(acode1,acode2):acode1和acode2是两个“绝对语意”代码,该方法设置这两个“绝对语意”等价,保留acode2,删除acode1,该方法无返回值。

一个具体实施例的案例说明如下:

存在“二进制”这一“符号系统”和“十进制”这一“符号系统”;在“二进制”的“符号系统”中,序列“1010”的语意为数值10;在“十进制”的“符号系统”中,序列“10”的语意也为数值10;在表示上述意义时,需要用到一组字符:“二”、“进”、“制”、“十”、“1”、“0”。

具体实施的任务一:创建对应于上述实施例案例说明的图结构(附图1),步骤如下:

1)learnphysical(“二”):找到或定义java字符“二”的“绝对语意”代码,方法返回值为a-1。该步骤首先查找是否有节点具有“javaobj”属性为java字符“二”,如有则返回该节点的标记。这时图中没有“javaobj”属性为java字符“二”的节点,因此创建“绝对语意”代码a-1,在图中创建由a-1标记的节点,为该节点创建一个属性“javaobj”,设置其值为java字符“二”。这时代码a-1代表一个“物理”的“绝对语意”:“二”。

2)learnphysical(“进”):找到或定义java字符“进”的“绝对语意”代码,方法返回值为a-2。该步骤首先查找是否有节点具有“javaobj”属性为java字符“进”,如有则返回该节点的标记。这时图中没有“javaobj”属性为java字符“进”的节点,因此创建“绝对语意”代码a-2,在图中创建由a-2标记的节点,为该节点创建一个属性“javaobj”,设置其值为java字符“进”。这时代码a-2代表一个“物理”的“绝对语意”:“进”。

3)learnphysical(“制”):找到或定义java字符“制”的“绝对语意”代码,方法返回值为a-3。该步骤首先查找是否有节点具有“javaobj”属性为java字符“制”,如有则返回该节点的标记。这时图中没有“javaobj”属性为java字符“制”的节点,因此创建“绝对语意”代码a-3,在图中创建由a-3标记的节点,为该节点创建一个属性“javaobj”,设置其值为java字符“制”。这时代码a-3代表一个“物理”的“绝对语意”:“制”。

4)learnphysical(“十”):找到或定义java字符“十”的“绝对语意”代码,方法返回值为a-4。该步骤首先查找是否有节点具有“javaobj”属性为java字符“十”,如有则返回该节点的标记。这时图中没有“javaobj”属性为java字符“十”的节点,因此创建“绝对语意”代码a-4,在图中创建由a-4标记的节点,为该节点创建一个属性“javaobj”,设置其值为java字符“十”。这时代码a-4代表一个“物理”的“绝对语意”:“十”。

5)learnphysical(“1”):找到或定义java字符“1”的“绝对语意”代码,方法返回值为a-5。该步骤首先查找是否有节点具有“javaobj”属性为java字符“1”,如有则返回该节点的标记。这时图中没有找到“javaobj”属性为java字符“1”的节点,因此创建“绝对语意”代码a-5,在图中创建由a-5标记的节点,为该节点创建一个属性“javaobj”,设置其值为java字符“1”。这时代码a-5代表一个“物理”的“绝对语意”:“1”。

6)learnphysical(“0”):找到或定义java字符“0”的“绝对语意”代码,方法返回值为a-6。该步骤首先查找是否有节点具有“javaobj”属性为java字符“0”,如有则返回该节点的标记。这时图中没有找到“javaobj”属性为java字符“0”的节点,因此创建“绝对语意”代码a-6,在图中创建由a-6标记的节点,为该节点创建一个属性“javaobj”,设置其值为java字符“0”。这时代码a-6代表一个“物理”的“绝对语意”:“0”。

7)prefixto(a-3,a-0):找到或定义在“序列”a-0的前部添加“绝对语意”a-3所得“序列”的“绝对语意”代码,方法返回值为代码a-7。该步骤查询a-0标记的节点是否存在一条标记为a-3的边到达另一节点;由于图中不存在这条边,创建一个新的“绝对语意”代码(记为a-7),并在图中创建一个由a-7标记的节点,再创建一条边从a-0标记的节点出发连接到a-7标记的节点,将该边标记为a-3,再创建一条边从a-7标记的节点出发连接到a-0标记的节点,将该边标记为a-0(用于索引a-7标记的节点的来源节点),此时,a-7代表序列[a-3],可理解为[“制”]。

8)prefixto(a-2,a-7):找到或定义在“序列”a-7的前部添加“绝对语意”a-2所得“序列”的“绝对语意”代码,方法返回值为代码a-8。该步骤查询a-7标记的节点是否存在一条标记为a-2的边到达另一节点;由于图中不存在这条边,创建一个新的“绝对语意”代码(记为a-8),并在图中创建一个由a-8标记的节点,再创建一条边从a-7标记的节点出发连接到a-8标记的节点,将该边标记为a-2,再创建一条边从a-8标记的节点出发连接到a-7标记的节点,将该边标记为a-0(用于索引a-8的标记的节点的来源节点),此时,a-8代表序列[a-2,a-3],可理解为[“进”“制”]。

9)prefixto(a-1,a-8):找到或定义在“序列”a-8的前部添加“绝对语意”a-1所得“序列”的“绝对语意”代码,方法返回值为代码a-9。该步骤查询a-8标记的节点是否存在一条标记为a-1的边到达另一节点;由于图中不存在这条边,创建一个新的“绝对语意”代码(记为a-9),并在图中创建一个由a-9标记的节点,再创建一条边从a-8标记的节点出发连接到a-9标记的节点,将该边标记为a-1,再创建一条边从a-9标记的节点出发连接到a-8标记的节点,将该边标记为a-0(用于索引a-9标记的节点的来源节点),此时,a-9代表序列[a-1,a-2,a-3],可理解为[“二”“进”“制”]。

10)prefixto(a-4,a-8):找到或定义在“序列”a-8的前部添加“绝对语意”a-4所得“序列”的“绝对语意”代码,方法返回值为代码a-10。该步骤查询a-8标记的节点是否存在一条标记为a-4的边到达另一节点;由于图中不存在这条边,创建一个新的“绝对语意”代码(记为a-10),并在图中创建一个由a-10标记的节点,再创建一条边从a-8标记的节点出发连接到a-10标记的节点,将该边标记为a-4,再创建一条边从a-10标记的节点出发连接到a-8标记的节点,将该边标记为a-0(用于索引a-10标记的节点的来源节点),此时,a-10代表序列[a-4,a-2,a-3],可理解为[“十”“进”“制”]。

11)definesystem(a-9):找到或定义一个由“绝对语意”a-9定义的“符号系统”,方法返回值为s-1。该步骤在图中找到a-9标记的节点,查询从该节点出发是否存在一条标记为“a-‘-1’”的边到达另一个节点;由于图中不存在这条边,创建一个“符号系统”代码(记为s-1),并在图中创建一个由s-1标记的节点,再创建一条标记为“a-‘-1’”的边从a-9标记的节点出发连接到s-1标记的节点,再创建一条标记为“a-‘-1’”的边从s-1标记的节点出发连接到a-9标记的节点;此时,基于一个“绝对语意”a-9([“二”“进”“制”]),定义了一个新的“符号系统”s-1。

12)definesystem(a-10):找到或定义一个由“绝对语意”a-10定义的“符号系统”,方法返回值为s-2。该步骤在图中找到a-10标记的节点,查询从该节点出发是否存在一条标记为“a-‘-1’”的边到达另一个节点;由于图中不存在这条边,创建一个“符号系统”代码(记为s-2),并在图中创建一个由s-2标记的节点,再创建一条标记为“a-‘-1’”的边从a-10标记的节点出发连接到s-2标记的节点,再创建一条标记为“a-‘-1’”的边从s-2标记的节点出发连接到a-10标记的节点;此时,基于一个“绝对语意”a-10([“十”“进”“制”]),定义了一个新的“符号系统”s-2。

13)prefixto(a-6,a-0):找到或定义在“序列”a-0的前部添加“绝对语意”a-6所得“序列”的“绝对语意”代码,方法返回值为代码a-11。该步骤查询a-0标记的节点是否存在一条标记为a-6的边到达另一节点;由于图中不存在这条边,创建一个新的“绝对语意”代码(记为a-11),并在图中创建一个由a-11标记的节点,再创建一条边从a-0标记的节点出发连接到a-11标记的节点,将该边标记为a-6,再创建一条边从a-11标记的节点出发连接到a-0标记的节点,将该边标记为a-0(用于索引a-11标记的节点的来源节点),此时,a-11代表序列[a-6],可理解为[“0”]。

14)prefixto(a-5,a-11):找到或定义在“序列”a-11的前部添加“绝对语意”a-5所得“序列”的“绝对语意”代码,方法返回值为代码a-12。该步骤查询a-11标记的节点是否存在一条标记为a-5的边到达另一节点;由于图中不存在这条边,创建一个新的“绝对语意”代码(记为a-12),并在图中创建一个由a-12标记的节点,再创建一条边从a-11标记的节点出发连接到a-12标记的节点,将该边标记为a-5,再创建一条边从a-12标记的节点出发连接到a-11标记的节点,将该边标记为a-0(用于索引a-12标记的节点的来源节点),此时,a-12代表序列[a-5,a-6],可理解为[“1”“0”]。

15)prefixto(a-6,a-12):找到或定义在“序列”a-12的前部添加“绝对语意”a-6所得“序列”的“绝对语意”代码,方法返回值为代码a-13。该步骤查询a-12标记的节点是否存在一条标记为a-6的边到达另一节点;由于图中不存在这条边,创建一个新的“绝对语意”代码(记为a-13),并在图中创建一个由a-13标记的节点,再创建一条边从a-12标记的节点出发连接到a-13标记的节点,将该边标记为a-6,再创建一条边从a-13标记的节点出发连接到a-12标记的节点,将该边标记为a-0(用于索引a-13标记的节点的来源节点),此时,a-13代表序列[a-6,a-5,a-6],可理解为[“0”“1”“0”]。

16)prefixto(a-5,a-13):找到或定义在“序列”a-13的前部添加“绝对语意”a-5所得“序列”的“绝对语意”代码,方法返回值为代码a-14。该步骤查询a-13标记的节点是否存在一条标记为a-5的边到达另一节点;由于图中不存在这条边,创建一个新的“绝对语意”代码(记为a-14),并在图中创建一个由a-14标记的节点,再创建一条边从a-13标记的节点出发连接到a-14标记的节点,将该边标记为a-5,再创建一条边从a-14标记的节点出发连接到a-13标记的节点,将该边标记为a-0(用于索引a-14标记的节点的来源节点),此时,a-14代表序列[a-5,a-6,a-5,a-6],可理解为[“1”“0”“1”“0”]。

17)mapseqtoains(a-14,s-1):找到或定义在s-1“符号系统”下,对应于a-14代表的“序列”的“绝对语意”代码,方法返回值为a-15。该步骤查询a-14标记的节点是否存在一条标记为s-1的边到达另一节点;由于图中不存在这条边,创建一个新的“绝对语意”代码(记为a-15),并在图中创建一个由a-15标记的节点,再创建一条标记为s-1的边,从a-14标记的节点出发连接到a-15标记的节点,再创建一条标记为a-15的边,从s-1标记的节点出发连接到a-14标记的节点,此时,“绝对语意”a-15即为a-14代表的序列(可理解为[“1”“0”“1”“0”])在s-1符号系统下对应的“绝对语意”,可理解为“数值10”。

18)mapseqtoains(a-12,s-2):找到或定义在s-2“符号系统”下,对应于a-12代表的“序列”的“绝对语意”代码,方法返回值为a-16。该步骤查询a-12标记的节点是否存在一条标记为s-2的边到达另一节点;由于图中不存在这条边,创建一个新的“绝对语意”代码(记为a-16),并在图中创建一个由a-16标记的节点,再创建一条标记为s-2的边,从a-12标记的节点出发连接到a-16标记的节点,再创建一条标记为a-16的边,从s-2标记的节点出发连接到a-12标记的节点,此时,“绝对语意”a-16即为a-12代表的序列(可理解为[“1”“0”])在s-2符号系统下对应的“绝对语意”,可理解为“数值10”。

19)setequala(a-16,a-15):设置a-15和a-16所代表的“绝对语意”(可理解为“数值10”)等价。该步骤保留代码a-15,删除代码a-16,无返回值。该步骤更新所有以a-16标记的节点为起始的边,设置它们的起点为由a-15标记的节点,更新所有到达a-16标记的节点的边,设置它们的终点为a-15标记的节点,更新所有标记为a-16的边,设置它们由a-15标记。由于a-16没有定义“符号系统”(不存在由a-16标记的节点起始的标记为a-‘-1’的边),因此不做进一步处理。最后删除由a-16标记的节点。

具体实施的任务二:获得序列“1010”作为二进制时的绝对语意在十进制时由哪个序列定义,步骤如下:

1)learnphysical(“二”):找到或定义java字符“二”的“绝对语意”代码,方法返回值为a-1。该步骤首先查找是否有节点具有“javaobj”属性为java字符“二”,这时图中存在“javaobj”属性为java字符“二”的节点,方法返回该节点的标记代码a-1。

2)learnphysical(“进”):找到或定义java字符“进”的“绝对语意”代码,方法返回值为a-2。该步骤首先查找是否有节点具有“javaobj”属性为java字符“进”,这时图中存在“javaobj”属性为java字符“进”的节点,方法返回该节点的标记代码a-2。

3)learnphysical(“制”):找到或定义java字符“制”的“绝对语意”代码,方法返回值为a-3。该步骤首先查找是否有节点具有“javaobj”属性为java字符“制”,这时图中存在“javaobj”属性为java字符“制”的节点,方法返回该节点的标记代码a-3。

4)learnphysical(“十”):找到或定义java字符“十”的“绝对语意”代码,方法返回值为a-4。该步骤首先查找是否有节点具有“javaobj”属性为java字符“十”,这时图中存在“javaobj”属性为java字符“十”的节点,方法返回该节点的标记代码a-4。

5)learnphysical(“1”):找到或定义java字符“1”的“绝对语意”代码,方法返回值为a-5。该步骤首先查找是否有节点具有“javaobj”属性为java字符“1”,这时图中存在“javaobj”属性为java字符“1”的节点,方法返回该节点的标记代码a-5。

6)learnphysical(“0”):找到或定义java字符“0”的“绝对语意”代码,方法返回值为a-6。该步骤首先查找是否有节点具有“javaobj”属性为java字符“0”,这时图中存在“javaobj”属性为java字符“0”的节点,方法返回该节点的标记代码a-6。

7)prefixto(a-6,a-0):找到或定义在“序列”a-0的前部添加“绝对语意”a-6所得“序列”的“绝对语意”代码,方法返回值为代码a-11。该步骤查询由a-0标记的节点是否存在一条标记为a-6的边到达另一节点;由于图中存在这条边,则到达标记为a-11的节点,方法返回该节点的标记代码a-11,此时,a-11代表序列[a-6],可理解为[“0”]。

8)prefixto(a-5,a-11):找到或定义在“序列”a-11的前部添加“绝对语意”a-5所得“序列”的“绝对语意”代码,方法返回值为代码a-12。该步骤查询a-11标记的节点是否存在一条标记为a-5的边到达另一节点;由于图中存在这条边,则到达标记为a-12的节点,方法返回该节点的标记代码a-12,此时,a-12代表一个序列[a-5,a-6],可理解为[“1”“0”]。

9)prefixto(a-6,a-12):找到或定义在“序列”a-12的前部添加“绝对语意”a-6所得“序列”的“绝对语意”代码,方法返回值为代码a-13。该步骤查询a-12标记的节点是否存在一条标记为a-6的边到达另一节点;由于图中存在这条边,则到达标记为a-13的节点,方法返回该节点的标记代码a-13,此时,a-13代表一个序列[a-6,a-5,a-6],可理解为[“0”“1”“0”]。

10)prefixto(a-5,a-13):找到或定义在“序列”a-13的前部添加“绝对语意”a-5所得“序列”的“绝对语意”代码,方法返回值为代码a-14。该步骤查询a-13标记的节点是否存在一条标记为a-5的边到达另一节点;由于图中存在这条边,则到达标记为a-14的节点,方法返回该节点的标记代码a-14,此时,a-14代表一个序列[a-5,a-6,a-5,a-6],可理解为[“1”“0”“1”“0”]。

11)prefixto(a-3,a-0):找到或定义在“序列”a-0的前部添加“绝对语意”a-3所得“序列”的“绝对语意”代码,方法返回值为代码a-7。该步骤查询a-0标记的节点是否存在一条标记为a-3的边到达另一节点;由于图中存在这条边,则到达标记为a-7的节点,方法返回该节点的标记代码a-7,此时,a-7代表序列[a-3],可理解为[“制”]。

12)prefixto(a-2,a-7):找到或定义在“序列”a-7的前部添加“绝对语意”a-2所得“序列”的“绝对语意”代码,方法返回值为代码a-8。该步骤查询a-7标记的节点是否存在一条标记为a-2的边到达另一节点;由于图中存在这条边,则到达标记为a-8的节点,方法返回该节点的标记代码a-8,此时,a-8代表序列[a-2,a-3],可理解为[“进”“制”]。

13)prefixto(a-1,a-8):找到或定义在“序列”a-8的前部添加“绝对语意”a-1所得“序列”的“绝对语意”代码,方法返回值为代码a-9。该步骤查询a-8标记的节点是否存在一条标记为a-1的边到达另一节点;由于图中存在这条边,则到达标记为a-9的节点,方法返回该节点的标记代码a-9,此时,a-9代表序列[a-1,a-2,a-3],可理解为[“二”“进”“制”]。

14)prefixto(a-4,a-8):找到或定义在“序列”a-8的前部添加“绝对语意”a-4所得“序列”的“绝对语意”代码,方法返回值为代码a-10。该步骤查询a-8标记的节点是否存在一条标记为a-4的边到达另一节点;由于图中存在这条边,则到达标记为a-10的节点,方法返回该节点的标记代码a-10,此时,a-10代表序列[a-4,a-2,a-3],可理解为[“十”“进”“制”]。

15)definesystem(a-9):找到或定义一个由“绝对语意”a-9定义的“符号系统”,方法返回值为s-1。该步骤在图中找到a-9标记的节点,查询从该节点出发是否存在一条标记为“a-‘-1’”的边到达另一个节点;由于图中存在这条边,其到达节点的标记为s-1,方法返回s-1,即“绝对语意”a-9([“二”“进”“制”])定义的“符号系统”代码为s-1。

16)definesystem(a-10):找到或定义一个由“绝对语意”a-10定义的“符号系统”,方法返回值为s-2。该步骤在图中找到a-10标记的节点,查询从该节点出发是否存在一条标记为“a-‘-1’”的边到达另一个节点;由于图中存在这条边,其到达节点的标记为s-2,方法返s-2,即“绝对语意”a-10([“十”“进”“制”])定义的“符号系统”代码为s-2。

17)mapseqtoains(a-14,s-1):找到或定义在s-1“符号系统”下,对应于a-14代表的“序列”的“绝对语意”代码,方法返回值为a-15。该步骤查询a-14标记的节点是否存在一条标记为s-1的边到达另一节点;由于图中存在这条边,其到达节点的标记为a-15,方法返回a-15,即“绝对语意”a-15为a-14代表的序列([“1”“0”“1”“0”])在s-1“符号系统”下对应的“绝对语意”,可理解为“数值10”。

18)getseqforains(a-15,s-2):找到一个“序列”的“绝对语意”代码,该“序列”在s-2“符号系统”下定义了a-15,方法返回值为a-12。该步骤在图中找到s-2标记的节点,该节点必然存在一条标记为a-15的边到达另一节点,其到达节点的标记为a-12,方法返回a-12,即a-12代表的“序列”定义了在s-2“符号系统”([“十”“进”“制”])下的“绝对语意”a-15。

19)getseqfora(a-12):找到“绝对语意”代码a-12代表的“序列”,方法的返回值为[a-5,a-6]。该步骤从a-12标记的节点出发,通过标记为“a-0”的边到达一个节点,该节点的标记(a-11)代表一个由a-12代表的“序列”去除其第一个位置后所得的后缀序列,然后查询从a-11标记的节点到a-12标记的节点之间的标记为“绝对语意”代码的边(必然有且只有一条),该边的标记(a-5)为a-12代表的“序列”中第一个位置上的“绝对语意”代码;然后,从a-11标记的节点出发,通过标记为“a-0”的边到达一个节点,该节点的标记(a-0)代表一个由a-11代表的“序列”去除其第一个位置后所得的后缀序列,然后查询从a-0标记的节点到a-11标记的节点之间的标记为“绝对语意”代码的边(必然有且只有一条),该边的标记(a-6)为a-11代表的“序列”中第一个位置上的“绝对语意”代码,也即a-12代表的“序列”中第二个位置上的“绝对语意”代码;此时得到的后缀序列的代码为a-0,因此结束循环,方法返回a-12对应的“序列”[a-5,a-6]。

20)getphysical(a-5):找到“绝对语意”代码a-5对应的java非序列对象,方法返回值为“1”。该步骤查找标记为a-5的节点,返回其“javaobj”属性的值,方法返回java字符“1”。

21)getphysical(a-6):找到“绝对语意”代码a-6对应的java的非序列对象,方法返回值为“0”。该步骤查找标记为a-6的节点,返回其“javaobj”属性的值,方法返回java字符“0”。

22)由上述第19)-21)步结果可知:“1010”作为二进制时的绝对语意在十进制时由序列[“1””0”]([a-5,a-6])定义。

以上并非是对本专利具体实施方式的限制。应当指出,对于本技术领域的普通技术人员来说,在不脱离本发明实质范围的前提下,还可以做出若干变化、改型、添加或替换,这些改进和润饰也应视为本发明的保护范围。

当前第1页1 2 
网友询问留言 已有0条留言
  • 还没有人留言评论。精彩留言会获得点赞!
1