Programma del Corso di

Intelligenza Artificiale I

(a.a. 2007/2008)


  1. Intelligenza Artificiale e agenti intelligenti ([RN] capp. 1 e 2).
  2. Soluzione di problemi mediante ricerca nello spazio degli stati.
    Strategie di ricerca cieca (ricerca in ampiezza, ricerca guidata dal costo, ricerca in profondità, ricerca mediante iterative deepening).
    Strategie di ricerca euristica (ricerca best first , algoritmo A* e sua completezza, IDA*, funzioni euristiche).
    ([RN] capp. 3 (escluso 3.6) e 4 (4.1 e 4.2) ).
  3. Rappresentazione della conoscenza.
    Logica proposizionale (sintassi e semantica).
    Logica del primo ordine (sintassi e semantica).
    Teorie del primo ordine.
    Decidibilità, indecidibilità e semidecidibilità di una logica
    Rappresentazione di conoscenze in logica del primo ordine.
    ([C], capp. 1 e 2 - esclusi i paragrafi da 1.4.5 a 1.4.10 e il paragrafo 2.4; integrazioni disponibili in rete ; [RN] capp. 7, 8).
  4. Metodi di inferenza per la logica del primo ordine.
    Sistemi assiomatici.
    Algoritmo di unificazione.
    Risoluzione e raffinamenti della risoluzione (risoluzione lineare, risoluzione con clausole unitarie).
    Risoluzione SLD e programmazione logica.
    ([C] cap. 1, 2, 3 - esclusi 1.4, 2.4, 3.3, 3.5; [RN] cap. 9).
  5. Pianificazione.
    Il Situation calculus ([RN] cap. 10.3).
    Il linguaggio STRIPS per la rappresentazione di stati e azioni e sue estensioni.
    Grafi di pianificazione.
    Pianificazione come soddisfacimento in logica proposizionale.
    ([RN] capp. 11.1, 11.4, 11.5)



Sono disponibili i LUCIDI utilizzati a lezione.



Testi di Riferimento:



Pagina del corso di Intelligenza artificiale