Temporal Reasoning for Mixed-Initiative Planning

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.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.