Saved successfully
Save failed
Saved Successfully
Save Failed
公开(公告)号:CN103218288A
公开(公告)日:2013-07-24
申请号:CN201210528222.1
申请日:2012-12-10
Applicant: SAP股份公司
Inventor: D.里特 , S.鲁普里克
IPC: G06F11/36
CPC classification number: G06N5/02 , G06N5/022
Abstract: 一种用于知识验证的计算机实现的方法包括标识用于验证的事实。可以创建表示用于验证的事实的语义模型。可以标识与事实关联的上下文,并且可以至少部分地基于标识的上下文来创建自动机。可以使用自动机验证事实。