[发明专利]用于生成学习的系统和方法

权利要求书

1.一种用于通过计算系统进行生成学习的方法，所述计算系统包括至少一个处理器以及存储有处理器可执行指令或数据中的至少一者的至少一个非暂态处理器可读存储介质，所述可执行指令或数据在被所述至少一个处理器执行时使所述至少一个处理器执行所述方法，所述方法包括：

由所述至少一个处理器形成包括在布尔值变量上定义的约束满足问题(CSP)的生成学习模型；

由所述至少一个处理器在基于命题可满足性的一阶逻辑中描述所述CSP；

由所述至少一个处理器将所述CSP翻译成子句形式；以及

利用至少一个可满足性(SAT)求解器来执行推理。

2.如权利要求1所述的方法，其中，形成生成学习模型包括通过以下各项来形成生成学习模型：对包括多个字符的字符串执行感知识别、根据语法判定所述字符串在句法上是否有效、以及判定所述字符串在指称上是否有效。

3.如权利要求1所述的方法，其中，根据语法判定所述字符串在句法上是否有效、以及判定所述字符串在指称上是否有效包括：根据语法判定由多个字符形成的表达式在句法上是否有效、以及判定所述表达式在指称上是否有效。

4.如权利要求3所述的方法，其中，根据语法判定由多个字符形成的表达式在句法上是否有效、以及判定所述表达式在指称上是否有效包括：根据语法判定由多个字符形成的方程式在句法上是否有效、以及判定所述方程式在指称上是否有效。

5.如权利要求1所述的方法，其中，利用至少一个SAT求解器执行推理包括：由数字处理器利用至少一个SAT求解器来执行推理。

6.如权利要求1所述的方法，其中，利用至少一个SAT求解器执行推理包括：由量子处理器利用至少一个SAT求解器来执行推理。

7.如权利要求1所述的方法，其中，利用至少一个SAT求解器执行推理包括：由数字处理器和量子处理器利用至少一个SAT求解器来执行推理。

8.如权利要求5至7中任一项所述的方法，其中，利用至少一个SAT求解器执行推理包括：判定是否存在满足给定布尔表达式的解释。

9.如权利要求8所述的方法，其中，判定是否存在满足给定布尔表达式的解释包括：分配权重以及生成使用最大似然法训练的概率描述。

10.一种生成学习系统，包括：

感知输入子系统，可操作用于接收多个字符；

组合性逻辑电路系统，通信地耦合至所述感知输入子系统，并且可操作用于判定由所述多个字符中的至少一些形成的表达式在语法中是否是句法上有效的句子；以及

指称和语义子系统，通信地耦合至所述组合性逻辑电路系统，并且可操作用于判定所述表达式在指称上是否有效。

11.如权利要求10所述的生成学习系统，其中，所述语法是上下文无关语法。

12.如权利要求10或权利要求11所述的生成学习系统，其中，所述生成学习系统可操作用于执行布尔算数领域的生成学习。

13.如权利要求12所述的生成学习系统，其中，所述指称和语义子系统可操作用于判定布尔表达式是真还是假。

14.如权利要求10所述的生成学习系统，其中，所述生成学习系统包括至少一个SAT求解器。

15.如权利要求14所述的生成学习系统，其中，所述至少一个SAT求解器在数字处理器上可执行。

16.如权利要求14所述的生成学习系统，其中，所述至少一个SAT求解器在量子处理器上可执行。