Demonstration Sequence of Events


ForMAT Output to PRODIGY and PRODIGY Responses

EXECUTE-FM-QUERY
GEOGRAPHIC-LOCATION
BOSNIA
RETRIEVED-CASES
Case1
("D0G" "PLAND")
Case2
("KBC" "PLAND")
Case3
("K5B" "PLAND")
Case4
("K5C" "PLAND")
Case5
("SEC" "PLAND")
Case6
("STH" "PLAND")
FM-QUERY-REPORT
NAME
fm-query-report.temp
EDIT-GOALS
ADD-NEW-GOAL
CHANGE-GOAL-NAME
NAME
DEPLOY-TFS
ADD-NEW-GOAL
CHANGE-GOAL-NAME
NAME
SECURE-AIRPORT
ADD-NEW-GOAL
CHANGE-GOAL-NAME
NAME
SECURE-TOWN-CENTER-HALL
ADD-NEW-GOAL
ADD-SUBGOAL
GOAL
SECURE-AIRPORT
CHANGE-GOAL-NAME
NAME
SEND-MILITARY-POLICE
SAVE-GOALSPRODIGY Response
DESCRIPTION
Mission Statement
Message13"The goals of PLANC are most similar to this plan."
GOALS
Goal-Set
Message14"The following cases are also relevant: (PLANE)."
GUIDANCE-FILE
planj-statement
CREATE-TPFDD
NAME
PLANJ
SAVE-DEFAULT-FEATURESPRODIGY Response
CREATING-ORG
NONE
Message15"Change POD, POD-CC, DEST, and DEST-CC to places in or near BOSNIA"
CREATOR
AMM
GEOGRAPHIC-LOCATION
BOSNIA
MISSION
SECURE-BOSNIA
MISSION-TYPE
COMBAT
THEATER
EUCOM
EXECUTE-FM-QUERY
OPLAN
PLANC
RETRIEVED-CASES
Case1
("D0G" "PLANC")
Case2
("F15" "PLANC")
Case3
("HWK" "PLANC")
Case4
("SEC" "PLANC")
Case5
("T9P" "PLANC")
Case6
("1BD" "PLANC")
COPY-FMPRODIGY Response
FM-Map1
(T9P "T9P")
Message16"Change POD, POD-CC, DEST, and DEST-CC to places in or near BOSNIA in FM TP9"
FM-Map2
(HWK "HWK")
Message17"Change POD, POD-CC, DEST, and DEST-CC to places in or near BOSNIA in FM HWK"
FM-Map3
(1BD "1BD")
Message18"Change POD, POD-CC, DEST, and DEST-CC to places in or near BOSNIA in FM 1BD"
FM-Map4
(D0G "D0G")
Message19"Change POD, POD-CC, DEST, and DEST-CC to places in or near BOSNIA in FM DOG"
FM-Map5
(SEC "SEC")
Message20"Change POD, POD-CC, DEST, and DEST-CC to places in or near BOSNIA in FM SEC"
FM-Map6
(F15 "F15")
Message21"Change POD, POD-CC, DEST, and DEST-CC to places in or near BOSNIA in FM F15"
Case1
("T9P" "PLANC")
SET-TASK-STATUS
Message15
nil
Message14
ACCEPT
Message13
ACCEPT
CHECK-GOAL-CONSISTENCYPRODIGY Response
Message22"Change F15 to A10A."
Message23"Change SECURITY-POLICE to MILITARY-POLICE."
Message24"Remove HAWK-BATTALION Force Module from Plan."
Message25"Remove BRIGADE Force Module from Plan."
Message26"Add or create a Force Module to address goal :SECURE-TOWN-CENTER-HALL"
DELETE-FEATURES
SUBGOAL1
SEND-BRIGADE
SUBGOAL2
SEND-DOG-TEAM
SUBGOAL3
SEND-HAWK
SUBGOAL4
SEND-SECURITY-POLICE
SUBGOAL5
SEND-SPECIAL-FORCES
Case1
("1BD" "PLANJ")
EXECUTE-FM-QUERY
OPLAN
PLANJ
RETRIEVED-CASES
Case1
("D0G" "PLANJ")
Case2
("F15" "PLANJ")
Case3
("HWK" "PLANJ")
Case4
("SEC" "PLANJ")
Case5
("T9P" "PLANJ")
Case6
("1BD" "PLANJ")
DELETE-FMS
Case1
("D0G" "PLANJ")
Case2
("F15" "PLANJ")
Case3
("HWK" "PLANJ")
Case4
("SEC" "PLANJ")
Case6
("1BD" "PLANJ")
SET-TASK-STATUS
Message26
nil
Message25
ACCEPT
Message24
nil
Message23
nil
Message22
ACCEPT
Message16
nil
Message17
nil
Message18
nil
Message19
nil
Message20
nil
Message21
nil
Message15
nil
Message14
ACCEPT
Message13
ACCEPT
EXECUTE-FM-QUERY
FORCE
MILITARY-POLICE
RETRIEVED-CASES
Case1
("MP1" "097SR")
Case2
("M04" "PLANF")
Case3
("SEC" "PLANF")
Case4
("T0F" "PLANF")
Case5
("T09" "PLANH")
: : :
: : :
: : :


Correspondence: mcox+@cs.cmu.edu

Last Edited: August 16, 1996