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