Zkr.
vyh. pomocí ASS: Implementace
51/69
• Každý ASS uzel X má přiřazeny dva atributy: X.t, X.f
Elementární
ASS:
A
or
B
L:
A
and
B
B.t := and.t
B.f := and.f
L:
not
A
A.t := not.f
A.f := not.t
1)
2)
3)
• Pozn.: L = nové návěští
• Initializace: Nechť R je kořen ASS. Potom:
R.t := True, R.f := False
(True & False jsou návěští)
• Šíření hodnot atributů: Atributy jsou šířeny z kořene do listů použitím pravidel 1), 2) a 3).
• Pozn.: L = nové návěští