Time, Actions and Plans Representation in a Description Logic

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 more elementary actions occurring over time. A distinction between action types and individual actions is supported by the formalism. Plans are seen as complex actions whose properties possibly change with time. Therefore, the distinction between actions and plans disappears in this framework. The formal representation language used in this paper is a member of the family of description logics, and it is provided with a well founded syntax, semantics and calculus. The classification and recognition tasks, together with the basic subsumption procedure, form the basis for action management. An action description can be automatically classified into a taxonomy; an action instance can be recognized to take place at a certain moment from the observation of what is happening in the world during a time interval