Constraint Processing with Reactive Agents

The integration of methods of Constraint Programming and Multi-Agent-Systems is discussed in this paper. We describe different agent topologies for Constraint Satisfaction Problems and discuss their properties with a special focus on dynamic and distributed settings. This motivates our new architecture for constraint processing with reactive agents. The resulting systems are very flexible and can be used to process dynamic and distributed problems. We define the local behaviors of the agents in this new approach and verify their collective behavior in the context of CSP.

[1]  Makoto Yokoo,et al.  Algorithms for Distributed Constraint Satisfaction: A Review , 2000, Autonomous Agents and Multi-Agent Systems.

[2]  Markus Hannebauer,et al.  Autonomous dynamic reconfiguration in collaborative problem solving , 2001 .

[3]  Krzysztof R. Apt,et al.  The Essence of Constraint Propagation , 1998, Theor. Comput. Sci..

[4]  Marius-Calin Silaghi,et al.  Consistency Maintenance for ABT , 2001, CP.

[5]  Gert Smolka,et al.  Encapsulated Search and Constraint Programming in Oz , 1994, PPCP.

[6]  Georg Ringwelski.  Object-Oriented Constraint Programming with J.CP , 2002, MICAI.

[7]  Hans Schlenker.  Distributed Constraint-Based Railway Simulation , 2004, INAP/WLP.

[8]  Edmund H. Durfee,et al.  Evaluating Research in Cooperative Distributed Problem Solving , 1990, Distributed Artificial Intelligence.

[9]  Marius-Calin Silaghi,et al.  Asynchronous Search with Aggregations , 2000, AAAI/IAAI.

[10]  Friedemann Mattern,et al.  Efficient Algorithms for Distributed Snapshots and Global Virtual Time Approximation , 1993, J. Parallel Distributed Comput..

[11]  Thomas Schiex,et al.  Solution Reuse in Dynamic Constraint Satisfaction Problems , 1994, AAAI.

[12]  Sebastian Müller,et al.  Distributed constraint optimization for medical appointment scheduling , 2001, AGENTS '01.

[13]  Francesca Rossi,et al.  Constraint Retraction in CLP(FD): Formal Framework and Performance Results , 1999, Constraints.

[14]  Philippe Codognet,et al.  Compiling Constraints in clp(FD) , 1996, J. Log. Program..

[15]  Amnon Meisels,et al.  Distributed Forward Checking with Dynamic Ordering , 2001 .

[16]  Mats Carlsson,et al.  Finite Domain Constraint Programming Systems , 2006, Handbook of Constraint Programming.

[17]  Jacques Ferber,et al.  Multi-agent systems - an introduction to distributed artificial intelligence , 1999 .

[18]  Christian Bessiere,et al.  Arc-Consistency in Dynamic Constraint Satisfaction Problems , 1991, AAAI.

[19]  Gérard Ferrand,et al.  Correctness of Constraint Retraction Algorithms , 2003, FLAIRS.

[20]  Shmuel Katz,et al.  Self-Stabilizing Distributed Constraint Satisfaction , 1999, Chic. J. Theor. Comput. Sci..

[21]  Armin Wolf,et al.  Adaptive Constraint Handling with CHR in Java , 2001, CP.