如何將兩個規則合併爲一個？

Question

我想知道如何我的兩個規則相結合，例如：

(defrule Rules::pants 
    (declare (auto-focus TRUE)) 
(answer (ident color) (text red)) 
    (answer (ident pants) (text yes)) 
    => 
(printout t "you are wearing red pants")) 

(defrule Rules::shirt 
    (declare (auto-focus TRUE)) 
(answer (ident shirt) (text blue)) 
    (answer (ident red) (text yes)) 
    => 
(printout t "you are wearing blue shirt")) 

如果我會寫這兩個規則，如：

(defrule Rules::pants 
    (declare (auto-focus TRUE)) 
(answer (ident red) (text yes)) 
    (answer (ident pants) (text yes)) 
(answer (ident shirt) (text yes)) 
    (answer (ident blue) (text yes)) 
    => 
(printout t "you are wearing blue shirt and red pants")) 

我希望它像一個OR聲明，如果滿足任何條件就會被觸發。

Answer 1

天真的回答將是

(defrule Rules::pants  
    (or (and (answer (ident red) (text yes)) 
      (answer (ident pants) (text yes))) 
     (and (answer (ident shirt) (text yes)) 
      (answer (ident blue) (text yes))) 
) 
=> 
    (printout t "you are wearing blue shirt or red pants") 
) 

第一個障礙是，這個規則被觸發兩次，如果這個人有紅色的褲子和藍色襯衫。很可能，這並不重要，因爲這個人沒有被識別，所以我們可能會認爲只有一個人在走秀。

編輯如果屬性不相互關聯，即顏色和項目可以自由組合，則會發生第二個障礙。考慮一件藍色牛仔褲和一件紅色格仔襯衫的鄉下人。規則會因爲有「褲子」和「襯衫」以及「紅色」和「藍色」而觸發，足以根據模式進行匹配。但是OP在評論中聲稱（見下文）有一些方法可以避免這種情況。