System and method for hierarchical metric temporal planning and re-planning

Abstract

Advanced systems and methods for temporal planning employ a temporal logic for representing and reasoning about temporal constraints over both logic and numeric (discrete and continuous) variables and continuous time. A temporal planning language represents a world model, and adapts the temporal planning language to support formulas expressing the temporal logic. Embodiments of the present disclosure also can receive a temporal planning problem and derive one or more solutions to the temporal planning problem using one or more of the formulas. Embodiments of the present disclosure further address re-planning such as, for example, when a new objective task is added to the set of objective tasks to be performed, when an existing objective task is cancelled, and/or when some event occurs unpredictably and invalidates the current plan.

Dependencies are inferred from the claim text.