Skip to main content

2015 | OriginalPaper | Buchkapitel

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

verfasst von : Imade Benelallam, Zakarya Erraji, Ghizlane EL Khattabi, El Houssine Bouyakhf

Erschienen in: Agents and Artificial Intelligence

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
1.
Zurück zum Zitat 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)MathSciNetCrossRefMATH 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)MathSciNetCrossRefMATH
2.
Zurück zum Zitat 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) 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)
3.
Zurück zum Zitat 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) 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)
4.
Zurück zum Zitat 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) 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)
5.
Zurück zum Zitat Yokoo, M.: Distributed constraint satisfaction. In: Foundation of Cooperation in multiagent Systems (2001) Yokoo, M.: Distributed constraint satisfaction. In: Foundation of Cooperation in multiagent Systems (2001)
6.
Zurück zum Zitat Hamadi, Y.: Disolver : a distributed constraint solver. In Technical Report MSR-TR-2003-91, Microsoft Research (2003) Hamadi, Y.: Disolver : a distributed constraint solver. In Technical Report MSR-TR-2003-91, Microsoft Research (2003)
9.
Zurück zum Zitat 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)MathSciNetCrossRefMATH 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)MathSciNetCrossRefMATH
11.
Zurück zum Zitat 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) 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)
12.
Zurück zum Zitat Modi, P., Shen, W., Tambe, M., Yokoo, M.: Adopt: asynchronous distributed constraints optimization with quality guarantees. Artif. Intell. 161(1–2), 149–180 (2005)MathSciNetCrossRefMATH Modi, P., Shen, W., Tambe, M., Yokoo, M.: Adopt: asynchronous distributed constraints optimization with quality guarantees. Artif. Intell. 161(1–2), 149–180 (2005)MathSciNetCrossRefMATH
13.
Zurück zum Zitat Gershman, A., Meisels, A., Zivan, R.: Asynchronous forward bounding for distributed cops. J. Artif. Intell. Res. 34, 61–88 (2009)MathSciNetMATH Gershman, A., Meisels, A., Zivan, R.: Asynchronous forward bounding for distributed cops. J. Artif. Intell. Res. 34, 61–88 (2009)MathSciNetMATH
14.
Zurück zum Zitat 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) 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)
15.
Zurück zum Zitat 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) 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)
16.
Zurück zum Zitat Yokoo, M.: Algorithms for distributed constraint satisfaction problems: a review. Auton. Agents Multiagent Syst. 3, 185–207 (2000)CrossRef Yokoo, M.: Algorithms for distributed constraint satisfaction problems: a review. Auton. Agents Multiagent Syst. 3, 185–207 (2000)CrossRef
17.
Zurück zum Zitat 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)CrossRef 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)CrossRef
20.
Zurück zum Zitat Meisels, A., Lavee, O.: Using additional information in discsp search. In: DCR 2004 5th Workshop on Distributed Constraints Reasoning (2004) Meisels, A., Lavee, O.: Using additional information in discsp search. In: DCR 2004 5th Workshop on Distributed Constraints Reasoning (2004)
21.
Zurück zum Zitat 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) 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)
22.
Zurück zum Zitat 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) 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)
23.
Zurück zum Zitat 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) 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)
24.
Zurück zum Zitat Sultanik, E., Lass, R., Regli, W.: Dcopolis: a framework for simulating and deploying distributed constraint optimization algorithms. In: CP-DCR (2007) Sultanik, E., Lass, R., Regli, W.: Dcopolis: a framework for simulating and deploying distributed constraint optimization algorithms. In: CP-DCR (2007)
25.
Zurück zum Zitat 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) CrossRef 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) CrossRef
26.
Zurück zum Zitat 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) 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)
Metadaten
Titel
Dynamic JChoc: A Distributed Constraints Reasoning Platform for Dynamically Changing Environments
verfasst von
Imade Benelallam
Zakarya Erraji
Ghizlane EL Khattabi
El Houssine Bouyakhf
Copyright-Jahr
2015
DOI
https://doi.org/10.1007/978-3-319-27947-3_2