ECAI-2000 Logo

ECAI-2000 Conference Paper

[PDF] [full paper] [prev] [tofc] [next]

Temporal Constraint Networks in Action

Pedro Cabalar, Ramón P. Otero, Silvia G. Pose

This paper presents an study for the logical formalization of Temporal Constraint Networks (TCN), and how it can be introduced in a nonmonotonic logic for reasoning about actions and change called AL2. The resulting logic, ALT, combines the representational capabilities of both formalisms, allowing temporal constraints in the conditions of causal rules that describe the domain behavior. We show how one of the main features of AL2, called {\em pertinence}, provides an appropriate basis for directly relating time points not only to action occurrences, but also to relevant changes in fluents.

Keywords: Temporal Reasoning, Reasoning about Actions and Change

Citation: Pedro Cabalar, Ramón P. Otero, Silvia G. Pose: Temporal Constraint Networks in Action. In W.Horn (ed.): ECAI2000, Proceedings of the 14th European Conference on Artificial Intelligence, IOS Press, Amsterdam, 2000, pp.543-547.

[prev] [tofc] [next]

ECAI-2000 is organised by the European Coordinating Committee for Artificial Intelligence (ECCAI) and hosted by the Humboldt University on behalf of Gesellschaft für Informatik.