Prof. Alessandro Sperduti
Orario (II trimestre: 14 Gennaio 2013 - 15 Marzo 2013)
dal Lunedì al Martedì | 15:30 - 17:30 Aula 1BC/50 | dal Mercoledì al Giovedì | 11:30 - 13:30 Aula 1BC/50 |
Testo Consigliato:
Agenti Logici - Logica del Primo Ordine (pdf) (6/02)
Agenti Logici - Inferenza nella Logica del Primo Ordine (7,13,14,18,19/02)
Compitino sulla prima parte (11/02)
Seminario Stuart Russell (12/02)
Pianificazione: Conformant, Condizionale, Monitoraggio e Ripianificazione (28/02)
Cenni di Apprendimento Automatico (4,5/03)
Gestione Incertezza (6,7,11/03)
Compitino seconda parte: 14 Marzo dalle 11:30 alle 13:30 in aula 1BC/50 (aperta lista di iscrizione prova parziale su UNIWEB)
Esempi Prolog (18,19/02) :
Esempio programma Prolog, first.pl
Esempio programma Prolog, backtracking: likes.pl
Esempio programma Prolog, cut: max.pl
Esempio programma Prolog, cut: max-cut1.pl [provare query max(10,1,1).]
Esempio programma Prolog, cut: max-cut2.pl
Esempio programma Prolog, cut: split.pl
Esempio programma Prolog, cut: split-cut1.pl [provare query split([1,-3,2],[2],[1,-3]).]
Esempio programma Prolog, cut: split-cut2.pl
Esempio programma Prolog, cut: split-cut3.pl
Esempio programma Prolog, cut + fail: likes2.pl (pl)
Esempio programma Prolog, cut + fail: not.pl
Esempio programma Prolog, cut + fail: different.pl
Lezione del 20/02 non tenuta per Incontro Erasmus
Esempi di Progetti:
Implementazione (parziale) di POP
Link al repository di codice che implementa vari algoritmi del libro di testo.