Nov 8 In-Class Exercise .
Please post your solutions to the Nov 8 In-Class Exercise here.
Best,
Chris
<br><br><br><br> Init <br> (<br> At(C1, SFO) ^ At(C2, JFK) ^ At(C3, EWR) ^ <br> At(P1, SFO) ^ At(P2, JFK) ^ At(P3, EWR) ^ <br> Cargo(C1) ^ Cargo(C2) ^ Cargo(C3) ^ <br> Airport(SFO) ^ Airport(JFK) ^ Airport(EWR) <br> )<br> <br> Goal<br> (<br> At(C1, JFK) ^ At(C2, SFO) ^ At(C3, EWR)<br> )<br> <br> <br> Solution<br> [<br> Load(C1,P1,SFO),Fly(P1,SFO,JFK),Unload(C1,P1,JFK),<br> Load(C2,P2,JFK),Fly(P2,JFK,SFO),Unload(C2,P2,SFO),<br> Load(C3,P3,EWR),Fly(P3,EWR,SFO),Unload(C3,P3,SFO)<br> ]<br>
(Edited: 2017-11-08)Init( At(C1, SFO) ^ At(C2, JFK) ^ At(C3, EWR) ^ At(P1, SFO) ^ At(P2, JFK)
^ Cargo(C1) ^ Cargo(C2) ^ Cargo(C3) ^ Plane(P1) ^ Plane(P2)
^ Airport(JFK) ^ Airport(SFO) ^ Airport(EWR) )
Goal( (C1, JFK) ^ At(C2, SFO) ^ At(C3, SFO) )
Solution:
[ Load(C1,P1,SFO),Fly(P1,SFO,JFK),Unload(C1,P1,JFK),
Load(C2,P2,JFK), Fly(P2,JFK,SFO),Unload(C2,P2,SFO),
Fly(P2,SFO,EWR), Load(C3,P2,EWR), Fly(P2,EWR,SFO), Unload(C3,P2,SFO) ]
(Edited: 2017-11-08)Init (At (C1, SFO) ^ At (C2, JFK) ^ At (C3, EWR) ^ At (P1, SFO) ^ At (P2, JFK) ^ At (P3, EWR) ^ Cargo (C1) ^ Cargo(C2) ^ Cargo(C3) ^ Plane (P1) ^ Plane (P2) ^ Plane (P3) ^ Airport (JFK) ^ Airport (SFO) ^ Airport (EWR))
Goal ( At (C1, JFK) ^ At (C2, SFO) ^ At (C3, SFO))
Solution: [Load(C1, P1, SFO), Fly(P1, SFO, JFK), Unload(C1, P1, JFK), Load(C2, P2, JFK), Fly(P2, JFK, SFO), Unload(C2, P2, SFO) Load(C3, P3, EWR), Fly(P3, EWR, SFO), Unload(C3, P3, SFO)]
(Edited: 2017-11-08)By Jonathan Neel
Init(At(C1, SFO) ∧ At(C2, JFK) ∧ At(C3, EWR) ∧ At(P1, SFO) ∧ At(P2, JFK) ∧ At(P3, EWR) ∧ Cargo(C1) ∧ Cargo(C2) ∧ Cargo(C3) ∧ Plane(P1) ∧ Plane(P2) ∧ Plane(P3)∧ Airport(JFK) ∧ Airport(SFO) ∧ Airport(EWR))
Goal(At(C1, JFK) ∧ At(C2, SFO) ∧ At(C3, SFO))
(Edited: 2017-11-08)'''Oindril Dutta'''
- Init(At(C1, SFO) ^ At(C2, JFK) ^ At(C3, EWR) ^ At(P1, SFO) ^ At(P2, JFK) ^ Cargo(C1) ^ Cargo(C2) ^ Cargo(C3) ^ Plane(P1) ^ Plane(P2) ^ Airport(JFK) ^ Airport(SFO) ^ Airport(EWR))
- Goal(At(C1, JFK) ^ At(C2, SFO) ^ At(C3, SFO))
- Init(At(C1, SFO) ^ At(C2, JFK) ^ At(C3, EWR) ^ At(P1, SFO) ^ At(P2, JFK) ^ At(P3, EWR) ^ Cargo(C1) ^ Cargo(C2) ^ Cargo(C3) ^ Plane(P1) ^ Plane(P2) ^ Plane(P3) ^ Airport(SFO) ^ Airport(EWR) ^ Airport(JFK))
- Goal(At(C3, SFO) ^ At(C1, JFK) ^ At(C2, SFO))
Solution:
Load(C1,P1,SFO),Fly(P1,SFO,JFK),Unload(C1,P1,JFK),
Load(C2,P2,JFK),Fly(P2,JFK,SFO),Unload(C2,P2,SFO),
Load(C3,P3,EWR),Fly(P3,EWR,SFO),Unload(C3,P3,SFO)
Student: Xin Yan
(Edited: 2017-11-08)Justin Passanisi 11/8
'''With 3rd plane:''' Init(At(C1, SFO) ^ At(C2, JFK) ^ At(C3, EWR) ^ At(P1, SFO) ^ At(P2, JFK) ^ At(P3, EWR) ^ Cargo(C1) ^ Cargo(C2) ^ Cargo(C3) ^ Plane(P1) ^ Plane(P2) ^ Plane(P3) ^ Airport(JFK) ^ Airport(SFO) ^ Airport(EWR)) Goal(At(C1, JFK) ^ At(C2, SFO) ^ At(C3, SFO))
'''Without third plane:''' Init(At(C1, SFO) ^ At(C2, JFK) ^ At(C3, EWR) ^ At(P1, SFO) ^ At(P2, JFK) ^ Cargo(C1) ^ Cargo(C2) ^ Cargo(C3) ^ Plane(P1) ^ Plane(P2) ^ Airport(JFK) ^ Airport(SFO) ^ Airport(EWR)) Goal(At(C1, JFK) ^ At(C2, SFO) ^ At(C3, SFO))
(Edited: 2017-11-08)| {{center | Student: Yecheng Liang |
|---|
Init(At(C1, SFO)^ At(C2, JFK)^ At(P1, SFO)^ At(P2, JFK)^Cargo(C1) ^Cargo(C2)^Plane(P1)^Plane(P2)^Airport(SFO)^Airport(JFK) At(C3, EWR)^ Cargo(C3)^ Airport(EWR))
Goal(At(C1,JFK)^At(C2,SFO)^At(C3, SFO))
Solution:
Load(C2,P2),Fly(P2, JFK, EWR), Load(C3, P2), Fly(P2,EWR, SFO), Unload(C1, P2, SFO), unload(C3,P2,SFO), Load(C1,P1), Fly(P1,SFO,JFK), Unload(C1, P1, JFK)}}
(Edited: 2017-11-08)Name: Daniel Vu Init( At(C1,SFO) ^ At(C2,JFK ^ At(C3,EWR) ^ At(P1,SFO) ^ At(P2,JFK) ^ At(P3,EWR) ^ Cargo(c1) ^ Cargo(c2) ^ Cargo(c3) ^ Plane(p1) ^ Plane(p2) ^ Plane(p3) ^ Airport( JFK) ^ Airport(SFO) ^ Airport(EWR)
Goal( At(C1,JFK) ^ At(C2,SFO) ^ At(C3,SFO))