Asynchronous backtracking without adding links: a new member in the ABT family

Following the pioneer work of Yokoo and colleagues on the ABT (asynchronous backtracking) algorithm, several ABT-based procedures have been proposed for solving distributed constraint networks. They differ in the way they store nogoods, but they all use additional communication links between unconnected agents to detect obsolete information. In this paper, we propose a new asynchronous backtracking algorithm which does not need to add links between initially unconnected agents. To make the description simpler and to facilitate the comparisons between algorithms, we present a unifying framework from which the new algorithm we propose, as well as existing ones, are derived. We provide an experimental evaluation of these algorithms.

[1]  Leslie Lamport,et al.  Time, clocks, and the ordering of events in a distributed system , 1978, CACM.

[2]  Leslie Lamport,et al.  Distributed snapshots: determining global states of distributed systems , 1985, TOCS.

[3]  Christian Bessiere,et al.  Distributed Dynamic Backtracking , 2001, CP.

[4]  Rina Dechter,et al.  Network-based heuristics for constraint satisfaction problems , 1988 .

[5]  Marius-Calin Silaghi,et al.  Consistency Maintenance for ABT , 2001, CP.

[6]  Christian Bessiere,et al.  The Asynchronous Backtracking Family , 2003 .

[7]  M. Silaghi,et al.  Hybridizing ABT and AWC into a polynomial space, complete protocol with reordering , 2001 .

[8]  Marius-Calin Silaghi,et al.  Asynchronous Search with Aggregations , 2000, AAAI/IAAI.

[9]  Makoto Yokoo,et al.  The effect of nogood learning in distributed constraint satisfaction , 2000, Proceedings 20th IEEE International Conference on Distributed Computing Systems.

[10]  Amnon Meisels,et al.  Comparing performance of distributed constraints process ing algorithms , 2002 .

[11]  Christian Bessiere,et al.  Backtracking in Distributed Constraint Networks , 1998 .

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

[13]  M. Silaghi,et al.  Polynomial Space and Complete Multiply Asynchronous Search with Abstractions , 2001, IJCAI 2001.

[14]  Youssef Hamadi Interleaved backtracking in distributed constraint networks , 2001, Proceedings 13th IEEE International Conference on Tools with Artificial Intelligence. ICTAI 2001.

[15]  Makoto Yokoo,et al.  Distributed constraint satisfaction for formalizing distributed problem solving , 1992, [1992] Proceedings of the 12th International Conference on Distributed Computing Systems.

[16]  Eugene C. Freuder,et al.  Privacy/Efficiency Tradeoffs in Distributed Meeting Scheduling by Constraint- Based Agents 1 , 2001 .