Examining DCSP coordination tradeoffs

Distributed Constraint Satisfaction Problems (DCSPs) provide a model to capture a broad range of cooperative multiagent problem solving settings. Researchers have generally proposed two different sets of approaches for solving DCSPs, backtracking based approaches, such as Asynchronous Backtracking (ABT), and mediation based approaches, such as Asynchronous Partial Overlay (APO). These sets of approaches differ in the levels of coordination employed during conflict resolution. While the computational and communication complexity of the backtracking based approaches is well understood, the tradeoffs in complexity involved in moving toward mediation based approaches are not. In this paper we comprehensively reexamine the space of mediation based approaches for DCSP and fill gaps in existing frameworks with new strategies. We present different mediation session selection rules, including a rule that favors smaller mediation sessions, and different mediation strategies, including a decentralized hybrid strategy based on ABT. We present empirical results on solvable 3-coloring and random binary DCSP problems, that accurately capture the computational and communication tradeoffs between ABT and various mediation based approaches. Our results confirm that under some circumstances the newly presented strategies dominate previously proposed techniques.

[1]  Amnon Meisels,et al.  Synchronous vs Asynchronous search on DisCSPs , 2003 .

[2]  Milind Tambe,et al.  Argumentation as distributed constraint satisfaction: applications and results , 2001, AGENTS '01.

[3]  Youssef Hamadi,et al.  Distributed, Interleaved, Parallel and Cooperative Search in Constraint Satisfaction Networks , 2002 .

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

[5]  Kobbi Nissim,et al.  Secure DisCSP Protocols – From Centralized Towards Distributed Solutions , 2005 .

[6]  Eugene C. Freuder,et al.  Constraint-based reasoning and privacy/efficiency tradeoffs in multi-agent problem solving , 2005, Artif. Intell..

[7]  Matthew L. Ginsberg,et al.  Dynamic Backtracking , 1993, J. Artif. Intell. Res..

[8]  Makoto Yokoo,et al.  Asynchronous Weak-commitment Search for Solving Distributed Constraint Satisfaction Problems , 1995, CP.

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

[10]  Steven Minton,et al.  Minimizing Conflicts: A Heuristic Repair Method for Constraint Satisfaction and Scheduling Problems , 1992, Artif. Intell..

[11]  Martin E. Dyer,et al.  Locating the Phase Transition in Binary Constraint Satisfaction Problems , 1996, Artif. Intell..

[12]  Leslie Lamport,et al.  The parallel execution of DO loops , 1974, CACM.

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

[14]  Stephen F. Smith,et al.  CMRadar: A Personal Assistant Agent for Calendar Management , 2004, AAAI.

[15]  Norman M. Sadeh,et al.  Distributed constrained heuristic search , 1991, IEEE Trans. Syst. Man Cybern..

[16]  Amnon Meisels,et al.  Dynamic Ordering for Asynchronous Backtracking on DisCSPs , 2005, Constraints.

[17]  Victor R. Lesser,et al.  Using cooperative mediation to solve distributed constraint satisfaction problems , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[18]  Meir Kalech,et al.  Diagnosis of Multi-Robot Coordination Failures Using Distributed CSP Algorithms , 2006, AAAI.

[19]  Ehud Gudes,et al.  Modeling and Solving Distributed Constraint Satisfaction Problems (DCSPs) , 1996, CP.