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

Time, Actions and Plans Representation in a Description Logic

1994

Abstract

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
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11582/1017
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
social impact