PRODIGY Initial State


;;; Defines the objects in PRODIGY-ForMAT's initial state.
(setf *object-list*
  '(
    (objects-are TFS2 TFS3 TFS)
    (objects-are air-interdiction air-superiority close-air-support counter-air MISSION-NAME)
    (objects-are weapons-smuggling terrorism THREAT)
    (objects-are terrorism1 terrorism2 terrorism3 TERRORISM)
    (object-is weapons-smuggling1 WEAPONS-SMUGGLING)
    (object-is town-center BUILDING)
    (object-is AIR-FORCE-MODULE FORCE-MODULE) 
    (objects-are F15-A-Squadron F15-B-Squadron F15-C-Squadron F15)
    (objects-are F16-A-Squadron F16-B-Squadron F16-C-Squadron F16)
    (objects-are A10A-A-Squadron A10A-B-Squadron A10A-C-Squadron A10A)
    (object-is dog-team1 DOG-TEAM)
    (object-is dog-team2 DOG-TEAM)
    (object-is security-police-a SECURITY-POLICE)
    (object-is security-police-b SECURITY-POLICE)
    (objects-are special-forces-a magtf-meu-gce special-operation-force SPECIAL-FORCE-MODULE)
    (objects-are airport1 airport2 airport3 airport4 airport5 AIRPORT)
    (objects-are town-center1 town-center2 TOWN-CENTER)
    (objects-are bosnia saudi-arabia korea sri-lanka kuwait COUNTRY)
    (objects-are bd1 bd2 brigade-task-force engineering-brigade division-ready-brigade BRIGADE)
    (object-is military-police-a MILITARY-POLICE)
    (object-is hawka HAWK-BATTALION)
    (object-is 25th-infantry-division-light INFANTRY)
    (object-is infantry-battalion-a INFANTRY-BATTALION)
    (object-is police-a POLICE-FORCE-MODULE)
    (objects-are f15 f16 TACTICAL-FIGHTER)
    ))



;;; Defines PRODIGY-ForMAT's initial state.
(setf *state-list*
  '(
    (part-of F15-A-Squadron TFS2)
    (part-of F15-B-Squadron TFS2)
    (group-type TFS2 F15)
    (size TFS2 2)
    (part-of F16-A-Squadron TFS3)
    (part-of F16-B-Squadron TFS3)
    (part-of F16-C-Squadron TFS3)
    (group-type TFS2 F16)
    (size TFS3 3)
    (less-by-1 2 1)
    (less-by-1 1 0)
    (threat-at terrorism1 bosnia)
    (threat-at terrorism3 korea)
    (threat-at terrorism2 sri-lanka)
    (threat-at weapons-smuggling1 saudi-arabia)
    (loc-at airport1 sri-lanka)
    (loc-at airport2 korea)
    (loc-at airport3 saudi-arabia)
    (loc-at airport4 bosnia)
    (loc-at town-center1 bosnia)
    (loc-at airport5 kuwait)
    (loc-at town-center2 korea)
    (mission-of F15-A-Squadron air-interdiction)
    (mission-of F15-B-Squadron air-interdiction)
    (mission-of F15-C-Squadron air-interdiction)
    (is-usable airport1)
    (is-usable airport2)
    (is-usable airport3)
    (is-usable airport4)
    (is-usable airport5)
    (is-ready police-a)
    (is-ready security-police-a)
    (is-ready security-police-b)
    (is-ready special-forces-a)
    (is-ready special-operation-force)
    (is-ready magtf-meu-gce)
    (is-ready dog-team1)
    (is-ready dog-team2)
    (is-ready hawka)
    (is-ready bd1)
    (is-ready bd2)
    (is-ready military-police-a)
    (is-ready A10A-A-Squadron)
    (is-ready A10A-B-Squadron)
    (is-ready A10A-C-Squadron)
    (mission-of A10A-A-Squadron close-air-support)
    (mission-of A10A-B-Squadron close-air-support)
    (mission-of A10A-C-Squadron close-air-support)
    (is-ready F15-A-Squadron)
    (is-ready F15-B-Squadron)
    (is-ready F15-C-Squadron)
    (is-ready F16-A-Squadron)
    (is-ready F16-B-Squadron)
    (is-ready F16-C-Squadron)
    (is-ready 25th-infantry-division-light)
    (is-ready infantry-battalion-a)
    (is-ready brigade-task-force)
    (is-ready engineering-brigade)
    (is-ready division-ready-brigade)
    ))

Correspondence: mcox+@cs.cmu.edu

Last Edited: July 25, 1996