International Workshop on Description Logics

A formal language for representing and reasoning about time, actions and plans in a uniform way is presented. We employ an action representation in the style of Allen, where an action is represented by describing what is true while the action is occurring. In this sense, an action is defined by means of temporal constraints on the world states, which pertain to the action itself, and on other possible qualifications for the action occurring over time, while a plan is seen just as a complex action. Therefore, there is no difference between actions and plans in this framework. A distinction between action types and individual actions is supported by the formalism. In this paper, we show how to extend the language with a decomposition operator in a way of distinguishing the different actions composing a plan and not just the different temporal qualifications for the plan itself. Thus, a plan is a hierarchical structure made of its distinct component subparts. The formal representation lan..