基於規則的系統初始事實處理

Question

在與我的一位同事討論規則庫系統後，我感到困惑。我在Android中開發了一套有規則的程序。我所說的是，爲了啓動引擎，最初的事實必須符合任何規則，所以我們可以直接開始匹配最初的事實，而不必將它們發送到工作記憶。

該傢伙說，不，初始事實必須進入工作記憶，然後匹配應該開始，我同意，直到這裏，但他還補充說，你只需要從初始事實得到變量，然後匹配規則例如IO有一個規則

a(variable),b(constant) 
Initial facts in Working memory is a(VAR_VALUE) 

所以將它調用規則

a(variable),b(constant) 

如果答案爲是，則我們可以有很多的恆定值，規則，甚至當被調用工作記憶是空的。

我需要一些關於上述問題的專家意見，所以我可以根據需要進行更改。

Answer 1

首先檢查謂詞匹配，如果相同，則檢查主題是否可變。如果不是，則匹配correpong規則，如果兩個主題相同，則匹配。 與常數的規則必須匹配wm的元素。否則它會無限循環。作爲一個變量可以帶有任意數量的常量。 也使用更好的衝突再解決策略。