[发明专利]构造非确定性(NP)图灵机的多项式方法

权利要求书

1.一种计算机实现的非确定性图灵机，所述非确定性图灵机包括：

知识库，包含表示多个对象的数据、表示多个类的数据、以及表示所述多个对象和所述多个类之间的关系的数据；

归纳模块，包括用于生成表示由表示多个对象的多个输入所表示的概念的数据以及在所述知识库中存储表示所述概念的数据的装置；

演绎模块，用于从所述知识库中检索表示包含由对所述演绎模块的输入所表示的对象在内的类的数据；

化简模块，用于从所述知识库中检索表示作为由对所述化简模块的输入所表示的类的成员的对象的数据；

其中，表示所述多个对象的数据以第一多个空间二进制数的三维表示的形式来表示所述多个对象；以及

其中，表示所述多个类的数据以第二多个空间二进制数的三维表示的形式来表示所述多个类；

其中，所述多个输入以及所述非确定性图灵机的当前状态不会确定以下至少一项：(1)表示类的数据；以及(2)表示对象的数据；

其中，第一多个空间二进制数和第二多个空间二进制数中的每一个具有从包括-1和+1的集合中选择的值。

2.根据权利要求1所述的计算机实现的非确定性图灵机，还包括：

认知逻辑单元，包括用于接收输入并触发所述归纳模块针对所述输入和所述知识库中存储的数据执行归纳以生成包含由所述输入表示的对象在内的类的表示的装置。

3.根据权利要求1所述的计算机实现的非确定性图灵机，还包括：

认知逻辑单元，包括用于接收输入并触发所述演绎模块针对所述输入和所述知识库中存储的数据执行演绎以从所述知识库中检索表示包含由所述输入表示的对象在内的类的数据的装置。

4.根据权利要求1所述的计算机实现的非确定性图灵机，还包括：

认知逻辑单元，包括用于接收输入并触发所述化简模块针对所述输入和所述知识库中存储的数据执行演绎以从所述知识库中检索表示作为由所述输入表示的类的成员的对象的数据的装置。

5.根据权利要求1所述的计算机实现的非确定性图灵机，其中，所述演绎模块包括：用于通过针对所述知识库中的数据执行集合运算来检索表示所述类的数据的装置。

6.根据权利要求1所述的计算机实现的非确定性图灵机，其中，所述化简模块包括：用于通过针对所述知识库中的数据执行集合运算来检索表示所述对象的数据的装置。

7.一种用于计算机实现的非确定性图灵机的方法，所述非确定性图灵机包括知识库，其中，所述知识库包含表示多个对象的数据、表示多个类的数据、以及表示所述多个对象和所述多个类之间的关系的数据，其中，所述方法包括：

生成表示由表示多个对象的多个输入所表示的概念的数据以及用于在所述知识库中存储表示所述概念的数据；

从所述知识库中检索表示包含由对演绎模块的输入所表示的对象在内的类的数据；

从所述知识库中检索表示作为由对化简模块的输入所表示的类的成员的对象的数据；

其中，表示所述多个对象的数据以第一多个空间二进制数的三维表示的形式来表示所述多个对象；以及

其中，表示所述多个类的数据以第二多个空间二进制数的三维表示的形式来表示所述多个类；

其中，所述多个输入以及所述非确定性图灵机的当前状态不会确定以下至少一项：(1)表示类的数据；以及(2)表示对象的数据；

其中，第一多个空间二进制数和第二多个空间二进制数中的每一个具有从包括-1和+1的集合中选择的值。

8.根据权利要求7所述的方法，还包括：

接收输入并用于触发针对所述输入和所述知识库中存储的数据执行归纳，以生成包含由所述输入表示的对象在内的类的表示。

9.根据权利要求7所述的方法，还包括：

接收输入并用于触发所述演绎模块针对所述输入和所述知识库中存储的数据执行演绎，以从所述知识库中检索表示包含由所述输入表示的对象在内的类的数据。