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.