ARGOMENTI PER TESI E TESINE


Francesca Rossi



TESI


Prerequisiti per tutte le tesi: conoscenza delle tecniche principali di soluzione di problemi di vincoli e di programmazione con vincoli (vedere corso di Sistemi con vincoli).

Argomento 1 :
Definizione ed implementazione di un risolutore di vincoli con preferenze basato su tecniche di ricerca con backtracking. Test sperimentali del suo comportamento su problemi generati random o anche su problemi reali.

Cose da sapere o da imparare: vincoli con preferenze, programmazione in C e/o Java.

Argomento 2:
Definizione ed implementazione di un risolutore di vincoli con preferenze basato su tecniche di ricerca locale. Test sperimentali del suo comportamento su problemi generati random o anche su problemi reali.

Cose da sapere o da imparare: vincoli con preferenze, programmazione in C e/o Java.

Argomento 3:
Definizione e valutazione di un configuratore per problemi con vincoli con preferenze, che possa dare delle spiegazioni sulle inconsistenze e aiutare l'utente a ritrattare certe scelte gia' effettuate. Implementazione dell'ambiente con interfaccia su Internet.

Cose da sapere o da imparare: vincoli con preferenze, programmazione C e/o Java.

Argomento 4:
Definizione e valutazione di un ambiente distribuito di risoluzione di vincoli con preferenze, con applicazione al problema della schedulazione di un meeting tra vari agenti. Implementazione dell'ambiente con interfaccia su Internet.

Cose da sapere o da imparare: tecniche di negoziazione e di modellazione, vincoli con preferenze, programmazione C e/o Java.

Argomento 5:
Studio e sviluppo di algoritmi per l'aggregazione di preferenze di piu' agenti.

Argomento 6:
Studio di propertieta' di problemi di matching, basati su preferenze di piu' agenti, e loro applicazione a esempi o casi reali di ricerca/offerta lavoro.

Argomento 7:
Studio di algoritmi per gestire l'incertezza di vario tipo in formalismi per modellare le preferenze.

Argomento 8:
Studio di classi trattabili di problemi con vincoli o preferenze in cui la ricerca della prossima soluzione (in un ordinamento discendente per qualita') sia ancora trattabile. Sviluppo di algoritmi per trovare una prossima soluzione, e loro applicazione a casi reali.


Francesca Rossi ( frossi@math.unipd.it)