Rete网络没有测试版网络？

Question

我想绘制一个示例规则的Rete网络，它在不同模式中的变量之间没有绑定关系。我知道beta网络用于确保不同模式中的弯曲变量是一致的。

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

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

在R1，有两个模式之间没有绑定变量，我应该如何的Rete网络中结合他们的结果呢？ 在R2中，两个规则绑定变量，而第三个规则没有。如何结合网络中的三条规则？ 我搜索了Rete网络例子的这种情况，但没有找到任何。我试图画出网络，下面是我的网络。这样对吗？

更新：根据Gary的回答

感谢

Answer 1

贝塔节点新的网络存储部分匹配，无论是否有需要检查的一致性模式指定的变量。变量绑定仅用于过滤存储在beta内存中的部分匹配。如果没有变量，则所有生成的部分匹配将被存储在beta内存中。

你的图应该是这样的：

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