An Arc-Consistency Algorithm for Dynamic and Distributed Constraint Satisfaction Problems

This paper presents the new DDAC4 algorithm for dynamic arc consistency enforcement in distributed constraint satisfaction problems (CSP). The algorithm is an adaptation of the well-known AC-4 algorithm to system settings where constraints can be added and deleted in concurrent processes. It is the first algorithm for arc-consistency enforcement in this system setting. Arc-consistency is achieved whenever the overall system reaches quiescence after a constraint is added or deleted.

[1]  Romuald Debruyne,et al.  Arc-consistency in dynamic CSPs is no more prohibitive , 1996, Proceedings Eighth IEEE International Conference on Tools with Artificial Intelligence.

[2]  Thomas C. Henderson,et al.  Arc and Path Consistency Revisited , 1986, Artif. Intell..

[3]  A. Fleischmann.  Distributed Systems , 1994, Springer Berlin Heidelberg.

[4]  Makoto Yokoo,et al.  The Distributed Constraint Satisfaction Problem: Formalization and Algorithms , 1998, IEEE Trans. Knowl. Data Eng..

[5]  Richard J. Wallace,et al.  Why AC-3 is Almost Always Better than AC4 for Establishing Arc Consistency in CSPs , 1993, IJCAI.

[6]  Yves Deville,et al.  Analysis of Distributed Arc-Consistency Algorithms , 1997 .

[7]  Sally E. Durdan.  British telecommunications, PLC. , 2002 .

[8]  Yves Deville,et al.  A Distributed Arc-Consistency Algorithm , 1995, Sci. Comput. Program..

[9]  Eric Monfroy.  A coordination-based chaotic iteration algorithm for constraint propagation , 2000, SAC '00.

[10]  Youssef Hamadi.  Optimal Distributed Arc-Consistency , 1999, CP.

[11]  George Coulouris,et al.  Distributed systems (3rd ed.): concepts and design , 2000 .

[12]  Armin Wolf,et al.  Adaptive Constraint Handling with CHR in Java , 2001, CP.

[13]  Christian Bessiere,et al.  Arc-Consistency in Dynamic Constraint Satisfaction Problems , 1991, AAAI.

[15]  Rina Dechter,et al.  Constraint Processing , 1995, Lecture Notes in Computer Science.

[16]  Richard J. Wallace,et al.  Constraint Processing with Reactive Agents , 2004, FLAIRS Conference.

[17]  David Lesaint,et al.  Dynamic Workforce Scheduling for British Telecommunications plc , 2000, Interfaces.