Dekompozice

AND/OR grafy

• AND uzel = v daném podstromě musíme vyřešit všechny větve
• OR uzel = v daném podstromě stačí vyřešit jednu větev

Kontingenční plán

• prohledávací strom pro nedeterministické chování