Tecniche innovative per la programmazione con vincoli in applicazioni strategiche
Responsabile: Andrea Formisano
Abstract
Obiettivo di questo progetto è lo sviluppo di strumenti e tecniche che consentano di ovviare ad alcuni dei limiti esistenti all’impiego su larga scala di solver CLP e ASP.
Il focus viene posto sullo studio di metodologie miste che prevedano l’integrazione di CP con la ricerca locale e con tecniche provenienti da discipline quali la ricerca operativa, l’analisi numerica, ecc. Il tutto per trattare efficientemente vincoli esprimibili su domini eterogenei, complessi e strutturati. Al contempo si studieranno approcci alla integrazione tra tecniche CP e programmazione logica non-monotona, con l’obiettivo di dimostrare come CP possa fungere da motore inferenziale per il formalismo dell’Answer Set Programming.
Le soluzioni cosi’ progettate saranno validate tramite l’applicazione concreta a problemi tratti da contesti reali e di interesse strategico, quali la predizione della struttura di proteine, la pianificazione e scheduling, la configurazione di prodotto.