Yioop - PHP Search Engine

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

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

-- Nov 8 In-Class Exercise

Michael Torres

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

	Action( Load(c, p, a), 
		Precond: At(c,a) ^ At(p, a) ^ Cargo(c) ^ Plane(p) ^ Airport(a)
		Effect: ~At(c, a) ^ In(c, p) )

	Action( Unload(c, p, a), 
		Precond: In(c, p) ^ At(p, a) ^ Cargo(c) ^ Plane(p) % Airport(a)
		Effect: At(c, a) ^ ~In(c, p) )

	Action( Fly(p, from, to),
		Precond: At(p, from) ^ Plane(p) ^ Airport(from) ^ Airport(to)
		Effect: ~At(p, from) ^ At(p, 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(P1, JFK, EWR), Load(C3, P1, EWR), Fly(P1, EWR, SFO), 
		Unload(C3, P1, SFO) ]

(Edited: 2017-11-08)

Michael Torres ---- 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) ) Action( Load(c, p, a), Precond: At(c,a) ^ At(p, a) ^ Cargo(c) ^ Plane(p) ^ Airport(a) Effect: ~At(c, a) ^ In(c, p) ) Action( Unload(c, p, a), Precond: In(c, p) ^ At(p, a) ^ Cargo(c) ^ Plane(p) % Airport(a) Effect: At(c, a) ^ ~In(c, p) ) Action( Fly(p, from, to), Precond: At(p, from) ^ Plane(p) ^ Airport(from) ^ Airport(to) Effect: ~At(p, from) ^ At(p, 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(P1, JFK, EWR), Load(C3, P1, EWR), Fly(P1, EWR, SFO), Unload(C3, P1, SFO) ]

-- Nov 8 In-Class Exercise

((resource:Capture.JPG|Resource Description for Capture.JPG))

-- Nov 8 In-Class Exercise

init:

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

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

(Edited: 2017-11-08)

'''init:''' (At(C1, SFO) ^ At(C2, JFK) ^ 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)) [Load(C1, P1, SFO), Fly(P1, SFO, JFK), Unload(C1, P1, JFK), Load(C3, P2, EWR), Fly(P2,EWR, JFK), Load(C2, P2, JFK), Fly(P2, JFK, SFO), Unload(C2, P2, SFO), Unload(C3, P2, SFO)]

-- Nov 8 In-Class Exercise

((resource:Screenshot_2017-11-08_15-55-18.png|Resource Description for Screenshot_2017-11-08_15-55-18.png))

-- Nov 8 In-Class Exercise

 Student: Chris Van Horn
 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) )

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

Student: Chris Van Horn 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) ) 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, JFK), Fly(P2, SFO, EWR), Load(C3,P2,,EWR), Fly(P2, EWR, SFO), Unload(C3, P2, SFO) ]

-- Nov 8 In-Class Exercise

 Name: Alec Leong
 
 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))

Name: Alec Leong 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(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))

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

-- Nov 8 In-Class Exercise

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

(Edited: 2017-11-08)

Name: Harita Shroff 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) 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(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)
 ]

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