𝔖 Bobbio Scriptorium
✦   LIBER   ✦

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


Uncertainty analysis of temporal phase-s
✍ Raul R. Cordero; Jerome Molimard; Amalia MartΓ­nez; Fernando Labbe πŸ“‚ Article πŸ“… 2007 πŸ› Elsevier Science 🌐 English βš– 267 KB

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

Memory-efficient algorithms for the veri
✍ C. Courcoubetis; M. Vardi; P. Wolper; M. Yannakakis πŸ“‚ Article πŸ“… 1992 πŸ› Springer 🌐 English βš– 804 KB

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