Yioop - PHP Search Engine

-- Nov 8 In-Class Exercise

Statements surrounded by '*' are additions. Init(At(C1, SFO) ^ At(C2, JFK) ^ *At(C3, EWR)* ^ At(P1, SFO) ^ At(P2, JFK) ^ Cargo(C1) ^ Cargo(C2) ^ Plane(P1) ^ Plane(P2) ^ Airport(JFK) ^ Airport(SFO) ^ *Airport(EWR)*) Goal( At(C3, SFO))

(Edited: 2017-11-08)

Statements surrounded by '*' are additions. <nowiki>Init(At(C1, SFO) ^ At(C2, JFK) ^ *At(C3, EWR)* ^ At(P1, SFO) ^ At(P2, JFK) ^ Cargo(C1) ^ Cargo(C2) ^ Plane(P1) ^ Plane(P2) ^ Airport(JFK) ^ Airport(SFO) ^ *Airport(EWR)*) Goal( At(C3, SFO))</nowiki>

-- 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(JFK) ^ Airport(EWR)
 )
 
 Goal 
 (
   At(C1, JFK) ^ At(C2, SFO) ^ At(C3, 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(SFO) ^ Airport(JFK) ^ Airport(EWR) ) Goal ( At(C1, JFK) ^ At(C2, SFO) ^ At(C3, SFO) )

-- 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(SFO) ^ Airport(JFK) ^ Airport(EWR))

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

(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(SFO) ^ Airport(JFK) ^ Airport(EWR)) Goal(At(C1, JFK) ^ At(C2, SFO) ^ At(EWR))

-- Nov 8 In-Class Exercise

Student: Wei Su

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(JFK) ∧ Airport(EWR)

)

Goal(At(C1, JFK) ∧ At(C2, SFO) ∧ At(C3, SFO))

(Edited: 2017-11-08)

Student: Wei Su ---- 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(JFK) ∧ Airport(EWR) ) Goal(At(C1, JFK) ∧ At(C2, SFO) ∧ At(C3, SFO))

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

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

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

Action(Load(c,p,a))
Action(Unload(c,p,a))
Action(fly(p,from,to))

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)) *Goal(At(C1,JFK)^At(C2,SFO)At(C3,SFO)) *Action(Load(c,p,a)) *Action(Unload(c,p,a)) *Action(fly(p,from,to)) *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))

-- Nov 8 In-Class Exercise

 Student: Phyllis Lau

 Init(At(C1, SFO) ^ At(C2, JFK) ^ At(C3, EWR) ^ At(P1, SFO) ^ At(P2, JFK) ^ Cargo(C1) ^ Cargo(C2) ^ Cargo(3) ^ Plane(P1) ^ 
 Plane(P2) ^ Airport(SFO) ^ Airport(JFK) ^ 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), Fly(P1, JFK, EWR), Load(C3, P1, EWR), Fly(P1, EWR, SFO), Unload(C3, 
 P3, SFO), Load(C2, P2, JFK), Fly(P2, JFK, SFO), Unload(C2, P2, SFO)]

(Edited: 2017-11-08)

Student: Phyllis Lau Init(At(C1, SFO) ^ At(C2, JFK) ^ At(C3, EWR) ^ At(P1, SFO) ^ At(P2, JFK) ^ Cargo(C1) ^ Cargo(C2) ^ Cargo(3) ^ Plane(P1) ^ Plane(P2) ^ Airport(SFO) ^ Airport(JFK) ^ 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), Fly(P1, JFK, EWR), Load(C3, P1, EWR), Fly(P1, EWR, SFO), Unload(C3, P3, SFO), Load(C2, P2, JFK), Fly(P2, JFK, SFO), Unload(C2, P2, SFO)]

-- 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(

	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),
		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( 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), Fly(P2, SFO, EWR), Load(C3, P2, EWR), Fly(P2, EWR, SFO), Unload(C3, P2, SFO) ] )

-- Nov 8 In-Class Exercise

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)^Cargo(C3)^At(C3, EWR)^Airport(EWR))

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

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)^Cargo(C3)^At(C3, EWR)^Airport(EWR)) Goal(At(C1,JFK)^At(C2,SFO)^At(C3, SFO))

-- Nov 8 In-Class Exercise

Init({ 
 
	At(C1, SFO) ^ At(C2, JFK) ^ At(P1, SFO) ^

At(P2, JFK) ^ Cargo(C1) ^ Cargo(C2) ^ Plane(P1) ^ Plane(2) ^ Airport(JFK) ^ Airport(EWR) ^ Airport(SFO) ^ Cargo(C3) ^ At(C3, EWR) }) Goal({

	At(C1, JFK), At(C2, SFO), At(C3, SFO)

}) Solution: (

	Load(C1, P1, SFO), Fly(C1, P1, JFK)
	Load(C3, P2, EWR), Fly(C1, P2, JFK)
	Unload(C1, P1, JFK),  
	Load(C2, P1, JFK), Fly(C2, P1, SFO)
	Unload(C2, P1, SFO), 
	Unload(C3, P2, JFK)

) (Edited: 2017-11-08)

<pre> Init({ At(C1, SFO) ^ At(C2, JFK) ^ At(P1, SFO) ^ At(P2, JFK) ^ Cargo(C1) ^ Cargo(C2) ^ Plane(P1) ^ Plane(2) ^ Airport(JFK) ^ Airport(EWR) ^ Airport(SFO) ^ Cargo(C3) ^ At(C3, EWR) }) Goal({ At(C1, JFK), At(C2, SFO), At(C3, SFO) }) Solution: ( Load(C1, P1, SFO), Fly(C1, P1, JFK) Load(C3, P2, EWR), Fly(C1, P2, JFK) Unload(C1, P1, JFK), Load(C2, P1, JFK), Fly(C2, P1, SFO) Unload(C2, P1, SFO), Unload(C3, P2, JFK) ) </pre>