Controller Agents for Constraints Solving: Implementation and Use of CACS Prototype

The distributed constraint satisfaction problem (DCSP) which is an emerged field from the integration between two paradigms of different nature: multi-agent systems (MAS) that is characterized by the autonomy and the distribution of its entities and the constraint satisfaction problem paradigm (CSP) where all constraints are treated in central manner as a black-box. In this paper we aim to propose a model called controller-agents for constraints solving or CACS for short to be used for solving DCSP. We aim in this paper to present a model called CACS for (controller-agent for constraints solving). A controller role is to encapsulate and verify some constraints assigned to it. This model allows grouping constraints to form a subset that will be treated together as a local problem inside the controller. Using this model allows also handling non-binary constraints easily and directly so that no translating of constraints into binary ones is needed. Based on CACS, a prototype of DCSP solver is built. This paper presents the implementation outlines of that prototype and its usage methodology. The prototype is built in Java using general interfaces of both MAS and CSP platforms. These interfaces allow users to use the platforms of their choice providing that they implement these interfaces with the chosen platforms.