JChoc DisSolver - Bridging the Gap Between Simulation and Realistic Use

Imade Benelallam, Zakarya Erraji, Ghizlane El Khattabi, Jaouad Ait Haddou, El Houssine Bouyakhf

2015

Abstract

The development of innovative and intelligent multiagent applications based on Distributed Constraints Reasoning techniques is obviously a fastidious task, especially to tackle new combinatorial problems (e.i. distributed resource management, distributed air traffic management, Distributed Sensor Network (Bejar et al., ´ 2005)). However, there are very few open-source platforms dedicated to solve such problems within realistic uses. Given the difficulty that researchers are facing, simplifying assumptions and simulations uses are commonly used techniques. Nevertheless, these techniques may not be able to capture all the details about the problem to be solved. Hence, transition from the simulation to the actual development context causes a loss of accuracy and robustness of the applications to be implemented. In this paper, we present preliminary results of a new distributed constraints programming platform, namely JChoc DisSolver. Thanks to the extensibility of JADE communication model and the robustness of Choco Solver, JChoc brings a new added value to Distributed Constraints Reasoning. The platform is user-friendly and the development of multiagent applications based on Constraints Programming is no longer a mystery to users. A real distributed problem is used to illustrate how the platform can be appropriated by an unsophisticated user and the experimental results are encouraging for more investigations.

References

  1. Béjar, R., Domshlak, C., Fernández, C., Gomes, C., Krishnamachari, B., Selman, B., and Valls, M. (2005). Sensor networks and distributed csp: communication, computation and complexity. In Artificial Intelligence 161:1-2, 117-148.
  2. Bessiere, C., Brito, I., Maestre, A., and Meseguer, P. (2005). Asynchronous backtracking without adding links: A new member in the abt family. In Artificial Intelligence,161:724.
  3. Ezzahir, R., Bessiere, C., Benelallam, I., Bouyakhf, E., and Belaissaoui, M. (2008). Dynamic backtracking for distributed constraint optimization. In Proceeding of the 2008 conference on ECAI 2008, 901-902. Amsterdam, The Netherlands, The Netherlands, IOS Press.
  4. Ezzahir, R., Bessiere, C., Wahbi, M., Benelallam, I., and Bouyakhf, E. (2009). Asynchronous interlevel forward-checking for discsps. In Principles and Practice of Constraint Programming (CP-09).
  5. Galley, M. (2000). Distributed constraint programming platform using sjavap. In http://cs.fit.edu/Projects/asl/#MELY.
  6. Gershman, A., Meisels, A., and Zivan, R. (2009). Asynchronous forward bounding for distributed cops. In Journal of Artificial Intelligence Research, 34, 61-88.
  7. Hamadi, Y. (2003). Disolver : A distributed constraint solver. In Technical Report MSR-TR-2003-91, Microsoft Research.
  8. JADE (2013). Java agent developpement framework. In URL http://jade.tilab.com/.
  9. Jussien, N., Rochart, G., and Lorcal, X. (2008). Choco: an open source java constraint programming library. In CPAIOR'08 Workshop on Open-Source Software for Integer and Contraint Programming(OSSICP'08). France, Paris.
  10. Kitano, H., Tadokoro, S., Noda, I., Matsubara, H., Takahashi, T., Shinjou, A., and Shimada, S. (1999). Robocup rescue: Search and rescue in large-scale disaster as a domain for autonomous agents research. In IEEE International Conference on System, Man, and Cybernetics.
  11. Lutati, B., Levit, V., , and Meisels, A. (2014). Agentzero: A framework for simulating and evaluating multiagent algorithms. In Agent-Oriented Software Engineering. Springer.
  12. Meisels, A. and Lavee, O. (2004). Using additional information in discsp search. In 5th workshop on distributed constraints reasoning, DCR'04.
  13. Meisels, A. and Zivan, R. (2007). Asynchronous forwardchecking for discsps. In Constraints 12, 131-150.
  14. Modi, P., Shen, W., Tambe, M., and Yokoo, M. (2005). Adopt: asynchronous distributed constraints optimization with quality guarantees. In Artificial Intelligence 161:1-2, 149 180.
  15. Petcu, A. (2006). Frodo: a framework for open/distributed optimization. In Technical Report Technical Report EPFL:2006/001, LIA, EPFL, CH-1015 Lausanne,http://liawww.epfl.ch/frodo/.
  16. Sultanik, E., Lass, R., and Regli, W. (2007). Dcopolis: A framework for simulating and deploying distributed constraint optimization algorithms. In CP-DCR.
  17. Wahbi, M., Ezzahir, R., Bessiere, C., and Bouyakhf, E. (2011). Dischoco 2: A platform for distributed constraint reasoning. In DCR'11, pages 112-121. URL http://www.lirmm.fr/coconut/dischoco/.
  18. Wallace, J. R. and Freuder, C. E. (2002). Constraintbased multi-agent meeting scheduling: effects of agent heterogeneity on performance and privacy loss. In 3rd workshop on distributed constrait reasoning, DCR'02, pages 176-182.
  19. Yeoh, W., Felner, A., and Koenig, S. (2008). Bnb-adopt: an asynchronous branch and bound dcop algorithm. In AAMAS08: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems, 591-598.
  20. Yokoo, M. (2000). Algorithms for distributed constraint satisfaction problems: A review. In Autonomous Agents and multiagent Systems 3, 185-207.
  21. Yokoo, M. (2001). Distributed constraint satisfaction. In :Foundation of Cooperation in multiagent Systems. Springer.
  22. Yokoo, M., Durfee, E., Ishida, T., and Kuwabara, K. (1992). Distributed constraint satisfaction for formalizing distributed problem solving. In International Conference on Distributed Computing Systems, 614-621.
  23. Yokoo, M., Durfee, E., Ishida, T., and Kuwabara, K. (1998). The distributed constraint satisfaction problem: formalization and algorithms. In IEEE Transactions on Knowledge and Data Engineering, 10(5):673-685.
  24. Yokoo, M. and Hirayama, K. (1995). Distributed breakout algorithm for solving distributed constraint satisfaction problems. In Proceedings of the First International Conference on MultiAgent Systems. MIT Press.
Download


Paper Citation


in Harvard Style

Benelallam I., Erraji Z., Elkhattabi G., Ait Haddou J. and Bouyakhf E. (2015). JChoc DisSolver - Bridging the Gap Between Simulation and Realistic Use . In Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 1: ICAART, ISBN 978-989-758-073-4, pages 66-74. DOI: 10.5220/0005208600660074


in Bibtex Style

@conference{icaart15,
author={Imade Benelallam and Zakarya Erraji and Ghizlaneg Elkhattabi and Jaouad Ait Haddou and El Houssine Bouyakhf},
title={JChoc DisSolver - Bridging the Gap Between Simulation and Realistic Use},
booktitle={Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,},
year={2015},
pages={66-74},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005208600660074},
isbn={978-989-758-073-4},
}


in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,
TI - JChoc DisSolver - Bridging the Gap Between Simulation and Realistic Use
SN - 978-989-758-073-4
AU - Benelallam I.
AU - Erraji Z.
AU - Elkhattabi G.
AU - Ait Haddou J.
AU - Bouyakhf E.
PY - 2015
SP - 66
EP - 74
DO - 10.5220/0005208600660074