Skip to main content

Dynamic JChoc: A Distributed Constraints Reasoning Platform for Dynamically Changing Environments

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 9494))

Abstract

In Artificial Intelligence, a large number of problems (i.e. distributed resource management, distributed air traffic management, Distributed Sensor Network [1]) can be modeled and solved as Distributed Constraint Satisfaction Problems (DisCSPs). As many real world problems change continuously and incessantly over time, some methods have been developed (e.g. DynABT), for solving problems which exhibit this dynamic behavior. Meanwhile, there was no available framework that helped users to develope intelligent multi-agent systems based on Dynamic and Distributed Constraints Reasoning (DCR) techniques.

In this paper, we propose a new platform, called JChoc, supporting the dynamic aspect for DisCSPs. JChoc is an easy to use platform, based on an elegant Multi-agent communication sub-platform (e.i JADE). It deals with agents with local complex problems and allows a realistic use of agents on a real distributed and dynamic framework.

A real distributed problem is addressed to illustrate how the platform can be used to solve dynamically changing problems. However, the experimental results show the defectiveness of our platform.

This is a preview of subscription content, log in via an institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Notes

  1. 1.

    http://www.fipa.org/.

References

  1. Béjar, R., Domshlak, C., Fernández, C., Gomes, C., Krishnamachari, B., Selman, B., Valls, M.: Sensor networks and distributed csp: communication, computation and complexity. Artif. Intell. 161(1–2), 117–148 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  2. Kitano, H., Tadokoro, S., Noda, I., Matsubara, H., Takahashi, T., Shinjou, A., Shimada, S.: 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 (1999)

    Google Scholar 

  3. Yokoo, M., Hirayama, K.: Distributed breakout algorithm for solving distributed constraint satisfaction problems. In: Proceedings of the First International Conference on MultiAgent Systems. MIT Press (1995)

    Google Scholar 

  4. Yokoo, M., Durfee, E., Ishida, T., Kuwabara, K.: Distributed constraint satisfaction for formalizing distributed problem solving. In: International Conference on Distributed Computing Systems, pp. 614–621 (1992)

    Google Scholar 

  5. Yokoo, M.: Distributed constraint satisfaction. In: Foundation of Cooperation in multiagent Systems (2001)

    Google Scholar 

  6. Hamadi, Y.: Disolver : a distributed constraint solver. In Technical Report MSR-TR-2003-91, Microsoft Research (2003)

    Google Scholar 

  7. Galley, M.: Distributed constraint programming platform using sjavap (2000). http://cs.fit.edu/Projects/asl/#MELY

  8. Petcu, A.: Frodo: a framework for open/distributed optimization. In Technical Report EPFL:2006/001, LIA, EPFL, CH-1015 Lausanne (2006). http://liawww.epfl.ch/frodo/

  9. Bessiere, C., Brito, I., Maestre, A., Meseguer, P.: Asynchronous backtracking without adding links: a new member in the abt family. Artif. Intell. 161, 7–24 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  10. Meisels, A., Zivan, R.: Asynchronous forward-checking for discsps. Constraints 12, 131–150 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  11. Ezzahir, R., Bessiere, C., Wahbi, M., Benelallam, I., Bouyakhf, E.: Asynchronous interlevel forward-checking for discsps. In: Principles and Practice of Constraint Programming (CP 2009) (2009)

    Google Scholar 

  12. Modi, P., Shen, W., Tambe, M., Yokoo, M.: Adopt: asynchronous distributed constraints optimization with quality guarantees. Artif. Intell. 161(1–2), 149–180 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  13. Gershman, A., Meisels, A., Zivan, R.: Asynchronous forward bounding for distributed cops. J. Artif. Intell. Res. 34, 61–88 (2009)

    MathSciNet  MATH  Google Scholar 

  14. Yeoh, W., Felner, A., Koenig, S.: Bnb-adopt: an asynchronous branch and bound dcop algorithm. In: AAMAS08: Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 591–598 (2008)

    Google Scholar 

  15. Ezzahir, R., Bessiere, C., Benelallam, I., Bouyakhf, E., Belaissaoui, M.: Dynamic backtracking for distributed constraint optimization. Proceeding of the 2008 conference on ECAI 2008, pp. 901–902. The Netherlands, IOS Press, Amsterdam (2008)

    Google Scholar 

  16. Yokoo, M.: Algorithms for distributed constraint satisfaction problems: a review. Auton. Agents Multiagent Syst. 3, 185–207 (2000)

    Article  Google Scholar 

  17. Yokoo, M., Durfee, E., Ishida, T., Kuwabara, K.: The distributed constraint satisfaction problem: formalization and algorithms. IEEE Trans. Knowl. Data Eng. 10(5), 673–685 (1998)

    Article  Google Scholar 

  18. Wahbi, M., Ezzahir, R., Bessiere, C., Bouyakhf, E.: Dischoco 2: a platform for distributed constraint reasoning. In: DCR 2011, pp. 112–121 (2011). http://www.lirmm.fr/coconut/dischoco/

  19. JADE Java agent developpement framework (2013). http://jade.tilab.com/

  20. Meisels, A., Lavee, O.: Using additional information in discsp search. In: DCR 2004 5th Workshop on Distributed Constraints Reasoning (2004)

    Google Scholar 

  21. Wallace, J.R., Freuder, C.E.: Constraintbased multi-agent meeting scheduling: effects of agent heterogeneity on performance and privacy loss. In: DCR 2002 3rd Workshop on Distributed Constrait Reasoning, pp. 176–182 (2002)

    Google Scholar 

  22. Jussien, N., Rochart, G., Lorcal, X.: Choco: an open source java constraint programming library. In: CPAIOR 2008 Workshop on Open-Source Software for Integer and Contraint Programming (OSSICP 2008), France, Paris (2008)

    Google Scholar 

  23. Lutati, B., Levit, V., Meisels, A.: Agentzero: a framework for simulating and evaluating multiagent algorithms. In: Shehory, O., Sturm, A. (eds.) In Agent-oriented Software Engineering, pp. 309–327. Springer, Heidelberg (2014)

    Google Scholar 

  24. Sultanik, E., Lass, R., Regli, W.: Dcopolis: a framework for simulating and deploying distributed constraint optimization algorithms. In: CP-DCR (2007)

    Google Scholar 

  25. Omomowo, Bayo, Arana, Inés, Ahriz, Hatem: DynABT: dynamic asynchronous backtracking for dynamic DisCSPs. In: Dochev, Danail, Pistore, Marco, Traverso, Paolo (eds.) AIMSA 2008. LNCS (LNAI), vol. 5253, pp. 285–296. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  26. Mailler, R.: Comparing two approaches to dynamic, distributed constraint satisfaction. In: Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 1049–1056. ACM (2005)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Zakarya Erraji .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Benelallam, I., Erraji, Z., EL Khattabi, G., Bouyakhf, E.H. (2015). Dynamic JChoc: A Distributed Constraints Reasoning Platform for Dynamically Changing Environments. In: Duval, B., van den Herik, J., Loiseau, S., Filipe, J. (eds) Agents and Artificial Intelligence. ICAART 2015. Lecture Notes in Computer Science(), vol 9494. Springer, Cham. https://doi.org/10.1007/978-3-319-27947-3_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-27947-3_2

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-27946-6

  • Online ISBN: 978-3-319-27947-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics