Progetto

"Approcci innovativi e multi-disciplinari per ragionamento con vincoli e preferenze"

Vincoli e preferenze sono ovunque nella vita di tutti i giorni. Quindi ogni moderno sistema di ragionamento automatico deve essere in grado di gestire tali concetti in modo efficiente e flessibile. Il miglioramento di tecniche basate su vincoli e preferenze, sulla base di approcci innovativi, e' quindi essenziale. E' anche importante pero' utilizzare approcci multi-disciplinari, che sfruttino e adattino nozioni e tecniche di altre aree di ricerca a questo campo.

Questo progetto mira a soddisfare entrambe queste esigenze. Lo scopo principale e' infatti sia quello di migliorare tecniche classiche di ragionamento con vincoli e preferenze, e anche di proporre approcci innovativi basati su conoscenza multi-disciplinare. Il lavoro complessivo nell'ambito del progetto sara' guidato dalle applicazioni, anche se la maggior parte del lavoro sara' teorico o sperimentale. Ci focalizzeremo su alcune aree applicative per mostrare dei casi di studio dove le nostre tecniche possono portare un miglioramento significativo allo stato dell'arte attuale, e anche per ottenere importanti informazioni su dove indirizzare i nostri sforzi edi ricerca.

In particolare, intendiamo sviluppare nuovi formalismi per modellare le preferenze e sviluppare nuove tecniche di per risolvere problemi con vincoli, preferenze, ed incertezza. Il lavoro riguardo alle tecniche di soluzione si focalizzera' sui vincoli globali, che sono un ingrediente fondamentale di qualunque risolutore efficiente, e anche sulle tecniche di ricerca ibrida, che combinano ricerca sistematica e locale. Studieremo anche linguaggi di programmazione basati su vincoli, come CLP e CC, con l'intento di modellare preferenze e vincoli in modi piu' compatti e diretti. Intendiamo anche ottenere nuovi risultati nell'ambito del ragionamento temporale e con preferenze, incluse le logiche temporali, che sono molto utili in vari scenari applicativi. Saranno studiate anche le preferenze multi-agente, con lo scopo di migliorare e generalizzare metodi esistenti di aggregazione di preferenze, possibilmente sfruttando utili sinergie con altre aree di ricerca come la teoria dei giochi e la teoria dei voti computazionale. Infine, ci focalizzeremo su alcuni scenari applicativi, come la pianificazione e la schedulazione di attivita', alcuni problemi legati alla biologia, la qualita' dei servizi in ambito web, e la computazione orientata ai servizi.

Il progetto contiene cinque unita' di ricerca. Tutti i responsabili delle unita' di ricerca, come anche molti dei membri di tali unita', sono conosciuti e stimati internazionalmente per i loro risultati scientifici nell'ambito di uno o piu' aspetti del ragionamento con vincoli o preferenze. Le competenze delle cinque unita' di ricerca sono diverse e complementari. Questo progetto permettera' alle unita' di ricerca di sfruttare l'infrastruttura del progetto per migliorare la collaborazione e l'integrazione del loro lavoro. Questo e' cruciale al fine di ottenere miglioramenti significativi nell'ambito del ragionamento con vincoli e preferenze.