ベータネットワークを使用しないネットワークの再試行ですか？

Question

私は、異なるパターンの変数間にバインディングを持たないサンプルルールのReteネットワークを描画しようとしています。私はベータネットワークが、異なるパターンの曲げられた変数が一貫していることを確認するために使用されることを知っています。

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

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

R1では、どのように私は、このReteネットワークで自分の結果を結合する必要があり、二つのパターンの間にバインドさ変数が存在しませんか？ R2では、2つのルールが変数をバインドしていますが、3つ目のルールはバインドされていません。どのようにネットワーク内の3つのルールを組み合わせるには？ このような状況でReteネットワークの例を検索しましたが、何も見つかりませんでした。私はネットワークを描こうとしました、そして、私のネットワークは以下の通りです。そうですか？

UPDATE：

おかげ

Answer 1

ベータノードゲイリーの回答に基づいて新しいネットワークに関係なく、一貫性をチェックする必要があるパターンで指定された変数があるかどうかの部分的な一致を格納します。変数バインディングは、ベータメモリに格納されている部分一致をフィルタリングする役割しか果たしません。変数がない場合、生成されたすべての部分一致はベータメモリに格納されます。

あなたの図は、このようになります。

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