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.