Sviluppo di e sperimentazione con ragionatori automatici

Proposta di tesi

Sviluppo di e sperimentazione con ragionatori automatici

Garante
Maria Paola Bonacina
Data proposta
12 novembre 2009
Corso di studi
Laurea in Informatica, Laurea magistrale in Ingegneria e scienze informatiche

Descrizione

Per la laurea magistrale: Sono disponibili tesi sperimentali e di ricerca in ragionamento automatico. Esempi includono lo sviluppo di solutori per la soddisfacibilità modulo teorie, l'integrazione di ragionamento al prim'ordine in detti solutori per decidere la validità di problemi generati in ambito di verifica di programmi, o lo sviluppo di dimostratori di teoremi per la logica del primo ordine. Si consiglia di aver seguito i corsi e sostenuto gli esami di "Intelligenza artificiale", "Verifica automatica di sistemi" e "Ragionamento automatico" come preparazione a queste tesi. Per la laurea: si incoraggia l'opzione dell'esame di laurea senza tesi; un esame di laurea in ragionamento automatico può consistere nell'imparare a usare un ragionatore automatico allo stato dell'arte, studiandone la documentazione e una selezione dalla relativa letteratura. L'esame comporta la redazione di un elaborato scritto. Stante l'assenza di corsi/esami di intelligenza artificiale nei curricula di primo livello, è consigliabile considerare questo argomento in combinazione con lo stage interno, al fine di avere una corrispondenza adeguata tra lavoro necessario e numero di crediti conseguiti.