[Skip Navigation]
2017-11-08
User Icon

Nov 8 In-Class Exercise.

Please post your solutions to the Nov 8 In-Class Exercise here.
Best,
Chris
Please post your solutions to the Nov 8 In-Class Exercise here. Best, Chris
User Icon
-- Nov 8 In-Class Exercise




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) ^ 

	Airport(SFO) ^ Airport(JFK) ^ Airport(EWR)
)

Goal
(
	At(C1, JFK) ^ At(C2, SFO) ^ At(C3, EWR)
)


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)
<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>
User Icon
-- Nov 8 In-Class Exercise
 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) ^ 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) ]
User Icon
-- Nov 8 In-Class Exercise
  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)
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)]
User Icon
-- Nov 8 In-Class Exercise
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)
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))
User Icon
-- Nov 8 In-Class Exercise
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))
(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))
User Icon
-- Nov 8 In-Class Exercise
  • 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)
* 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
User Icon
-- Nov 8 In-Class Exercise
 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)
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))
User Icon
-- Nov 8 In-Class Exercise
{{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)
{{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)}}
User Icon
-- Nov 8 In-Class Exercise
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))
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))
[ Next ]
X

 

- Blog - Privacy - Terms - YioopBot - Developed at SeekQuarry -
(c) 2024 Yioop - PHP Search Engine
We use cookies to implement this site's user functionality, social media features, and traffic analytics. Privacy Policy Details. Allow Cookies