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:
Prima parte: metodi dell'intelligenza artificiale: risoluzione di problemi come ricerca in uno spazio di stati; procedure di ricerca non informate; procedure di ricerca informate e ricerca euristica; problemi di soddisfazione di vincoli: unificazione; soddisfacibilità (SAT); problemi con avversario: giochi; rappresentazione della conoscenza: uso della logica proposizionale e del primo ordine.
Seconda parte: selezione di temi da aree dell'intelligenza artificiale: ragionamento automatico (risoluzione, tableaux, paramodulazione e riscrittura), pianificazione, apprendimento automatico, linguaggio naturale.