TIE Description
In the general scenario, a ForMAT user receives the description of a new
mission. In order to build a plan for the new mission, the user queries
ForMAT's database of plans. While browsing ForMAT's plans, the user refines the
mission statement in terms of specific objectives, i.e., goals to be
achieved. ForMAT sends messages in real time to PRODIGY/Analogy capturing the
history of the user actions. The user states the mission goals using a goal
language that we introduced in ForMAT. Goals are of different types and can
take a variety of arguments. An example of such goal may be ``send ground-unit
to location.''
When the mission goals are entered by the user, ForMAT sends this
information to PRODIGY/Analogy. PRODIGY/Analogy uses this information and processes
it according to its domain model. Using the mission's goals,
PRODIGY/Analogy retrieves, from its own database of plans (obtained
from the ForMAT's database), similar past solved plans. It is further
capable of identifying the needed modifications to the past plans
as a function of the new and past missions' rationale. This
information is sent again in real time to ForMAT as suggestions to the
user on the plans and corresponding modifications that the user should
do to build a plan for the new mission.
ForMAT supports the following capabilities:
- User receives the text description of a new mission;
- User queries database of past plans;
- User browses past plans;
- User refines query incrementally;
- User uses objective representation to specify the goals of the new mission;
- Plans and their Force Modules (FMs) are stored, indexed by goals and scenario information.
In PRODIGY (and PRODIGY/Analogy), the following features are used:
- Objects (such as units, locations, FMs) are organized
in a class ontology;
- Plan actions are modeled and represented as plan operators;
- Planner can generate plans at a high-level of abstraction;
- Plans are stored, indexed by goals and scenario;
- Plans are retrieved based on goal similarity;
- Rationale is used to propose appropriate modifications.
The integrated ForMAT/PRODIGY systems provides mixed-initiative plan
retrieval and modification through the following features:
- ForMAT and PRODIGY exchange messages in real time;
- ForMAT sends user's actions to PRODIGY;
- PRODIGY can follow user's plan browsing history;
- ForMAT's user saves goals: PRODIGY plans at the force module level;
- PRODIGY retrieves plans with similar objectives (goals);
- PRODIGY sends suggested plan modifications driven by plan rationale;
- ForMAT's user processes received mission statement.
![](Images/home.gif)
Correspondence:
mcox+@cs.cmu.edu
Last Edited: August 16, 1996