Prof. Alessandro Sperduti
Orario (II trimestre: 16 Gennaio 2012 - 17 Marzo 2012)
dal Lunedì al Martedì | 15:30 - 17:30 Aula 1BC/45 | Mercoledì | 13:30 - 15:30 Aula 1BC/45 | Giovedì | 11:30 - 13:30 Aula 1BC/45 |
Testo Consigliato:
La lezione del 13 Febbraio non sarà tenuta a causa della giornata Erasmus
Agenti Logici - Logica del Primo Ordine (pdf) (14/02)
Agenti Logici - Inferenza nella Logica del Primo Ordine (15,21,22,23,27/02)
Il primo compitino sarà tenuto il 16 Febbraio dalle 11:30 alle 13:30 in aula 1BC/45
Lezione del 20 Febbraio non tenuta causa inaugurazione anno accademico
Pianificazione (zip) (28,29/02, 1,5/03)
Pianificazione: Conformant, Condizionale, Monitoraggio e Ripianificazione (pdf) (6/03)
Cenni di Apprendimento Automatico (pdf) (7,8/03)
La lezione del 12 Marzo non sarà tenuta
Gestione Incertezza (pdf) (13,14,15/03)
Esempi Prolog (27,28/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
Esercizio di costruzione programma Prolog: member.pl
Esempi di Progetti:
Implementazione (parziale) di POP
Link al repository di codice che implementa vari algoritmi del libro di testo.