Yioop - PHP Search Engine

Nov 16 In-Class Exercise Thread.

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

Best,

Chris

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

-- Nov 16 In-Class Exercise Thread

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.

(Edited: 2022-11-16)

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.

-- Nov 16 In-Class Exercise Thread

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

(Edited: 2022-11-16)

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

-- Nov 16 In-Class Exercise Thread

Action(Fly(p, from,to))

Precond:

Effect: At(p, to)

(Edited: 2022-11-16)

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

-- Nov 16 In-Class Exercise Thread

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

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

-- Nov 16 In-Class Exercise Thread

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

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

-- Nov 16 In-Class Exercise Thread

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

(Edited: 2022-11-16)

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

-- Nov 16 In-Class Exercise Thread

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

(Edited: 2022-11-16)

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

-- Nov 16 In-Class Exercise Thread

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

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

-- Nov 16 In-Class Exercise Thread

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

(Edited: 2022-11-16)

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