The initial state of the world is
At(Peter, University_Town_Campus) ∩ At(Sam, University_Town_Campus) ∩
At(Ken, University_Town_Campus) ∩ At(Chris, Wushan_Campus) ∩ Is_Teacher(Peter) ∩
At(BUS_1, University_Town_Campus) ∩ At(BUS_2, Wushan_Campus) ∩ Is_Student(Sam) ∩
Is_Student(Ken) ∩ Is_Student(Chris) ∩ Is_Bus(BUS_1) ∩ Is_Bus(BUS_2) ∩
Is_Campus(University_Town_Campus) ∩ Is_Campus(Wushan_Campus) ∩
Is_Campus(International_Campus)
The Target State
At(Sam, Wushan_Campus) ∩ At(Ken, International_Campus) ∩ At(Chris,
University_Town_Campus)
Actions
Get_On_Bus(S, T, P)
Precondition: Is_Student(S) ∩ Is_Bus(T) ∩ Is_Campus(P)
∩ At(S, P) ∩ At(T, P)
Effect: ~At(S, P) ∩ On(S, T)
Get_Off_Bus(S, T, P)
Precondition: Is_Student(S) ∩ Is_Bus(T) ∩ Is_Campus(P)
∩On(S, T) ∩ At(T, P)
Effect: At(S, P) ∩ ~On(S, T)
Sick_Leave(S)
Precondition: Is_Student(S)
Effect: Sick_leave(S)
Move(T, C1, C2)
Precondition: Is_Bus(T) ∩ Is_Campus(C1) ∩ Is_Campus(C2) ∩ At(T, C1)
Effect: At(T, C2) ∩ ~ At(T, C1)
A planning problem is defined as above.
a) Give a Total Order Plan to solve this problem.
b) Give a Partial Order Plan to solve this problem.
no need for "Disinfected(S)" in Action "Get_On_Bus""
- Q4 The Initial State Of The World Is At Peter University Town Campus At Sam University Town Campus At Ken Unive 1 (446.9 KiB) Viewed 38 times