Linee di lavoro

Abbiamo percio' individuato delle linee di lavoro che permettano di fare ciò, e che siano anche collegate tra loro in modo da favorire la tracimazione di risultati da una linea ad un'altra.

In particolare, studieremo:

L'estensione di formalismi per poter modellare preferenze positive e negative, condizionate e non, qualitative e quantitative. In questo momento esistono molti formalismi per descrivere questi vari tipi di preferenze, ma nessuno che permetta di gestirne vari tipi allo stesso tempo.
Unita' coinvolte: Padova, Pescara.
La modellazione e soluzione di situazioni con piu' agenti, e lo studio delle loro proprieta' fondamentali. Questa sara' un'attivita' multi-disciplinare che usera' sia tecniche di intelligenza artificiale che di teoria delle decisioni.
Unita' coinvolte: Padova.
Lo sviluppo di tecniche per gestire situazioni con piu' criteri di ottimizzazione. Qui si useranno anche tecniche di ricerca operativa che sono molto utili in problemi di ottimizzazione.
Unita' coinvolte: Padova, Udine.
La gestione di vincoli su intervalli e su (multi)insiemi. Questa linea di lavoro estendera' l'applicabilita' della programmazione con vincoli in quegli ambiti dove e' naturale specificare vincoli su intervalli o su insiemi.
Unita' coinvolte: Udine, Genova.

I campi applicativi che considereremo sono:

Problemi di scheduling: Si vuole poter gestire anche problemi con preferenze sulle attivita', e dove la soluzione ottenuta sia robusta alle modifiche del contesto.
Unita' coinvolte: Padova.

Verifica di proprieta' di sistemi concorrenti a stati infiniti: Si vuole estendere lo stato dell'arte in questo campo tramite tecniche di vincoli e nozioni di composizionalita'.
Unita' coinvolte: Genova, Udine, Pescara.

Analisi di protocolli di sicurezza multilivello: Si vuole usare i vincoli soft per poter modellare piu' fedelmente, e quindi risolvere in modo piu' soddisfacente, problemi tipici della sicurezza dei sistemi informatici.
Unita' coinvolte: Pescara, Genova.

Bioinformatica: Si vuole sviluppare risolutori di vincoli ad hoc per alcuni problemi di bioinformatica, quali la predizione della struttura tridimensionale di una proteina.
Unita' coinvolte: Udine.