| Abstract |
La programmazione con vincoli è una metodologia di programmazione dichiarativa che trae origine da alcuni lavori della comunità dell'Intelligenza Artificiale negli anni '70 e che dalla metà degli anni '90 fino ad oggi ha vissuto un continuo aumento dell'interesse sia teorico che pratico.
In questo seminario saranno illustrati i principi di base della programmazione con vincoli, con particolare riferimento al suo utilizzo per la codifica e risoluzione di problemi combinatorici. Saranno enfatizzate le sue peculiarità evidenziando le differenze con altre tecniche utilizzate per affrontare problemi simili, quali la ricerca locale, la programmazione lineare intera, ed il SAT solving. Saranno dunque introdotti i principali linguaggi per la programmazione con vincoli, con particolare riferimento alla famiglia di linguaggi logici, ed elencate le principali applicazioni in cui questa metodologia di programmazione è stata impiegata con successo. |
