Problemi di soddisfacimento di vincoli

TARGET dei partecipanti: studenti di scuola media superiore e adulti interessati (meglio se con una minima esperienza di programmazione).

La dimostrazione prevede:

1. Breve introduzione  alle tecniche di constraint processing (15 min max) con slide powerpoint proiettate
2. Sperimentazione di un sistema di constraint processing per  risolvere un problema di colorazione delle mappe  – gli studenti sono invitati prima a risolvere il problema  di colorare le regioni di una mappa con una palette di colori; poi a scrivere un programma  a vincoli (in un linguaggio di Intelligenza Artificiale) per risolverlo e verificarne la soluzione (previsti 30 min);
3. Applicazioni sviluppate presso il Dipartimento di Ingegneria (15 min).