Я пытаюсь нарисовать сеть Rete для примера правила, которое не имеет привязки между переменными в разных шаблонах. Я знаю, что бета-сеть используется, чтобы убедиться, что переменная Bend в разных шаблонах согласована.
(defrule R1
(type1 c1 c2)
(type2 c3)
=>
)
(defrule R2
(type2 c3)
(type3 c4 v1)
(type4 c5 v1)
=>
)
В R1 между двумя паттернами нет связанных переменных, как мне тогда объединить их результат в сети Rete? В R2 два правила имеют связанную переменную, а третье — нет. Как совместить три правила в сети? Я искал пример сети Rete для такой ситуации, но не нашел. Я попытался нарисовать сеть, и ниже моя сеть. Это правильно?
ОБНОВЛЕНИЕ: новая сеть основана на ответе Гэри