[AlgEnComp] partial order planner

[kidon]

Juu,

In de oefeningen staat er een voorbeeld uitgewerkt van de partial order planner. (oefeningenreeks 18 april).

Daar wordt weergegeven dat er een bedreigende link is. Ik snap best waarom dat een bedreigende link is (addlist van go(sm) maakt preconditie ongedaan van buy(drill)). Maar ik snap ni waar ze de preconditie van go(sm) vandaan halen, nl. at(hws) ???

Da kan toch geen expliciete preconditie zijn van go(sm) zou ik denken, maar van waar komt die dan ????

[Valthonis]

Na het uitvoeren van het eerst gekozen go functie zitten we in de hws en niet meer at(home) vandaar dat we dus uit die situatie verder willen gaan. dat mag natuurlijk gerust anders maar het is de keuze die we gemaakt hebben.

We hadden namelijk eerst at(home) en kozen eerst om naar hws te gaan. Dan hebben we niet meer at(home) als preconditie maar wel at(hws) als preconditie dus kiezen we at(hws) als preconditie voor go(sm).

Hoop dat het zo duidelijk is. de preconditie mag namelijk gekozen worden vermits er at(X) staat in de opgave.