Introduzione all'Intelligenza Artificiale

Maria Simi - a.a. 2012/2013

Edizione dello scorso anno

Orario delle lezioni

Martedì ore 14:00-16:00, aula A1, Polo Fibonacci
Giovedì ore 14:00-16:00, aula C1, Polo Fibonacci
Venerdì ore 11:00-13:00, aula A1, Polo Fibonacci

Verifiche intermedie

La prova di verifica intermedia prevista per il 30 aprile non sarà effettuata. Ci sarà una prova "intermedia" a fine corso, nel periodo canonico.

Risultati prova intermedia del 28/5/2013

Appelli

Appello del 6 settembre
Per un disguido lo scritto del 6 settembre è posticipato a martedì 17 settembre, ore 15:00, aula C.

Io sarò presente in entrambe le date, ma ovviamente per voi sono in alternativa

I modulo. Rappresentazione della conoscenza e ragionamento automatico (Simi)

1. Mar 19/02/2013 14:00-16:00 Introduzione all'intelligenza artificiale (PDF)
2. Gio 21/02/2013 14:00-16:00 Agenti intelligenti (PDF)
3. Ven 22/02/2013 11:00-13:00 Risoluzione dei problemi mediante ricerca (PDF)
4. Gio 28/02/2013 14:00-16:00 Ricerca informata (PDF)
5. Ven 01/03/2013 11:00-13:00 Ancora su ricerca informata
6. Mar 05/03/2013 14:00-16:00 Ricerca locale (PDF)
7. Gio 07/03/2013 14:00-16:00 Esercitazione (Esercizi 1)
8. Ven 08/03/2013 11:00-13:00 Ricerca online (PDF)
9. Mar 12/03/2013 14:00-16:00 Problemi con avversario (PDF)
10. Gio 14/03/2013 14:00-16:00 Esercitazione (Esercizi 2)
11. Ven 15/03/2013 11:00-13:00 Problemi di soddisfacimento di vincoli (PDF)
12. Mar 19/03/2013 14:00-16:00 Introduzione alla rappresentazione della conoscenza (PDF)
13. Gio 21/03/2013 14:00-16:00 Agenti logici: il calcolo proposizionale (PDF)
14. Ven 22/03/2013 11:00-13:00 Esercitazione (Esercizi 3)
15. Mar 26/03/2013 14:00-16:00 Agenti logici: la logica del primo ordine (PDF))
16. Gio 28/03/2013 14:00-16:00 Esercitazione (Esercizi 4)
17. Mar 09/04/2013 14:00-16:00 Sistemi a regole: programmazione logica (PDF)
18. Gio 11/04/2013 14:00-16:00 Esercitazione (Esercizi 5)
19. Ven 12/04/2013 11:00-13:00 Sistemi a regole di produzione (PDF)
20. Mar 16/04/2013 14:00-16:00 Rappresentazioni strutturate (PDF)
21. Gio 18/04/2013 14:00-16:00 Logiche descrittive: linguaggio (PDF)
22. Ven 19/04/2013 11:00-13:00 Logiche descrittive: inferenza (PDF)
23. Mar 23/04/2013 14:00-16:00 Pianificazione (PDF)
24. Ven 26/04/2013 11:00-13:00 Pianificazione
25. Mar 30/04/2013 14:00-16:00 Esercitazione (Esercizi 6)

Materiale integrativo per il primo modulo

• Handbook on Description Logic (cap. 2)

II modulo. Introduzione all'apprendimento automatico (Simi, Bacciu, Micheli)

1. Gio 02/05/2013 14:00-16:00 Introduzione all'apprendimento automatico (Bacciu)
2. Ven 03/05/2013 11:00-13:00 Apprendimento induttivo di concetti (PDF)
3. Mar 07/05/2013 14:00-16:00 Apprendimento di alberi di decisione (PDF)