Corso di AI 2001/02

Rappresentazione della Conoscenza, Ragionamento ed Apprendimento Automatico

Lo scopo del corso e' di approfondire ed ampliare gli aspetti di modellazione della conoscenza e ragionamento
automatico visti nel primo corso di intelligenza artificiale (basato sulla sola programmazione logica).

Utilizzando ancora linguaggi logici come supporto per la rappresentazione della conoscenza,  andremo ad
esplorare quali ulteriori (e forse piu naturali) linguaggi si possono utilizzare per modellare svariati aspetti
della realta: dalla modellazione di sistemi informatici alla  modellazione del comportamento umano.

Per tali linguaggi studieremo inoltre le tecniche utilizzate per lo sviluppo di procedure di decisione e ragionatori.

Infine, come integrazione alla parte di modellazione e ragionamento, vedremo un'altro aspetto
fondamentale dell'intelligenza artificiale: l'apprendimento automatico, cioe' una serie di tecniche
che consentono ad una macchina di apprendere nuove informazioni.

Il corso verra' concluso da una parte di seminari di argomenti selezionati dagli studenti.



Mailing List

Luigi Bozzo 1997s063@educ.disi.unige.it
Luca Chiarabini 1997s108@educ.disi.unige.it
Fabio Rossi 1997s022@educ.disi.unige.it
Andrea Olcese olcese@educ.disi.unige.it
Davide Roggero 1994s013@educ.disi.unige.it
Mirko Melis 1996s086@educ.disi.unige.it
Ombretta Pavarino 1996s022@educ.disi.unige.it



Dispense (con esercizi) delle lezioni su logica modale, temporale e planning
Altro materiale utile per parte su logica modale/temporale
Modalità d'esame

Lezioni

Marzo
4-8  Martedi (2)-Venerdi (3): Deduzione Automatica (Martelli)
12 Martedi (2):  Deduzione Automatica (Martelli)
15 Venerdi (2): Esempi di modellazione tramite logica I ordine + Risoluzione
      Venerdi (1): Introduzione generale alla Logica Modale (Delzanno)

Vacanze Pasqua

Aprile
4 Aprile (2): Seminario Leon Van der Torre: Logica Deontica e Input Output
5 Aprile (2): Esercizi su logica modale (Delzanno)
 8: non ci sara' lezione
12 (1): Apprendimento (Martelli)
15-19: Logica Temporale  LTL  (Delzanno)
22-26: Procedure di Decisione per LTL e logica CTL  (Lu(2)-Ma(2)-Ve(2)) (Delzanno)
30 Aprile: Apprendimento (Martelli)
3 Maggio: CTL Model Checking
6-10 Maggio: Symbolic Model Checking (Delzanno)

Maggio
13-17:    Model checking e Planning  e Beliefs (Delzanno)
20-25: Seminari studenti/Seminario sull'uso di SAT (?)
27-31: Seminari studenti



Seminari Studenti

Programma

Logica del prim'ordine



Logiche Costruttive (cenni)
 

Logiche Modali

Procedure di decisione

Machine Learning