Classical Planning in AI
Classical Planning in AI
Therefore, the Air cargo transport problem is based on loading and unloading the
cargo and flying it from one place to another.
Init (On(C1, SFO) ? On(C2, JFK) ? On(P1, SFO) ? On(P2, JFK)? Cargo(C1) ?
Cargo(C2) ? Plane(P1) ? Plane(P2)
Action(Unload(c, p, a),
The above described actions, (i.e., load, unload, and fly) affects the
following two predicates:
It is to be noted that when the plan flies from one place to another, it should carry
all cargo inside it. It becomes difficult with the PDLL to give solution for such a
problem. Because PDLL do not have the universal quantifier. Thus, the
following approach is used:
The problem is that the agent needs to change the flat tire. The aim is to place a
good spare tire over the car’s axle. There are four actions used to define the
spare tire problem:
Action(Remove(obj , loc),
Action(PutOn(t , Axle),
Action(LeaveOvernight ,
PRECOND:
1. PlanSAT: It is the question asking if there exists any plan that solves a
planning problem.
2. Bounded PlanSAT: It is the question asking if there is a solution of length
k or less than it.
We found that: