信息验证

摘要

一种用于知识验证的计算机实现的方法包括标识用于验证的事实。可以创建表示用于验证的事实的语义模型。可以标识与事实关联的上下文，并且可以至少部分地基于标识的上下文来创建自动机。可以使用自动机验证事实。

主权项

一种用于知识验证的计算机实现的方法，所述方法包括：标识用于验证的事实；创建语义模型，该语义模型表示用于验证的事实；标识与事实关联的上下文；至少部分地基于标识的上下文创建自动机；以及使用自动机验证事实。