Task Formalism Files -------------------- This directory contains the demonstration Task Formalism files for the O-Plan system. The files are as follows: bbb.tf Blue Badge in Box Problem blocks-1.tf Block stacking using a single operator schema blocks-2.tf Block stacking using multiple schemas. eusat.tf Simple satellite command and control problem. house-1.tf Simple house building problem house-1-inc-1.tf Incremental addition to the house-1.tf file house-2.tf House building problem involving interactions and alternatives house-3.tf Larger house building example house-4.tf House building problem involving time windows for actions and a start time for the entire plan house-5.tf House building problem involving resource limitations versus requirements on the house specification. m-and-c-1.tf Missionaries and Cannibals Problem m-and-c-2.tf Missionaries and Cannibals Problem using compute conditions pacifica-1.tf Pacifica Island Non-combatant Evacuation Operation (NEO) pacifica-2.tf Pacifica NEO with time and resources pacifica-3.tf Pacifica NEO with rich resource modelling July 1994 Year 2 Demo for O-Plan project. pacifica-4.tf Pacifica NEO for demonstrating Command, Planning and Control July 1995 Year 3 Demo for O-Plan project. space-platform.tf Space platform construction problem spanner.tf demonstration of need to have an achieve condition span outside of schema which introduces it for some solutions
Name Last modified Size Description
spanner.tf 1999-11-12 10:07 3.5K space-platform.tf 1999-11-12 10:07 11K pacifica-4.tf 1999-11-12 10:07 12K pacifica-3.tf 1999-11-12 10:07 24K pacifica-2.tf 1999-11-12 10:07 12K pacifica-1.tf 1999-11-12 10:07 9.0K m-and-c-2.tf 1999-11-12 10:07 7.0K m-and-c-1.tf 1999-11-12 10:07 8.6K house-5.tf 1999-11-12 10:07 6.1K house-4.tf 1999-11-12 10:07 9.5K house-3.tf 1999-11-12 10:07 10K house-2.tf 1999-11-12 10:07 9.2K house-1.tf 1999-11-12 10:07 7.4K house-1-inc-1.tf 1999-11-12 10:07 2.9K eusat.tf 1999-11-12 10:07 23K blocks-2.tf 1999-11-12 10:07 3.9K blocks-1.tf 1999-11-12 10:07 5.3K bbb.tf 1999-11-12 10:07 2.5K README 1999-11-12 10:07 1.7K