Incremental Forward Checking for the Disjunctive Temporal Problem

13 years 2 months ago
Incremental Forward Checking for the Disjunctive Temporal Problem
Abstract. This paper studies algorithms for the Disjunctive Temporal Problem (DTP) a quite general temporal reasoning problem introduced in [12]. This problem involves the satisfaction of a set of constraints represented by disjunctive formulas of the form ܽ Ý½ Ö½ ܾ  Ý¾ Ö¾ Ü  Ý Ö . The paper starts sketching why DTPs are potentially very useful in plan management applications, then analyzes the current solutions to DTP, and introduces a constraint-satisfaction problem solving algorithm where different aspects of current DTP’s literature are integrated. This basic algorithm is then improved exploiting the quantitative temporal information in the “distance graph”. Using this knowledge an incremental version of the forward checking is obtained and shown to be competitive with current best results. The whole approach allows to understand pros and cons of the current algorithms for the DTP and suggests further future developments as discussed in the final part of ...
Angelo Oddi, Amedeo Cesta
Added 02 Aug 2010
Updated 02 Aug 2010
Type Conference
Year 2000
Where ECAI
Authors Angelo Oddi, Amedeo Cesta
Comments (0)