clips - Rete网络没有beta网络？

Question

我正在尝试为示例规则绘制一个 Rete 网络，该规则在不同模式的变量之间没有绑定(bind)。我知道beta网络是用来确保不同模式下的弯曲变量是一致的。

(defrule R1
  (type1 c1 c2)
  (type2 c3)
 =>
)

(defrule R2
  (type2 c3)
  (type3 c4 v1)
  (type4 c5 v1)
 =>
) 

在R1中，两个模式之间没有绑定(bind)变量，那么我应该如何在Rete网络中组合它们的结果？在 R2 中，两条规则有绑定(bind)变量，而第三条规则没有。如何将这三种规则在网络中结合起来？我搜索了Rete网络示例是否有这种情况，但没有找到。我尝试绘制网络，下面是我的网络。是吗？

更新:基于加里答案的新网络

谢谢

Answer 1

无论模式中是否存在需要检查一致性的指定变量，Beta 节点都会存储部分匹配项。变量绑定(bind)仅用于过滤存储在 beta 内存中的部分匹配项。如果没有变量，则所有生成的部分匹配将存储在测试存储器中。

您的图表应如下所示:

a1    a2   a3   a4
  \  /  \  /    /
   b1    b2    /
   |       \  /
   r1       b3
            |
            r2