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-GOALS PRODIGY 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-FEATURES PRODIGY 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-FM PRODIGY 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-CONSISTENCY PRODIGY 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")

: : :

: : :

: : :

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-GOALS	PRODIGY 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-FEATURES	PRODIGY 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-FM	PRODIGY 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-CONSISTENCY	PRODIGY 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