Please post your solutions to the Nov 16 In-Class Exercise to this thread.

Best,

Chris

Our initial action is:

Action(Fly(p,from,to),

Precond:At(p,from)Plane(p)Airport(from)Airport(to),

Effect:At(p,from)At(p,to) )

and our goal was At(P1,JFK)

Using the ignore preconditions heuristics, our new action is

Action(Fly(p,from,to),

Precond:

Effect:At(p,from)At(p,to) )

Since all effects in our action are literals in the goal, we delete nothing from the effect.

Action(Fly(p, from, to), Precond: Effect: not At(p, from) and At(p, to))

Action(Fly(p, from,to))

Precond:

Effect: At(p, to)

Action(Fly(p,from,to)) Effect At(p,to)

Action(Fly(p,from,to), Effect: At(p,to)

Action(Fly(p,from,to), Precond: Effect: At(p,to))

Action( Fly(p, from, t), Precondition: , Effect: At(p,to))

Action(Fly(p,from,to), Precond: Effect:At(p,to) )

Action(Fly(p, from, to), Effect: At(p,to))