[發明專利]基于復雜推理網絡的自動解題方法

有效

• 申請號: 201810979453.1
• 申請日: 2018-08-23
• 公開（公告）號: CN109271511B
• 公開（公告）日: 2021-04-23
• 發明（設計）人: 李巧艷;謝德剛
• 申請（專利權）人: 上?；ソ探逃萍加邢薰?/a>
• 主分類號: G06F16/35
• 分類號: G06F16/35;G06F16/36;G06Q50/20
• 代理公司: 暫無信息
• 代理人: 暫無信息

1.一種基于復雜推理網絡的自動解題方法，用于解算數學題目，其特征在于，包括以下步驟：

S1：編寫基礎規則，該基礎規則包含數學概念、定理、方法和技巧，其中，基礎規則分為功能性規則和邏輯規則，

功能性規則用于推理過程的知識轉化或連接，不會出現在最終的推理網絡中，邏輯規則則是解題的每個步驟，將會最終構成推理網絡并輸出；

S2：歸納總結數學邏輯，提取解題流程，編寫規則流，規則流是由多條基礎規則組合而成，用于處理數學邏輯中常見的解題模式；

S3：針對觸發的規則，記錄下其規則名，規則的條件和結論，基礎規則與規則流分別插入并保存在不同的容器中；

S4：利用定時器，每經過一個時間間隔檢查容器中事實數目的變化，當工作空間中存在與求解目標等價的事實不再發生變化時，則停機；

S5： 自動整理并形成推理網絡并正向輸出；

所述步驟S4具體包括以下步驟：

S41、設置一個變量fact_num，保存規則或規則流容器上一次事實數目；

S42、將fact_num初始化為-1；

S43、利用timer設置定時器：自推理引擎開始推理，延遲所述時間間隔后開始啟動，之后每隔一個時間間隔反復觸發定時器規則；

S44、每次觸發定時器規則，分別檢查規則流容器和規則容器中事實個數的變化情況，并用當前容器中的數目更新fact_num；

S45、當此時容器中事實數目與fact_num大小一樣時，說明在設定的時間間隔內，推理引擎沒有再產生新的事實，則認為推理完成，即可停機。

2.根據權利要求1所述的一種基于復雜推理網絡的自動解題方法，其特征在于，定時器是drools推理引擎中的內部功能timer函數實現的。

3.根據權利要求1所述的一種基于復雜推理網絡的自動解題方法，其特征在于，所述步驟S5具體包括以下步驟：

S51、如果規則流容器中的規則為0，即只觸發了基礎規則，推理網絡則從求解目標開始，根據記錄下來的規則條件和結論，逆向搜索與匹配，

當規則A中的條件分別是規則B,C得到的結論，則說明規則B,C先于A，連接起來即為B,C,A，以此類推，形成推理網絡；

S52、當規則流容器中的規則不為0，即解題過程中有規則流觸發，此時推理網絡則由規則流和基礎規則的網絡拼接而來，

以規則流為基礎，首先將規則流中所有規則中的條件作為每個小目標，整理出每個小目標的推理網絡，拼接在規則流之前；

然后，獲取規則流中所有規則的結論，并搜尋基礎規則中的條件，若基礎規則的條件與規則流的結論相同，則將該基礎規則拼接在規則流之后，從而形成完整推理網絡；

S53、獲取解題的推理網絡，對解題步驟進行編碼，規則中的條件為∵，結論為∴，輸出類人解答。