Backtracking algorithms for disjunctions of temporal constraints
β Scribed by Kostas Stergiou; Manolis Koubarakis
- Publisher
- Elsevier Science
- Year
- 2000
- Tongue
- English
- Weight
- 324 KB
- Volume
- 120
- Category
- Article
- ISSN
- 0004-3702
No coin nor oath required. For personal study only.
β¦ Synopsis
We extend the framework of simple temporal problems studied originally by Dechter, Meiri and Pearl to consider constraints of the form
, where x 1 , . . . , x n , y 1 , . . . , y n are variables ranging over the real numbers, r 1 , . . . , r n are real constants, and n 1. This is a wide class of temporal constraints that can be used to model a variety of problems in temporal reasoning, scheduling, planning, and temporal constraint databases. We have implemented several progressively more efficient algorithms for the consistency checking problem for this class of temporal constraints: backtracking, backjumping, three variations of forward checking, and forward checking with backjumping. We have partially ordered the above algorithms according to the number of visited search nodes and the number of performed consistency checks. Although our problem is non-binary, our results agree with the results of Kondrak and van Beek who consider only binary constraints. We have also studied the performance of the above algorithms experimentally using randomly generated sets of data and job shop scheduling problems. The experiments with random instances allowed us to locate the hard region for this class of problems. The results show that hard problems occur at a critical value of the ratio of disjunctions to variables.
π SIMILAR VOLUMES
We have addressed the problem of the uncertainty evaluation of phase values rendered by two popular algorithms: the N-bucket and the (N + 1)-bucket, both used to exploit temporal phase-stepping techniques. These algorithms, are mainly affected by errors in the calibration of the piezoelectric transd
This article addresses the problem of designing memory-efficient algorithms for the verification of temporal properties of finite-state programs. Both the programs and their desired temporal properties are modeled as automata on infinite words (Biichi automata). Verification is then reduced to check