公开(公告)号：CN108780525A

公开(公告)日：2018-11-09

申请号：CN201780016698.8

申请日：2017-01-27

Applicant: D-波系统公司

Inventor： 威廉·G·麦克雷迪 ,  法比安·阿里尔·丘达科 ,  卞正兵

IPC: G06N99/00 ,  G06N7/00

CPC classification number: G06N99/005 ,  G06N5/003 ,  G06N5/04 ,  G06N7/005 ,  G06N99/002

Abstract: 通过计算系统进行的生成学习通过以下各项来实现：形成包括在布尔值变量上定义的约束满足问题(CSP)的生成学习模型；在基于命题可满足性的一阶逻辑中描述所述CSP；将所述CSP翻译成子句形式；以及利用至少一个可满足性(SAT)求解器来执行推理。生成学习模型可以例如通过以下各项来形成：对包括多个字符的字符串执行感知识别、根据语法判定所述字符串在句法上是否有效、以及判定所述字符串在指称上是否有效。各种类型的处理器和/或电路系统都可以实施上述操作。