Guia d'estudi: Intel·ligència Artificial - La Salle

Cerca a través de l’espai dels plans
Al realitzar la cerca a través de l’espai dels plans, estem considerant que els nodes
representen plans parcials i que les arestes denoten les operacions que refinen els
plans, com una addició d’una acció a un pla. Vegeu un possible espai dels plans, en el
món dels blocs, a [Weld1994] a la figura 6.
Podem veure que els dos estats pintats de gris representen respectivament –per a
aquest exemple–: l’estat inicial, és a dir el pla nul, i l’estat final, és a dir el pla final o la
solució.
Si realitzéssim planificació totalment ordenada, tindríem que un pla es representa
per a una seqüència totalment ordenada d’accions. Tanmateix, s’intenta realitzar una
planificació amb el mínim compromís (least commitment planning), on només es
determinen l’ordre de les decisions essencials. Així doncs, estudiarem els planificadors
realitzant una planificació parcialment ordenada.
Cal recordar que ens centrarem en un planificador que:
- realitza planificació parcialment ordenada;
- realitza planificació generativa;
- realitza planificació per refinament;
- realitza planificació no lineal; i
- dissenyarem els algorismes de cerca de manera no determinista.
[Weld1994]
Conceptes: plans, links causals i amenaces
Prèviament a estudiar l’algorisme POP, considerem tot seguit una sèrie de definicions
que seran claus per a l’algorisme final: què és un pla; què és un enllaç (o en anglès
link) causal; i què és una amenaça. Vegeu [Weld1994] a les pàgines 13 i 14.
Definició d’un pla = < A, O, L >:
A: és un conjunt d’accions. E.g. A = { A1, A2, A3 }
O: és un conjunt de restriccions ordenades sobre A. E.g. O = { A1