[发明专利]高效规则集实现方式的自动生成

权利要求书

1.一种系统，包括：

处理器；以及

存储器，其与处理器耦合，其中存储器被配置成向处理器提供指令，所述指令在被执行时引起处理器：

访问规则集；

针对所述规则集中的每个non-const规则，构造一个或多个蕴涵有向无环图（DAG），其中：

所述non-const规则直接引起至少一个外部输出或至少一个外部动作；并且

所述一个或多个蕴涵DAG指定规则条件，包括一个或多个可观察规则条件；

对针对所述规则集构造的蕴涵DAG进行编译以获得编译结果，所述编译结果被配置成评估与所述规则集相关联的规则条件，并且当规则条件中的至少一个评估为真时确定一个或多个动作；以及

输出所述编译结果。

2.根据权利要求1所述的系统，其中所述一个或多个蕴涵DAG的构造至少部分地基于一个或多个适用的const规则。

3.根据权利要求1所述的系统，其中所述一个或多个蕴涵DAG的构造至少部分地基于一个或多个适用的const规则，并且其中所述一个或多个适用的const规则是从所述non-const规则中导出的，或者是在所述规则集中指定的。

4.根据权利要求1所述的系统，其中所述一个或多个蕴涵DAG的构造至少部分地基于一个或多个适用的const规则，并且其中所述一个或多个适用的const规则不生成外部输出或外部动作。

5.根据权利要求1所述的系统，其中所述规则集被嵌入在指定了元素及其关系的对象模型中。

6.根据权利要求1所述的系统，其中所述规则集被嵌入在对象模型中，所述对象模型指定了元素及其关系，包括指定与所述对象模型中的元素相关联的子条件蕴涵。

7.根据权利要求1所述的系统，其中所述编译结果包括针对其进行匹配以执行规则条件评估的表。

8.根据权利要求1所述的系统，其中所述编译结果包括显式地评估规则条件的所生成代码。

9.根据权利要求1所述的系统，其中所述编译结果包括显式地评估规则条件的所生成代码，并且其中依据规则条件中涉及的元素和输入来参数化所生成代码。

10.根据权利要求1所述的系统，其中所述编译结果包括显式地评估规则条件的所生成代码，并且其中所生成代码在被执行时对个体输入改变做出反应，以重新评估依赖于所述输入的一个或多个规则条件。

11.根据权利要求1所述的系统，其中对所述蕴涵DAG进行编译包括执行症状的反向传播以消除模糊性。

12.一种自动生成规则集实现方式的方法，包括：

访问规则集；

针对所述规则集中的每个non-const规则，构造一个或多个蕴涵有向无环图（DAG），其中：

所述non-const规则直接引起至少一个外部输出或至少一个外部动作；并且

所述一个或多个蕴涵DAG指定规则条件，包括一个或多个可观察规则条件；

对针对所述规则集构造的蕴涵DAG进行编译以获得编译结果，所述编译结果被配置成评估与所述规则集相关联的规则条件，并且当规则条件中的至少一个评估为真时确定一个或多个动作；以及

输出所述编译结果。

13.根据权利要求12所述的方法，其中所述一个或多个蕴涵DAG的构造至少部分地基于一个或多个适用的const规则。

14.根据权利要求12所述的方法，其中所述规则集被嵌入在指定了元素及其关系的对象模型中。

15.根据权利要求12所述的方法，其中所述编译结果包括针对其进行匹配以执行规则条件评估的表。