[發(fā)明專利]高效規(guī)則集實現(xiàn)方式的自動生成

在審

• 申請?zhí)枺?/td>: 201980065622.3
• 申請日: 2019-09-05
• 公開（公告）號: CN112771550A
• 公開（公告）日: 2021-05-07
• 發(fā)明（設計）人: D·R·切里頓
• 申請（專利權）人: 奧普塔姆軟件股份有限公司
• 主分類號: G06N5/02
• 分類號: G06N5/02
• 代理公司: 中國專利代理(香港)有限公司 72001
• 代理人: 劉藝詩;呂傳奇

1.一種系統(tǒng)，包括：

處理器；以及

存儲器，其與處理器耦合，其中存儲器被配置成向處理器提供指令，所述指令在被執(zhí)行時引起處理器：

訪問規(guī)則集；

針對所述規(guī)則集中的每個non-const規(guī)則，構造一個或多個蘊涵有向無環(huán)圖（DAG），其中：

所述non-const規(guī)則直接引起至少一個外部輸出或至少一個外部動作；并且

所述一個或多個蘊涵DAG指定規(guī)則條件，包括一個或多個可觀察規(guī)則條件；

對針對所述規(guī)則集構造的蘊涵DAG進行編譯以獲得編譯結果，所述編譯結果被配置成評估與所述規(guī)則集相關聯(lián)的規(guī)則條件，并且當規(guī)則條件中的至少一個評估為真時確定一個或多個動作；以及

輸出所述編譯結果。

2.根據(jù)權利要求1所述的系統(tǒng)，其中所述一個或多個蘊涵DAG的構造至少部分地基于一個或多個適用的const規(guī)則。

3.根據(jù)權利要求1所述的系統(tǒng)，其中所述一個或多個蘊涵DAG的構造至少部分地基于一個或多個適用的const規(guī)則，并且其中所述一個或多個適用的const規(guī)則是從所述non-const規(guī)則中導出的，或者是在所述規(guī)則集中指定的。

4.根據(jù)權利要求1所述的系統(tǒng)，其中所述一個或多個蘊涵DAG的構造至少部分地基于一個或多個適用的const規(guī)則，并且其中所述一個或多個適用的const規(guī)則不生成外部輸出或外部動作。

5.根據(jù)權利要求1所述的系統(tǒng)，其中所述規(guī)則集被嵌入在指定了元素及其關系的對象模型中。

6.根據(jù)權利要求1所述的系統(tǒng)，其中所述規(guī)則集被嵌入在對象模型中，所述對象模型指定了元素及其關系，包括指定與所述對象模型中的元素相關聯(lián)的子條件蘊涵。

7.根據(jù)權利要求1所述的系統(tǒng)，其中所述編譯結果包括針對其進行匹配以執(zhí)行規(guī)則條件評估的表。

8.根據(jù)權利要求1所述的系統(tǒng)，其中所述編譯結果包括顯式地評估規(guī)則條件的所生成代碼。

9.根據(jù)權利要求1所述的系統(tǒng)，其中所述編譯結果包括顯式地評估規(guī)則條件的所生成代碼，并且其中依據(jù)規(guī)則條件中涉及的元素和輸入來參數(shù)化所生成代碼。

10.根據(jù)權利要求1所述的系統(tǒng)，其中所述編譯結果包括顯式地評估規(guī)則條件的所生成代碼，并且其中所生成代碼在被執(zhí)行時對個體輸入改變做出反應，以重新評估依賴于所述輸入的一個或多個規(guī)則條件。

11.根據(jù)權利要求1所述的系統(tǒng)，其中對所述蘊涵DAG進行編譯包括執(zhí)行癥狀的反向傳播以消除模糊性。

12.一種自動生成規(guī)則集實現(xiàn)方式的方法，包括：

訪問規(guī)則集；

針對所述規(guī)則集中的每個non-const規(guī)則，構造一個或多個蘊涵有向無環(huán)圖（DAG），其中：

所述non-const規(guī)則直接引起至少一個外部輸出或至少一個外部動作；并且

所述一個或多個蘊涵DAG指定規(guī)則條件，包括一個或多個可觀察規(guī)則條件；

對針對所述規(guī)則集構造的蘊涵DAG進行編譯以獲得編譯結果，所述編譯結果被配置成評估與所述規(guī)則集相關聯(lián)的規(guī)則條件，并且當規(guī)則條件中的至少一個評估為真時確定一個或多個動作；以及

輸出所述編譯結果。

13.根據(jù)權利要求12所述的方法，其中所述一個或多個蘊涵DAG的構造至少部分地基于一個或多個適用的const規(guī)則。

14.根據(jù)權利要求12所述的方法，其中所述規(guī)則集被嵌入在指定了元素及其關系的對象模型中。

15.根據(jù)權利要求12所述的方法，其中所述編譯結果包括針對其進行匹配以執(zhí)行規(guī)則條件評估的表。