Abstract
As an important area in AI, Distributed Constraint Satisfaction Problems (DisCSPs) can be used to model and solve many problems in multi-agent systems. Concurrent search, newly proposed, is an efficient technique for solving DisCSPs. In this paper, a novel concurrent search algorithm is presented. Dynamic Variable Ordering (DVO) is used in concurrent backtrack search instead of random variable ordering. In order to make DVO effective, domain sizes of unfixed variables are evaluated approximately according to current partial assignments after a variable is assigned. This method can be performed by a single agent and there is no need to send messages during heuristic computation. In addition, a simple look-ahead strategy inspired from centralized constraint programming techniques is added to the improved algorithm. Experiments on randomly generated DisCSPs demonstrate that the algorithm with DVO heuristic and look-ahead strategy can drastically improve performance of concurrent search.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Amilhastre, J., Fargier, H., Marquis, P.: Consistency restoration and explanations in dynamic CSPs—Application to configuration. Artificial Intelligence 135, 199–234 (2002)
Liu, J.M., Han, J., Tang, Y.Y.: Multi-Agent oriented constraint satisfaction. Artificial Intelligence 136, 101–144 (2002)
Dechter, R.: Constraint Processing. Morgan Kaufmann Publishers, San Francisco (2003)
Yokoo, M., Hirayama, K.: Algorithms for Distributed Constraint Satisfaction: A Review. Autonomous Agents and Multi-Agent Systems (3), 185–207 (2000)
Yokoo, M., Durfee, E.H., Ishida, T., Kuwabara, K.: Distributed constraint satisfaction for formalizing distributed problem solving. In: Proc. 12th IEEE Int. Conf. Distributed Comput. Syst., pp.614–621 (1992)
Solotorevsky, G., Gudes, E.: Solving a real-life time tabling and transportation problem using distributed CSP techniques. In: Freuder, E.C. (ed.) CP 1996. LNCS, vol. 1118, pp. 123–131. Springer, Heidelberg (1996)
Brito, I.: Synchronous, Asynchronous and Hybrid Algorithms for DisCSP. In: Wallace, M. (ed.) CP 2004. LNCS, vol. 3258, p. 791. Springer, Heidelberg (2004)
Zivan, R., Meisels, A.: Concurrent search for distributed CSPs. Artificial Intelligence 170, 440–461 (2006)
Zivan, R., Meisels, A.: Concurrent backtrack search for discsps. In: Proc. FLAIRS 2004, Miami, FL, pp. 776–781 (May 2004)
Bacchus, F., Vanrun, P.: Dynamic variable ordering in CSPs. In: Montanari, U., Rossi, F. (eds.) CP 1995. LNCS, vol. 976, Springer, Heidelberg (1995)
Edward, T.: Foundations of Constraint Satisfaction. Academic Press, London (1993)
Faltings, B., Yokoo, M.: Introduction: Special Issue on Distributed Constraint Satisfaction. Artificial Intelligence 161, 1–5 (2005)
Gent, I.P., MacIntyre, E., Prosser, P., Smith, B.M., Walsh, T.: Random constraint satisfaction: flaws and structure. Constraints 6(4), 345–372 (2001)
Lamport, L.: Time, clocks, and the ordering of events in distributed system. Comm. ACM. 95–114 (1978)
Zivan, R., Meisels, A.: Message delay and discsp search algorithms. In: DCR 2004. Proc. 5th Workshop on Distributed Constraints Reasoning, Toronto (2004)
Smith, B.M.: Locating the phase transition in binary constraint satisfaction problems. Artificial Intelligence 81, 155–181 (1996)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gao, J., Sun, J., Zhang, Y. (2007). An Improved Concurrent Search Algorithm for Distributed CSPs. In: Orgun, M.A., Thornton, J. (eds) AI 2007: Advances in Artificial Intelligence. AI 2007. Lecture Notes in Computer Science(), vol 4830. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-76928-6_20
Download citation
DOI: https://doi.org/10.1007/978-3-540-76928-6_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-76926-2
Online ISBN: 978-3-540-76928-6
eBook Packages: Computer ScienceComputer Science (R0)