Vincoli per la programmazione con insiemi, l’analisi di sistemi con automi, il ragionamento su intervalli e la bioinformatica.
Responsabile: Agostino Dovier
Abstract
Il progetto si proponeva di affrontare varie tematiche relative alla programmazione con vincoli.
- Nell’area dei vincoli su domini finiti il principale obiettivo era quello dello sviluppo di un risolutore di vincoli ad-hoc per vincoli su reticoli adatti a discretizzare le proteine, al fine di ottimizzare il codice per la predizione recentemente pubbliacto da alcuni proponenti
- Nell’area dei Vincoli su intervalli, si intendeva sviluppare un risolutore di vincoli in grado di minimizzare (eventualmente in modo approssimato) funzioni reali con variabili vincolate a stare in intervalli.
- Nell’area dei vincoli su insiemi (e affini) si intendeva procedere ad investigare le problematiche connesse a linguaggi di programmazione con vincoli di tipo insiemistico/iperinsiemistico/multiinsiemistico.
- Nell’area dell’Identificazione di segnali biologici nel genoma, come spiegato si intende usare la programmazione con vincoli per integrare la fase di ricerca di segnali e la successiva fase di filtraggio.
- Infine, si desidera integrare le idee utilizzate nei risolutori per answer set programming e nei risolutori per vincoli su domini finiti in CLP(FD) in un unico risolutore adatto ad affrontare, in generale, problemi NP-completi.