Obbiettivi formativi:
Il corso si propone di introdurre lo studente al campo dell'intelligenza artificiale, insegnando i suoi concetti e tecniche di base, e illustrando la loro applicazione ad alcune aree specifiche, in modo che lo studente sia preparato a seguire corsi specifici in tali aree e/o a lavorare ad una tesi di laurea specialistica in intelligenza artificiale.
Programma del corso (a grandi linee e soggetto a modifiche in corso d'opera):
Prima parte: metodi dell'intelligenza artificiale: risoluzione di problemi, rappresentazioni dello spazio degli stati, procedure di ricerca non informate, procedure di ricerca informate: ricerca euristica; problemi di soddisfazione di vincoli: soddisfacibilità (SAT), unificazione; rappresentazione della conoscenza: approccio logico. Logica proposizionale e logica del primo ordine.
Seconda parte: selezione di temi da aree dell'intelligenza artificiale: ragionamento automatico, automazione di giochi, apprendimento automatico, linguaggio naturale, percezione.