CSP architectures

Over the years we have given attention to the development of complete architectures for planning and scheduling that are all based on a core CSP representation. The aim is to have a number of specialized modules for main idea is summarized in the picture below.

There are three ingredients in a Planning and Scheduling architecture:

A number of well-known scheduling architectures have been implemented as CSP solvers, among which OPIS (Smith), SONIA (Le Pape) and HSTS (Muscettola). As shown in the image above, our CSP solver taxonomy includes also a user-interaction module, through which humans (which we like to see as solvers them selves) interact with the solving engine in order to synergetically find solutions to their problems.

The approach based on this schema have produced several complete systems over the years. In particular: