Eddie Schwalb, Rina Dechter. It is well known that all these tasks are NP-hard.
|
|
- Erica McBride
- 6 years ago
- Views:
Transcription
1 Coping With Disjunctions in Temporal Constraint Satisfaction Problems 3 Eddie Schwalb, Rina Dechter Department of Information and Computer Science University of California at Irvine, CA 977 eschwalb@ics.uci.edu, dechter@ics.uci.edu Abstract Path-consistency algorithms, which are polynomial for discrete problems, are exponential when applied to problems involving quantitative temporal information. The source of complexity stems from specifying relationships between pairs of time points as disjunction of intervals. We propose a polynomial algorithm, called, that approximates path-consistency in Temporal Constraint Satisfaction Problems (TCSPs). We compare empirically to path-consistency and directional path-consistency algorithms. When used as a preprocessing to backtracking, is shown to be times more eective then either or PC.. Introduction Problems involving temporal constraints arise in various areas of computer science such as scheduling, circuit and program verication, parallel computation and common sense reasoning. Several formalisms for expressing and reasoning with temporal knowledge have been proposed, most notably Allen's interval algebra (Allen 83), Vilain and Kautz's point algebra (Vilain 86, Vanbeek 9), and Dean & Mcdermott's Time Map Management (TMM) (Dean & McDermott 87). Recently, a framework called Temporal Constraint Problem (TCSP) was proposed (Dechter Meiri & Pearl 9), in which network-based methods (Dechter & Pearl 88, Dechter 9) were extended to include continuous variables. In this framework, variables represent time points and quantitative temporal information is represented by a set of unary and binary constraints over the variables. This model was further extended in (Meiri 9) to include qualitative information. The advantage of this framework is that it facilitates the following tasks: () nding all feasible times a given event can occur, () nding all possible relationships between two given events, (3) nding one or more scenarios consistent with the information provided, and () representing the data in a minimal network form that can pro- 3 This work was partially supported by NSF grant IRI , by Air Force Oce of Scientic Research, AFOSR 936, and by erox grant. vide answers to a variety of additional queries. It is well known that all these tasks are NP-hard. The source of complexity stems from specifying relationships between pairs of time points as disjunctions of intervals. Even enforcing path-consistency, which is polynomial in discrete problems, becomes worst-case exponential in the number of intervals in each constraint. On the other hand, simple temporal problems having only one interval per constraint are tractable and can be solved by path-consistency. Consequently, we propose to exploit the eciency of processing simple temporal problems for approximating path consistency. This leads to a polynomial algorithm, called. We compare empirically with path-consistency (PC) and directional path-consistency (). Our results show that while is always a very ecient algorithm, it is most accurate (relative to full pathconsistency enforced by PC) for problems having a small number ofintervals and high connectivity. When used as a preprocessing procedure before backtracking, is times more eective then or PC. The paper is organized as follows. Section presents the TCSP model. Section 3 presents algorithm ; Section presents the empirical evaluation and the conclusion is presented in Section 5.. The TCSP Model A TCSP involves a set of variables, ;...; n,having continuous domains, each representing a time point. Each constraint T is represented by a set of intervals T (I ;...;I n )=f[a ;b ];...; [a n ;b n ]g. For a unary constraint T i over i, the set of intervals restricts the domain such that (a i b ) [...[ (a n i b n ). For a binary constraint T ij over i ; j, the set of intervals restricts the permissible values for the distance j i ; namely it represents the disjunction (a j i b l ) [...[ (a n j i b n ). All intervals are pairwise disjoint. A binary TCSP can be represented byadirected con-
2 straint graph, where nodes represent variables and an edge i! j indicates that a constraint T ij is specied. Every edge is labeled by the interval set (Figure ). A special time point is introduced to represent the \beginning of the world". Because all times are relative to,thus we may treat each unary constraint T i as a binary constraint T i (having the same interval representation). For simplicity,wechoose =. [,3] [,7] [8,] [,] [3,5] T = f[; ]; [3; ]g T 3 = f[; 3]; [; 7]; [8; ]g T = f[; ]; [6; 7]g T 3 = f[; ]; [6; 9]; [3; 5]g T 3 = f[; 5]g 3 T ( ) [ (3 ) T 3 ( 3 3) [ ( 3 7) [ (8 3 ) T ( ) [ (6 7) T 3 ( 3 ) [ (6 3 9) [ (3 3 5) T 3 ( 3 5) Figure : A graphical representation of a TCSP where =; =:5; =:5; 3 = 8 is a solution. A tuple =(x ;...;x n ) is called a solution if the assignment = x ;...; n = x n satises all the constraints. The network is consistent i at least one solution exists. Avalue v is a feasible value of i if there exists a solution in which i = v. The minimal domain of a variable is the set of all feasible values of that variable. The minimal constraint is the tightest constraint that describes the same set of solutions. The minimal network is such that its domains and constraints are minimal. Denition : Let T = fi ;...;I l g and S = fj ;...;j m g be two sets of intervals which can correspond to either unary or binary constraints.. The intersection of T and S, denoted by T 8 S, admits only values that are allowed by both of them.. The composition of T and S, denoted by T S, admits only values r for which there exists t T and s S such that r = t + s. T S T S T S T = f[:5; :5]; [:75; :5]g S = f[:5; :5]; [3:77; :5]g T 8 S = f[:5; :5]; [3:75; :5]g T S = f[:5; :5]; [:5; 5:5]; [6:5; 8:5]g Figure : A pictorial example of the 8 and operations. The operation may result in intervals that are not pairwise disjoint. Therefore, additional processing may be required to compute the disjoint interval set. Denition : The path-induced constraint onvari- ables i ; j is R path ij = 8 8k (T ik T kj ). A constraint T ij is path-consistent i T ij R path ij and pathredundant i T ij R path ij. A network is path-consistent i all its constraints are path-consistent. A general TCSP can be converted into an equivalent path-consistent network by applying the relaxation operation T ij T ij 8 T ik T kj, using algorithm PC (Figure 3). Some problems may benet from a weaker version, called, which can be enforced more eciently. Algorithm PC. Q f(i; k; j)j(i <j)and(k 6= i; j)g. while Q 6= fg do 3. select and delete a path (i; k; j) from Q. if T ij 6= T ik T kj then 5. T ij T ij 8 (T ik T kj) 6. if T ij = fg then exit (inconsistency) 7. Q Q [ RELATED-PATHS((i; k; j)) 8. end-if 9. end-while Algorithm. for k n downtoby-do. for 8i; j < k such that (i; k); (k; j) E do 3. if T ij 6= T ik T kj then. E E [ (i; j) 5. T ij T ij 8 (T ik T kj) 6. if T ij = fg then exit (inconsistency) 7. end-if 8. end-for 9. end-for Figure 3: Algorithms PC and (Dechter Meiri &Pearl 9). 3. Upper-Lower Tightening () The relaxation operation T ij T ij 8T ik T kj increases the number ofintervals and may result in exponential blow-up. As a result, the complexity of PC and is exponential in the number ofintervals, but can be bounded by O(n 3 R 3 ) and O(n 3 R ), respectively, where n is the number of variables and R is the range of the constraints. When running PC on random instances, we encountered problems for which path-consistency required minutes on toy-sized problems with variables, range of [,6], and with 5 input intervals in each constraint. Evidently, PC is computationally expensive (also observed by (Poesio 9)). A special class of TCSPs that allow ecient processing is the Simple Temporal Problem (STP) (Dechter Meiri & Pearl 9). In this class, a constraint has a single interval. An STP can be associated with a directed edge-weighted graph, G d, called a distance graph, having the same vertices as the constraint graph G; each edge i! j is labeled by aweight w ij representing the constraint j i w ij (Figure ). An STP is consistent i the corresponding d-graph G d has no negative cycles and the minimal network of the STP
3 N N () N () N (3) [,3] [,7] [8,] [,] [3,5] [,] [,5] [3,6] [,9] [,9] N () N () N (3) [3,6] [,] [,9] [,9] N () N () N (3) [,6] Figure 5: A sample run of. We start with N (Figure ) and compute N () ; N () ; N (). Thereafter, we perform a second iteration in which we compute N () ; N () ; N () and nally, in the third iteration, there is no change. The rst iteration removes two intervals, while the second iteration removes one. corresponds to the minimal distances of G d.for a processing example, see gure. Alternatively, the minimal network of an STP can be computed by PC in O(n 3 ) steps. [,] [,5] Distance Graph G d Floyd - Warshall Minimal Distance Algorithm Figure : Processing an STP. The minimal network is in Figure 5, network N () Motivated by these results, we propose an ecient algorithm that approximates path-consistency. The idea is to use the extreme points of all intervals associated with a single constraint as one big interval, yielding an STP, and then to perform path-consistency on that STP. This process will not increasing the number of intervals. Denition 3 : Let T ij = [I ;...;I m ] be the constraint over variables i ; j and let L ij ; U ij be the lowest and highest value of T ij, respectively. We de- ne N ;N ;N as follows (see Figure 5): 5 7 Algorithm Upper-Lower Tightening (). input: N. N N 3. repeat. N N 5. compute N ; N ; N. 6. until 8ij (L ij = L ij) and (Uij 7. if 9ij (U ij <L or 9ij (Uij <L ij ) = U ij) ij ) output: \Inconsistent." otherwise output: N Figure 6: The algorithm. N is an STP derived from N by relaxing its constraints to T ij =[L ij; U ij ]. N is the minimal network of N. N is derived from N and N by intersecting T ij = T ij 8 T ij. Algorithm is presented in Figure 6. We can show that computes a network equivalent toits input network. Lemma : Let N be the input to and R be its output. The networks N and R are equivalent. Regarding the eectiveness of, we can show that Lemma : Every iteration of (excluding the last) removes at least one interval.
4 This can be used to show that Theorem : Algorithm terminates in O(n 3 ek+ e k ) steps where n is the number of variables, e is the number of edges, and k is the maximal number of intervals in each constraint. In contrast to PC, is guaranteed to converge in O(ek) iterations even if the interval boundaries are not rational numbers. For a sample execution see Figure 5. Algorithm can also be used to identify pathredundancies. Denition : A constraint T ij is redundant-prone i, after applying, T ij is redundant inn. Lemma 3: T ij is path-redundant in N if T ij T ij and T ij = 8 8k(T ik T kj ). Corollary : A single interval constraint T ij is redundant-prone i T ij = 8 8k(T ik T kj ). Consequently, after applying to a TCSP,we can test the condition in Corollary and eliminate some redundant constraints. A brute-force algorithm for solving a TCSP decomposes it into separate STPs by selecting a single interval from each constraint (Dechter Meiri & Pearl 9). Each STP is then solved separately and the solutions are combined. Alternatively, a naive backtracking algorithm will successively assign an interval to a constraint, as long as the resulting STP is consistent. Once inconsistency is detected, the algorithm backtracks. Algorithm can be used as a preprocessing stage to reduce the number of intervals in each constraint and to identify some path-redundant constraints. Since every iteration of removes at least one interval, the search space is pruned. More importantly, if causes redundant constraints to be removed, the search space may be pruned exponentially in the number of constraints removed. Note however that the number of constraints in the initial network is e while following the application of, or PC, the constraint graph becomes complete thus the number of constraints is O(n ).. Empirical Evaluation We conducted two sets of experiments. One comparing the eciency and accuracy of and relative to PC, and the other comparing their eectiveness as a preprocessing to backtracking. Our experiments were conducted on randomly generated sets of instances. Our random problem generator uses ve parameters: () n, the number of variables, () k, the number of intervals in each constraint, (3) We call this process \labeling the TCSP". Time in Seconds Fraction of inconsistency detection Efficiency of,, PC, PC- ( reps) on variables, tightness.95, Pc= Number of Intervals Approximation Quality relative to PC on variables, tightness.95, Pc= Number of Intervals 8 8 PC PC- Figure 8: The execution time and quality of the approximation obtained by and to PC. Each point represents runs on networks with variables,.95 tightness, connectivity P C = : and range [; 6]. R = [Inf,Sup], the range of the constraints, () T I, the tightness of the constraints, namely, the fraction of values allowed relative to the interval [Inf,Sup], and (5) P C, the probability that a constraint T ij exists. Intuitively, problems with dense graphs and loose constraints with many intervals should be more dicult. To evaluate the quality of the approximation achieved by and relative to PC, we counted the number of cases in which and detected inconsistency given that PC detected one. From Figure 8, we conclude that when the number of intervals is small, is faster than but produces weaker approximations. When the number of intervals is large, is much slower but is more accurate. In addition, we observe that when the number of intervals is very large, computes a very good approximation to PC, and runs about times faster. In Figure 9 we report the relative quality of and for a small (3) and for a large () number of intervals, as a function of connectivity. As the connectivity increases, the approximation quality of both
5 Fraction of inconsistency detection Fraction of inconsistency detection Approximation Quality relative to PC on variables, 3 intervals, tightness Connectivity parameter Pc Approximation Quality relative to PC on variables, intervals, tightness Connectivity parameter Pc Figure 9: Quality of the approximation vs connectivity on problems with variables, tightness.95 and range [; 6]. We measured on problems of 3 intervals (top) where each point represents runs, and on intervals (bottom) where each point represents runs. and increases. Note again that is more accurate for a small number of intervals while dominates for large number of intervals. We measured the number of iterations performed by, PC, and PC- (Figure ). We observe that for our benchmarks, performed iteration (excluding the termination iteration) in most of the cases, while PC- and PC performed more ( performs only one iteration). In the second set of experiments we tested the power of, and PC as preprocessing to backtracking. Without preprocessing, the problems could not be solved using the naive backtracking. Our preliminary tests ran on problem instances with variables and 3 intervals and none terminated before STP checks. We therefore continued with testing backtracking following preprocessing by, and PC. A brute force path-consistency algorithm (Dechter Meiri & Pearl).. Number of iterations Number of Iterations Iteration count of, PC, PC Number of intervals Iteration count for, PC, PC Connectivity Parameter Pc. PC PC- PC PC- Figure : The number of iterations, PC and PC- performed (excluding the termination iteration) on problems with variables, intervals, P C = :, and tightness.95. Each point represents runs. Testing the consistency of a labeling requires solving the corresponding STP. An inconsistent STP represents a dead-end. Therefore, we counted the number of inconsistent STPs tested before a single consistent one was found and the overall time required (including preprocessing). The results are presented in Figure on a logarithmic scale. We observe that was able to remove intervals eectively and appears to be the most eective as a preprocessing procedure. For additional experiments with path-consistency for qualitative temporal networks see (Ladkin & Reinefeld 9). Summary and conclusion In this paper we presented a polynomial approximation algorithm to path-consistency for temporal constraint problems, called. Its complexityiso(n 3 ek+e k ), in contrast to path-consistency which is exponential in k, where n is the number of variables, e is the number of constraints and k is the maximal numberofintervals per constraint. We also argued that can be used to eectively identify some path-redundancies. Weevaluated the performance of and em-
6 Time in Seconds Number of STPs tested Backtracking efficiency using,, PC as preprocessing stage PC Connectivity Parameter Pc Backtracking Efficiency using,, PC as preprocessing stage....6 Connectivity Parameter Pc.8 PC Figure : Backtracking performance following preprocessing by, PC and PC- respectively, on problems with variables, 3 intervals, and tightness.95. Each point represents runs. The time includes preprocessing. pirically by comparing their run-time and quality of output relative to PC. The results show that while is always very ecient, it is most accurate (i.e. it generates output closer to PC) for problems having a small number of intervals and high connectivity. Specically, we saw that:. The complexity of both PC and grows exponentially in the number of intervals, while the complexity of remains almost constant.. When the number of intervals is small, is faster but produces weaker approximations relative to. When the number of intervals is large, is much slower but more accurate. 3. For a large number of intervals, computes a very good approximation to PC, and runs about times faster.. When used as a preprocessing procedure before backtracking, is shown to be times more eective then either or PC. Finally, our experimental evaluation is by no means complete. We intend to conduct additional experiments with wider range of parameters and larger problems. 6 References Allen, J.F Maintaining knowledge about temporal intervals. CACM 6(): Dechter, R.; Meiri, I.; Pearl, J. 99. Temporal Constraint Networks. Articial Intelligence 9:6-95. Dechter, R.; 99. \Constraint Networks", Encyclopedia of Articial Intelligence, (nd ed.) (Wiley, New York, 99) Dechter, R.; Pearl, J Network-based heuristics for constraint satisfaction problems. Articial Intelligence 3:-38. Dechter, R. 99. Enhancement schemes for constraint processing: Backjumping, learning and cutset decomposition. Articial Intelligence :73-3. Dechter, R.; Dechter, A Removing redundancies in constraint networks. In Proc. of AAAI-87, 5-9. Dean, T.M.; McDermott, D. V Temporal data base management. Articial Intelligence 3:-55. Freuder, E.C A sucient condition of backtrack free search. JACM 3():5-5. Ladkin, P. B.; Reinefeld, A. 99. Eective solution of qualitative interval constraint problems. Articial Intelligence 57:5-. Meiri, I. 99. Combining qualitative and quantitative constraints in temporal reasoning. In Proc. of AAAI-9, 667. Meiri, I.; Dechter, R.; Pearl, J. 99. Tree decomposition with application to constraint processing. In Proc. of AAAI-9, 6. Kautz, H.; Ladkin, P. 99. Intergating metric and qualitative temporal reasoning", In Proc. of AAAI-9, 6. Koubarakis, M. 99. Dense time and temporal constraints with 6=. In Proc. KR-9, -35. Poesio, M.; Brachman, R. J. 99. Metric constraints for maintaining appointments: Dates and repeated activities. In Proc. AAAI-9, Van Beek, P. 99. Reasoning about qualitative temporal information. Articial Intelligence 58: Vilain, M.; Kautz, H Constraint propagation algorithms for temporal information. In Proc AAAI-86,
Abstract. I. Introduction. 2. The T CS ode1. vide answers to a variety of additional queries.
From: AAAI-93 Proceedings. Copyright 1993, AAAI (www.aaai.org). All rights reserved. in Temporal it Constraint Eddie Schwalb, Rina Dechter Department of Information and Computer Science University of California
More informationTemporal Constraint Networks 3. Eddie Schwalb, Rina Dechter. Abstract
Processing Disjunctions in Temporal Constraint Networks 3 Eddie Schwalb, Rina Dechter Department of Information and Computer Science University of California at Irvine, CA 92717 eschwalb,dechter@ics.uci.edu
More informationRina Dechter. Irvine, California, USA A constraint satisfaction problem (csp) dened over a constraint network
Constraint Satisfaction Rina Dechter Department of Computer and Information Science University of California, Irvine Irvine, California, USA 92717 dechter@@ics.uci.edu A constraint satisfaction problem
More informationIn search of the best constraint satisfaction search 3. Daniel Frost and Rina Dechter.
In search of the best constraint satisfaction search 3 Daniel Frost and Rina Dechter Dept. of Information and Computer Science University of California, Irvine, CA 92717 fdfrost,dechterg@ics.uci.edu Abstract
More informationKalev Kask and Rina Dechter. Department of Information and Computer Science. University of California, Irvine, CA
GSAT and Local Consistency 3 Kalev Kask and Rina Dechter Department of Information and Computer Science University of California, Irvine, CA 92717-3425 fkkask,dechterg@ics.uci.edu Abstract It has been
More informationOn the Complexity of Interval-Based Constraint. Networks. September 19, Abstract
On the Complexity of Interval-Based Constraint Networks Rony Shapiro 1, Yishai A. Feldman 2, and Rina Dechter 3 September 19, 1998 Abstract Acyclic constraint satisfaction problems with arithmetic constraints
More informationTitle of Publication: Encyclopedia of Cognitive Science. Article title: Constraint Satisfaction. Article code: 26. Authors: Rina Dechter
Title of Publication: Encyclopedia of Cognitive Science. Article title: Constraint Satisfaction. Article code: 26. Authors: Rina Dechter Department of Computer and Information Science University of California,
More informationGSAT and Local Consistency
GSAT and Local Consistency Kalev Kask Computer Science Department University of California at Irvine Irvine, CA 92717 USA Rina Dechter Computer Science Department University of California at Irvine Irvine,
More informationBacktracking algorithms for disjunctions of temporal constraints
Artificial Intelligence 120 (2000) 81 117 Backtracking algorithms for disjunctions of temporal constraints Kostas Stergiou a,, Manolis Koubarakis b,1 a APES Research Group, Department of Computer Science,
More informationAn efficient consistency algorithm for the Temporal Constraint Satisfaction Problem
AI Communications 17 (2004) 213 221 213 IOS Press An efficient consistency algorithm for the Temporal Constraint Satisfaction Problem Berthe Y. Choueiry and Lin Xu Constraint Systems Laboratory, Department
More informationA Graph-Based Method for Improving GSAT. Kalev Kask and Rina Dechter. fkkask,
A Graph-Based Method for Improving GSAT Kalev Kask and Rina Dechter Department of Information and Computer Science University of California, Irvine, CA 92717 fkkask, dechterg@ics.uci.edu Abstract GSAT
More informationspace. We will apply the idea of enforcing local consistency to GSAT with the hope that its performance can
GSAT and Local Consistency 3 Kalev Kask Computer Science Department University of California at Irvine Irvine, CA 92717 USA Rina Dechter Computer Science Department University of California at Irvine Irvine,
More informationOn Computing the Minimal Labels in Time. Point Algebra Networks. IRST { Istituto per la Ricerca Scientica e Tecnologica. I Povo, Trento Italy
To appear in Computational Intelligence Journal On Computing the Minimal Labels in Time Point Algebra Networks Alfonso Gerevini 1;2 and Lenhart Schubert 2 1 IRST { Istituto per la Ricerca Scientica e Tecnologica
More informationReasoning about Qualitative Temporal Information
From: AAAI-90 Proceedings. Copyright 1990, AAAI (www.aaai.org). All rights reserved. Reasoning about Qualitative Temporal Information Peter van Beek Department of Computer Science1 University of Waterloo
More informationModelling and Solving Temporal Reasoning as Propositional Satisfiability
Modelling and Solving Temporal Reasoning as Propositional Satisfiability Duc Nghia Pham a,b,, John Thornton a,b and Abdul Sattar a,b a SAFE Program NICTA Ltd., Queensland, Australia b Institute for Integrated
More informationReasoning about Qualitative Temporal Information
Reasoning about Qualitative Temporal Information Peter van Beek Department of Computer Science University of Waterloo Waterloo, Ontario CANADA N2L 3G1 Abstract Interval and point algebras have been proposed
More informationPath Consistency Revisited. Moninder Singh. University of Pennsylvania. Philadelphia, PA
Proceedings of the 7th IEEE International Conference on Tools with Articial Intelligence, 318-325, 1995. c Institute of Electrical and Electronics Engineers, Inc. (IEEE). Path Consistency Revisited Moninder
More informationLocal consistency for ternary numeric constraints. Boi Faltings and Esther Gelle. Articial Intelligence Laboratory (LIA)
Local consistency for ternary numeric constraints Boi Faltings and Esther Gelle Articial Intelligence Laboratory (LIA) Swiss Federal Institute of Technology (EPFL) IN-Ecublens, 1015 Lausanne, Switzerland
More informationFaster Constraint Satisfaction Algorithms for Temporal Reasoning' (*)
TECHNICAL REPORT R-151 July, 1990 Faster Constraint Satisfaction Algorithms for Temporal Reasoning' (*) Itay Meiri and Judea Pearl Cognitive Systems Laboratory Computer Science Department University of
More informationHybrid Algorithms for SAT. Irina Rish and Rina Dechter.
To Guess or to Think? Hybrid Algorithms for SAT Irina Rish and Rina Dechter Information and Computer Science University of California, Irvine fdechter,irinarg@ics.uci.edu http://www.ics.uci.edu/f~irinar,~dechterg
More informationThe Design and Experimental Analysis of Algorithms for. Temporal Reasoning. Abstract
Journal of Articial Intelligence Research 4 (1996) 1-18 Submitted 9/95; published 1/96 The Design and Experimental Analysis of Algorithms for Temporal Reasoning Peter van Beek Dennis W. Manchak Department
More informationImproving search using indexing: a study with temporal CSPs
Improving search using indexing: a study with temporal CSPs Nikos Mamoulis Dimitris Papadias Department of Computer Science Hong Kong University of Science Technology Clear Water Bay, Hong Kong http://www.es.ust.hk/{-mamoulis,
More informationA Polynomial Algorithm for Continuous Non-binary Disjunctive CSPs
A Polynomial Algorithm for Continuous Non-binary Disjunctive CSPs Miguel A. Salido, Federico Barber Departamento de Sistemas Informáticos y Computación, Universidad Politécnica de Valencia, 46020 Valencia,
More informationKalev Kask and Rina Dechter
From: AAAI-96 Proceedings. Copyright 1996, AAAI (www.aaai.org). All rights reserved. A Graph-Based Method for Improving GSAT Kalev Kask and Rina Dechter Department of Information and Computer Science University
More informationTemporal Reasoning Problems and Algorithms for Solving Them. Student number
Temporal Reasoning Problems and Algorithms for Solving Them Léon Planken Student number 9654215 November 2, 2007 2 Contents Preface iii 1 Introduction 1 2 The Simple Temporal Problem 5 2.1 Introduction............................
More informationConstraint Tightness and Looseness versus Local and Global Consistency
Constraint Tightness and Looseness versus Local and Global Consistency Peter van Beek Department of Computing Science University of Alberta Edmonton, Alberta, Canada T6G 2H1 vanbeek@cs.ualberta.ca Rina
More informationA Divide-and-Conquer Approach for Solving Interval Algebra Networks
A Divide-and-Conquer Approach for Solving Interval Algebra Networks Jason Jingshi Li, Jinbo Huang, and Jochen Renz Australian National University and National ICT Australia Canberra, ACT 0200 Australia
More informationUncovering trees in constraint networks. Rina Dechter Itay Meiri Judea Pearl. Irvine; CA University of California University of California
Uncovering trees in constraint networks Rina Dechter Itay Meiri Judea Pearl Information & Computer Science Cognitive Systems Laboratory Cognitive Systems Laboratory University of California; Irvine Computer
More informationEXPERIMENTAL EVALUATION OF PREPROCESSING TECHNIQUES IN CONSTRAINT SATISFACTION PROBLEMS*
EXPERIMENTAL EVALUATION OF PREPROCESSING TECHNIQUES IN CONSTRAINT SATISFACTION PROBLEMS* Rina Dechter Computer Science Department Technion - Israel Institute of Technology Haifa 32000, Israel Itay Meiri
More informationKalev Kask. Abstract. This paper evaluates the power of a new scheme that generates
New Search Heuristics for Max-CSP.? Kalev Kask Department of Information and Computer Science University of California, Irvine, CA 92697-3425 kkask@ics.uci.edu Abstract. This paper evaluates the power
More informationResults on benchmark circuits. Information & Computer Science Dept. The performance of clustering and conditioning methods
An evaluation of structural parameters for probabilistic reasoning: Results on benchmark circuits Yousri El Fattah Information & Computer Science Dept. University of California Irvine, CA Rina Dechter
More informationSome Applications of Graph Bandwidth to Constraint Satisfaction Problems
Some Applications of Graph Bandwidth to Constraint Satisfaction Problems Ramin Zabih Computer Science Department Stanford University Stanford, California 94305 Abstract Bandwidth is a fundamental concept
More informationGenerating Feasible Schedules under Complex Metric Constraints *
From: AAAI-94 Proceedings. Copyright 1994, AAAI (www.aaai.org). All rights reserved. Generating Feasible Schedules under Complex Metric Constraints * Cheng-Chung Cheng The Robotics Institute Carnegie Mellon
More informationTemporal Constraint Satisfaction Problems An Evaluation of Search Strategies
Introduction Temporal Constraint Satisfaction Problems An Evaluation of Search Strategies Bruce Lo, John Duchi, and James Connor brucelo@cs.stanford.edu, jduchi@stanford.edu, jconnor@stanford.edu Stanford
More informationClass2: Constraint Networks Rina Dechter
Algorithms for Reasoning with graphical models Class2: Constraint Networks Rina Dechter Dbook: chapter 2-3, Constraint book: chapters 2 and 4 Text Books Road Map Graphical models Constraint networks Model
More informationA New Efficient Algorithm for Solving the Simple Temporal Problem
University of Nebraska - Lincoln DigitalCommons@University of Nebraska - Lincoln CSE Conference and Workshop Papers Computer Science and Engineering, Department of 2003 A New Efficient Algorithm for Solving
More informationOn the Space-Time Trade-off in Solving Constraint Satisfaction Problems*
Appeared in Proc of the 14th Int l Joint Conf on Artificial Intelligence, 558-56, 1995 On the Space-Time Trade-off in Solving Constraint Satisfaction Problems* Roberto J Bayardo Jr and Daniel P Miranker
More informationBacktracking Algorithms for Disjunctions of Temporal. Constraints. April 22, Abstract
Backtracking Algorithms for Disjunctions of Temporal Constraints April 22, 1998 Abstract We extend the framework of simple temporal problems studied originally by Dechter, Meiri and Pearl to consider constraints
More informationConstraint Solving by Composition
Constraint Solving by Composition Student: Zhijun Zhang Supervisor: Susan L. Epstein The Graduate Center of the City University of New York, Computer Science Department 365 Fifth Avenue, New York, NY 10016-4309,
More informationConstraint-Directed Backtracking Algorithm. Wanlin Pang. Scott D. Goodwin. May 1996
Constraint-Directed Backtracking Algorithm for Constraint-Satisfaction Problems Wanlin Pang Scott D. Goodwin Technical Report CS-96-05 May 1996 cwanlin Pang and Scott D. Goodwin Department of Computer
More informationin conjunction with algorithms which check forwards, the Fail-First (FF) and Brelaz (Bz) heuristics are cheap to evaluate and are generally considered
An Empirical Study of Dynamic Variable Ordering Heuristics for the Constraint Satisfaction Problem? Ian P. Gent 1, Ewan MacIntyre 1, Patrick Prosser 1, Barbara M. Smith 2 and Toby Walsh 3 1 Department
More informationDaniel Frost and Rina Dechter. fdfrost,
Look-ahead value ordering for constraint satisfaction problems Daniel Frost and Rina Dechter Dept. of Information and Computer Science University of California, Irvine, CA 92717-3425 U.S.A. fdfrost, dechterg@ics.uci.edu
More informationExploiting the Structure of Hierarchical Plans in Temporal Constraint Propagation
Exploiting the Structure of Hierarchical Plans in Temporal Constraint Propagation Neil Yorke-Smith Artificial Intelligence Center, SRI International, Menlo Park, CA 94025, USA nysmith@ai.sri.com Abstract
More informationIntegrating etrie a alitativ TernDora. easoning. Henry A. Kautz AT&T Bell Laboratories Murray Hill, NJ
From: AAAI-91 Proceedings. Copyright 1991, AAAI (www.aaai.org). All rights reserved. Integrating etrie a alitativ TernDora 4. easoning Henry A. Kautz AT&T Bell Laboratories Murray Hill, NJ 07974 kautz@research.att.com
More informationOn Combinations of Binary Qualitative Constraint Calculi
On Combinations of Binary Qualitative Constraint Calculi Stefan Wölfl and Matthias Westphal Department of Computer Science, University of Freiburg Georges-Köhler-Allee, 79110 Freiburg, Germany {woelfl,
More informationApplying Local Search to Temporal Reasoning
Applying Local Search to Temporal Reasoning J. Thornton, M. Beaumont and A. Sattar School of Information Technology, Griffith University Gold Coast, Southport, Qld, Australia 4215 {j.thornton, m.beaumont,
More informationMini-Buckets: A General Scheme for Generating Approximations in Automated Reasoning
Mini-Buckets: A General Scheme for Generating Approximations in Automated Reasoning Rina Dechter* Department of Information and Computer Science University of California, Irvine dechter@ics. uci. edu Abstract
More informationTechniques to Job Shop Scheduling. Carnegie Mellon University. Pittsburgh, PA January 1995
Applying Constraint Satisfaction Techniques to Job Shop Scheduling Cheng-Chung Cheng and Stephen F. Smith 1 CMU-RI-TR-95-03 The Robotics Institute Carnegie Mellon University Pittsburgh, PA 15213 c1995
More information3 No-Wait Job Shops with Variable Processing Times
3 No-Wait Job Shops with Variable Processing Times In this chapter we assume that, on top of the classical no-wait job shop setting, we are given a set of processing times for each operation. We may select
More informationUnifying and extending hybrid tractable classes of CSPs
Journal of Experimental & Theoretical Artificial Intelligence Vol. 00, No. 00, Month-Month 200x, 1 16 Unifying and extending hybrid tractable classes of CSPs Wady Naanaa Faculty of sciences, University
More informationBelief propagation in a bucket-tree. Handouts, 275B Fall Rina Dechter. November 1, 2000
Belief propagation in a bucket-tree Handouts, 275B Fall-2000 Rina Dechter November 1, 2000 1 From bucket-elimination to tree-propagation The bucket-elimination algorithm, elim-bel, for belief updating
More informationArtificial Intelligence. Modelling and solving temporal reasoning as propositional satisfiability
Artificial Intelligence 172 (2008) 1752 1782 Contents lists available at ScienceDirect Artificial Intelligence www.elsevier.com/locate/artint Modelling and solving temporal reasoning as propositional satisfiability
More informationDecomposable Constraints
Decomposable Constraints Ian Gent 1, Kostas Stergiou 2, and Toby Walsh 3 1 University of St Andrews, St Andrews, Scotland. ipg@dcs.st-and.ac.uk 2 University of Strathclyde, Glasgow, Scotland. ks@cs.strath.ac.uk
More information(i,j,k) North. Back (0,0,0) West (0,0,0) 01. East. Z Front. South. (a) (b)
A Simple Fault-Tolerant Adaptive and Minimal Routing Approach in 3-D Meshes y Jie Wu Department of Computer Science and Engineering Florida Atlantic University Boca Raton, FL 33431 Abstract In this paper
More informationUNIVERSITY OF CALIFORNIA. Irvine. Temporal Reasoning with Constraints. requirements for the degree of Doctor of Philosophy. Edward Moshe Schwalb
UNIVERSITY OF CALIFORNIA Irvine Temporal Reasoning with Constraints A dissertation submitted in partial satisfaction for the requirements for the degree of Doctor of Philosophy in Information and Computer
More informationA COMPARISON OF ATMS AND CSP TECHNIQUES
A COMPARISON OF ATMS AND CSP TECHNIQUES Johan de Kleer Xerox Palo Alto Research Center 3333 Coyote Hill Road, Palo Alto CA 94304 Abstract A fundamental problem for most AI problem solvers is how to control
More informationCluster quality 15. Running time 0.7. Distance between estimated and true means Running time [s]
Fast, single-pass K-means algorithms Fredrik Farnstrom Computer Science and Engineering Lund Institute of Technology, Sweden arnstrom@ucsd.edu James Lewis Computer Science and Engineering University of
More informationCopyright (C) 1997, 1998 by the Association for Computing Machinery, Inc. Permission to make digital or hard copies of part or all of this work for
Copyright (C) 1997, 1998 by the Association for Computing Machinery, Inc. Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided
More informationAugmenting Disjunctive Temporal Problems with Finite-Domain Constraints
Augmenting Disjunctive Temporal Problems with Finite-Domain Constraints Michael D. Moffitt and Bart Peintner and Martha E. Pollack Department of Electrical Engineering and Computer Science University of
More informationMaximal Tractable Fragments of the Region Connection Calculus: A Complete Analysis
Maximal Tractable Fragments of the Region Connection Calculus: A Complete Analysis Jochen Renz Institut fiir Informatik, Albert-Ludwigs-Universitat Am Flughafen 17, 79110 Freiburg, Germany Abstract We
More informationHeap-on-Top Priority Queues. March Abstract. We introduce the heap-on-top (hot) priority queue data structure that combines the
Heap-on-Top Priority Queues Boris V. Cherkassky Central Economics and Mathematics Institute Krasikova St. 32 117418, Moscow, Russia cher@cemi.msk.su Andrew V. Goldberg NEC Research Institute 4 Independence
More informationA System Prototype for Solving Multi-granularity Temporal CSP
142 A System Prototype for Solving Multi-granularity Temporal CSP Claudio Bettini, Sergio Mascetti, and Vincenzo Pupillo DICo Università di Milano, Italy Abstract. Time granularity constraint reasoning
More informationClass 2 Constraint Networks
Class 2 Constraint Networks The constraint network model Inference. 1 Road Map (classes 2 3) The constraint network model Inference Search Hybrids of search and inference 2 Constraint Networks A Example:
More informationSteve Levine. Programs with Flexible Time. When? Tuesday, Feb 16 th. courtesy of JPL
Programs with Flexible Time When? Contributions: Brian Williams Patrick Conrad Simon Fang Paul Morris Nicola Muscettola Pedro Santana Julie Shah John Stedl Andrew Wang Steve Levine Tuesday, Feb 16 th courtesy
More informationConstraint Satisfaction Problems
Constraint Satisfaction Problems Search and Lookahead Bernhard Nebel, Julien Hué, and Stefan Wölfl Albert-Ludwigs-Universität Freiburg June 4/6, 2012 Nebel, Hué and Wölfl (Universität Freiburg) Constraint
More informationA CSP Search Algorithm with Reduced Branching Factor
A CSP Search Algorithm with Reduced Branching Factor Igor Razgon and Amnon Meisels Department of Computer Science, Ben-Gurion University of the Negev, Beer-Sheva, 84-105, Israel {irazgon,am}@cs.bgu.ac.il
More informationSet 5: Constraint Satisfaction Problems
Set 5: Constraint Satisfaction Problems ICS 271 Fall 2012 Rina Dechter ICS-271:Notes 5: 1 Outline The constraint network model Variables, domains, constraints, constraint graph, solutions Examples: graph-coloring,
More informationDarwiche The major problem with stard characterizations of diagnoses is that they tend to be exponential in size, which is largely due to their syntac
Journal of Articial Intelligence Research 8 (1998) 165-222 Submitted 8/97; published 6/98 Model-Based Diagnosis using Structured System Descriptions Adnan Darwiche Department of Mathematics American University
More informationEnumeration of Full Graphs: Onset of the Asymptotic Region. Department of Mathematics. Massachusetts Institute of Technology. Cambridge, MA 02139
Enumeration of Full Graphs: Onset of the Asymptotic Region L. J. Cowen D. J. Kleitman y F. Lasaga D. E. Sussman Department of Mathematics Massachusetts Institute of Technology Cambridge, MA 02139 Abstract
More informationTwo Problems - Two Solutions: One System - ECLiPSe. Mark Wallace and Andre Veron. April 1993
Two Problems - Two Solutions: One System - ECLiPSe Mark Wallace and Andre Veron April 1993 1 Introduction The constraint logic programming system ECL i PS e [4] is the successor to the CHIP system [1].
More informationFlexible Execution of Plans with Choice and Uncertainty Patrick R Conrad and Brian C Williams
Computer Science and Artificial Intelligence Laboratory Technical Report MIT-CSAIL-TR-2011-002 January 15, 2011 Flexible Execution of Plans with Choice and Uncertainty Patrick R Conrad and Brian C Williams
More informationAn Effective Upperbound on Treewidth Using Partial Fill-in of Separators
An Effective Upperbound on Treewidth Using Partial Fill-in of Separators Boi Faltings Martin Charles Golumbic June 28, 2009 Abstract Partitioning a graph using graph separators, and particularly clique
More informationSet 5: Constraint Satisfaction Problems
Set 5: Constraint Satisfaction Problems ICS 271 Fall 2014 Kalev Kask ICS-271:Notes 5: 1 The constraint network model Outline Variables, domains, constraints, constraint graph, solutions Examples: graph-coloring,
More informationTesting Complex Temporal Relationships Involving Multiple. Granularities and Its Application to Data Mining. (Extended Abstract)
Testing Complex Temporal Relationships Involving Multiple Granularities and Its Application to Data Mining (Extended Abstract) Claudio Bettini Dept. of Computer Science (DSI) University of Milan via Comelico
More information1 Inference for Boolean theories
Scribe notes on the class discussion on consistency methods for boolean theories, row convex constraints and linear inequalities (Section 8.3 to 8.6) Speaker: Eric Moss Scribe: Anagh Lal Corrector: Chen
More informationTree Decomposition with Applications to Constraint Processing
From: AAAI-9 Proceedings. Copyright 99, AAAI (www.aaai.org). All rights reserved. Tree Decomposition with Applications to Constraint Processing Itay Meiri, Rina Dechter and Judea Pearl Cognitive Systems
More informationn-ary constraints are provided by many constraint programming languages and libraries. There are two main approaches to deal with n-ary CSPs. The rst
Arc Consistency on n-ary Monotonic and Linear Constraints Zhang Yuanlin and Roland H.C. Yap School of Computing National University of Singapore 3 Science Drive 2 Republic of Singapore 119260 fzhangyl,ryapg@comp.nus.edu.sg
More informationThe Encoding Complexity of Network Coding
The Encoding Complexity of Network Coding Michael Langberg Alexander Sprintson Jehoshua Bruck California Institute of Technology Email: mikel,spalex,bruck @caltech.edu Abstract In the multicast network
More informationUNIVERSITY OF CALIFORNIA. Irvine. requirements for the degree Doctor of Philosophy. Daniel Hunter Frost
UNIVERSITY OF CALIFORNIA Irvine Algorithms and Heuristics for Constraint Satisfaction Problems A dissertation submitted in partial satisfaction of the requirements for the degree Doctor of Philosophy in
More informationStrong Controllability of Disjunctive Temporal Problems with Uncertainty
Strong Controllability of Disjunctive Temporal Problems with Uncertainty Bart Peintner 1, Kristen Brent Venable 2, and Neil Yorke-Smith 1 1 Artificial Intelligence Center, SRI International. {peintner,nysmith}@ai.sri.com
More informationi 1 CONSTRAINT SATISFACTION METHODS FOR GENERATING VALID CUTS J. N. Hooker Graduate School of Industrial Administration Carnegie Mellon University Pittsburgh, PA 15213 USA http://www.gsia.cmu.edu/afs/andrew/gsia/jh38/jnh.html
More informationA Constraint Deco osition Method uration Pro
From: AAAI-93 Proceedings. Copyright 1993, AAAI (www.aaai.org). All rights reserved. A Constraint Deco osition Method uration Pro Toshikazu Tanimoto Digital Equipment Corporation Japan 1432 Sugao, Akigawa,
More informationBacktracking algorithms for constraint. satisfaction problems { a tutorial survey. Rina Dechter and Daniel Frost
Backtracking algorithms for constraint satisfaction problems { a tutorial survey Rina Dechter and Daniel Frost Department of Information and Computer Science University of California, Irvine Irvine, California,
More informationGQR A Fast Reasoner for Binary Qualitative Constraint Calculi
GQR A Fast Reasoner for Binary Qualitative Constraint Calculi Zeno Gantner Information Systems and Machine Learning Lab, University of Hildesheim, Samelsonplatz 1, 31141 Hildesheim, Germany gantner@ismll.uni-hildesheim.de
More informationOn the Space-Time Trade-off in Solving Constraint Satisfaction Problems*
On the Space-Time Trade-off in Solving Constraint Satisfaction Problems* Roberto J. Bayardo Jr. and Daniel P. Miranker Department of Computer Sciences and Applied Research Laboratories The University of
More informationSemi-Independent Partitioning: A Method for Bounding the Solution to COP s
Semi-Independent Partitioning: A Method for Bounding the Solution to COP s David Larkin University of California, Irvine Abstract. In this paper we introduce a new method for bounding the solution to constraint
More informationTelecommunication and Informatics University of North Carolina, Technical University of Gdansk Charlotte, NC 28223, USA
A Decoder-based Evolutionary Algorithm for Constrained Parameter Optimization Problems S lawomir Kozie l 1 and Zbigniew Michalewicz 2 1 Department of Electronics, 2 Department of Computer Science, Telecommunication
More informationArc Consistency for Dynamic CSPs
Arc Consistency for Dynamic CSPs Malek Mouhoub mouhoubm@cs.uregina.ca Department of Computer Science, University of Regina 3737 Waskana Parkway, Regina SK, Canada, S4S 0A2 ABSTRACT Constraint Satisfaction
More informationInternational Journal of Foundations of Computer Science c World Scientic Publishing Company DFT TECHNIQUES FOR SIZE ESTIMATION OF DATABASE JOIN OPERA
International Journal of Foundations of Computer Science c World Scientic Publishing Company DFT TECHNIQUES FOR SIZE ESTIMATION OF DATABASE JOIN OPERATIONS KAM_IL SARAC, OMER E GEC_IO GLU, AMR EL ABBADI
More informationXLVI Pesquisa Operacional na Gestão da Segurança Pública
Setembro de 014 Approximation algorithms for simple maxcut of split graphs Rubens Sucupira 1 Luerbio Faria 1 Sulamita Klein 1- IME/UERJ UERJ, Rio de JaneiroRJ, Brasil rasucupira@oi.com.br, luerbio@cos.ufrj.br
More informationSet 5: Constraint Satisfaction Problems
Set 5: Constraint Satisfaction Problems ICS 271 Fall 2013 Kalev Kask ICS-271:Notes 5: 1 The constraint network model Outline Variables, domains, constraints, constraint graph, solutions Examples: graph-coloring,
More informationsize, runs an existing induction algorithm on the rst subset to obtain a rst set of rules, and then processes each of the remaining data subsets at a
Multi-Layer Incremental Induction Xindong Wu and William H.W. Lo School of Computer Science and Software Ebgineering Monash University 900 Dandenong Road Melbourne, VIC 3145, Australia Email: xindong@computer.org
More informationJavier Larrosa. Dep. Llenguatges i Sistemes Informatics. Universitat Politecnica de Catalunya, Barcelona, Spain.
Boosting Search with Variable Elimination.? Javier Larrosa Dep. Llenguatges i Sistemes Informatics Universitat Politecnica de Catalunya, Barcelona, Spain larrosa@lsi.upc.es Abstract. Variable elimination
More informationAndrew Davenport and Edward Tsang. fdaveat,edwardgessex.ac.uk. mostly soluble problems and regions of overconstrained, mostly insoluble problems as
An empirical investigation into the exceptionally hard problems Andrew Davenport and Edward Tsang Department of Computer Science, University of Essex, Colchester, Essex CO SQ, United Kingdom. fdaveat,edwardgessex.ac.uk
More informationLecture 9 - Matrix Multiplication Equivalences and Spectral Graph Theory 1
CME 305: Discrete Mathematics and Algorithms Instructor: Professor Aaron Sidford (sidford@stanfordedu) February 6, 2018 Lecture 9 - Matrix Multiplication Equivalences and Spectral Graph Theory 1 In the
More informationSet 5: Constraint Satisfaction Problems Chapter 6 R&N
Set 5: Constraint Satisfaction Problems Chapter 6 R&N ICS 271 Fall 2017 Kalev Kask ICS-271:Notes 5: 1 The constraint network model Outline Variables, domains, constraints, constraint graph, solutions Examples:
More informationHyperplane Ranking in. Simple Genetic Algorithms. D. Whitley, K. Mathias, and L. Pyeatt. Department of Computer Science. Colorado State University
Hyperplane Ranking in Simple Genetic Algorithms D. Whitley, K. Mathias, and L. yeatt Department of Computer Science Colorado State University Fort Collins, Colorado 8523 USA whitley,mathiask,pyeatt@cs.colostate.edu
More informationAnytime AND/OR Depth-first Search for Combinatorial Optimization
Anytime AND/OR Depth-first Search for Combinatorial Optimization Lars Otten and Rina Dechter Dept. of Computer Science University of California, Irvine Outline AND/OR Search Spaces. Conflict: Decomposition
More informationUtilizing Device Behavior in Structure-Based Diagnosis
Utilizing Device Behavior in Structure-Based Diagnosis Adnan Darwiche Cognitive Systems Laboratory Department of Computer Science University of California Los Angeles, CA 90024 darwiche @cs. ucla. edu
More informationHeuristic Backtracking Algorithms for SAT
Heuristic Backtracking Algorithms for SAT A. Bhalla, I. Lynce, J.T. de Sousa and J. Marques-Silva IST/INESC-ID, Technical University of Lisbon, Portugal fateet,ines,jts,jpmsg@sat.inesc.pt Abstract In recent
More information