Esercitazione

Alla prova orale si porta un'esercitazione su un argomento del corso. Per la scelta dell'argomento si prega di contattare uno dei docenti del corso, a seconda dell'argomento scelto. Una lista (non esaustiva) di argomenti che possono essere oggetto di approfondimento e di sperimentazione è la seguente:

• Modellazione e risoluzione di Problemi di Soddisfacimento di Vincoli in CLP (Marco Gavanelli)
• Progettazione e realizzazione di sistemi esperti (Evelina Lamma)
• Progettazione e realizzazione di pianificatori (Evelina Lamma)
• Apprendimento automatico (consigliato per gli studenti di Statistica) (Fabrizio Riguzzi)
• Confronto di algoritmi di apprendimento (Fabrizio Riguzzi)

Modalità per la tesina su Pianificazione Automatica

• Concordare la tesina con Evelina Lamma (anche per email)
• Tesine disponibili:
  • Perfezionare un pianificatore linerare realizzato in prolog
  • Sperimentare pianificatori POP con alcuni case study

Modalità per la tesina su Prolog

• Concordare la tesina con Evelina Lamma (anche per email)
• Tesine disponibili:
  • Studio delle Definite Clause Grammars: realizzazione di semplici analizzatori lessicali con le Definite Clause Grammars di prolog
  • Studio della libreria CHR e sua sperimentazione

Modalità per la tesina su CLP

Chi desidera fare la tesina su CLP, dovrebbe:

• Pensare ad un possibile problema di soddisfacimento di vincoli o di ottimizzazione (a titolo di esempio si possono prendere quelli nelle dispense di CLP)
• proporre a Marco Gavanelli il testo dell'esercizio (anche per email)
• Il prof Gavanelli risponderà comunicando se la difficoltà è adeguata
• a questo punto si può cominciare a svolgere la tesina

Verranno apprezzate tesine in cui si mostrano soluzioni alternative allo stesso problema. Ad esempio, è interessante mostrare grafici del tempo di calcolo al variare della dimensione del problema, studiando diversi modelli, oppure lo stesso modello ma variando l'euristica di selezione della variabile/del valore, l'algoritmo di search, ecc.

Modalità per la tesina su Reti Bayesiane

Chi desidera fare la tesina su Reti Bayesiane, dovrebbe:

• Scegliere uno o più software per l'inferenza con le Reti Bayesiane (si vedano i lucidi)
• Chiedere conferma a Fabrizio Riguzzi (anche per email)
• Scegliere alcune reti bayesiane
• Confrontare i tempi per rispondere a query dei diversi software o di algoritmi diversi di uno stesso software

Modalità per la tesina su Apprendimento Automatico

Chi desidera fare la tesina su Apprendimento Automatico, dovrebbe:

• Scegliere alcuni algoritmi di apprendimento proposizionali e/o del primo ordine (per un elenco di algoritmi del primo ordine si veda questo tutorial)
• Scegliere alcuni dataset (si vedo l'UCI Machine Learning Repository o il sito di ILPNet2)
• Chiedere conferma a Fabrizio Riguzzi (anche per email)
• Effettuare esperimenti usando la cross validation
• Confrontare le accuratezze medie ottenute

Modalità per la tesina bibliografica

Chi desidera fare una tesina bibliografica, dovrebbe

• scegliere un articolo scientifico su uno degli argomenti del corso
• chiedere ad uno docenti conferma della scelta
• scrivere un riassunto di 4 pagine, minimo 25 righe per pagina,  in ingliese, dell'articolo scelto
• Elenco di articoli su Reti Bayesiane e Apprendimento Automatico (in caso di scelta di un articolo non nell'elenco, contattare il docente). La tesina bibliografica è la modalità preferita per la tesina su Reti Bayesiane e Apprendimento Automatico.