Jump to the PRODIGY Overview page.
Jump to the Comparative Environments page.
Jump to the Home page.
Environments
PRODIGY is not designed for real-world environments. The environments
in which PRODIGY operates are its problem domains. A problem domain
consists of a set objects and a set of operators. The only changes to
the environment occur through the application of operators on objects.
Problem domains include:
- The STRIPS domain
- The Blocksworld
- Machine Shop Scheduling
- Multi-Agent Robot Planning
- Telescope Mirror Production
- Matrix Algebra Problem Solving
Major charateristics shared by these environments are given below.
Dynamic
Changes to the environment are due to the application of operators.
No simulatd outside forces alter the environment.
Predictable
The future state of the environment is at any moment depends on the
operator applied at that moment and any lasting effects of previous
operators. This knowledge is stored in the planner's search
tree.
Simulated
All environments are simulated. PRODIGY does not carry out plans in
the real world.
Consistency
The state of the environment is precisely determined by applied operators'
addlists and deletelists. It is thus entirely consistant. The problem solver
may generate failed plans in a search tree, but the effects of addlists
and deletelists are certain.
Other