Jonathan Stillman, Richard Arthur, James Farley
We discuss recent research involving the temporal reasoning system Tachyon, which we axe developing at GE, and its application to mixed-initiative planning in the ARPA/Rome Laboratory Planning Initiative (ARPI). Tachyon is an implementation of constraint-based model for representing and reasoning aboub qualitative and quantitative aspects of time. It’s data model provides substantial expressiveness, fast computation over convex intervals. We have applied Tachyon in a number of areas, including scheduling, project planning, feasibility analysis, and spatio-temporal data management. In this paper we will provide an introduction to Tachyon followed by an overview of recent work undertaken to support experimentation in the air campaign planning domain.