Corso di Intelligenza Artificiale

(II parte, anno accademico 2012/2013)

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:

  1. S. Russell & P. Norvig, "Artificial Intelligence: A Modern Approach", Prentice Hall, terza edizione, 2010 (versione in italiano: "Intelligenza Artificiale: un approccio moderno", Vol. 1 e 2, Pearson Education Italia, 2005)

Presentazioni Progetti:
Lucidi delle lezioni:
(il contenuto dei lucidi potrebbe cambiare prima che la relativa lezione sia tenuta)
 

 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 (25-28/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)

 Esempio di compitino

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

 Esempio programma Prolog, negazione come fallimento: neg_as_failure.pl [provare query innocent(alessandro).]

 Esempio programma Prolog, negazione come fallimento: neg_as_failure2.pl [provare query guilty(alessandro).]

 Esempio programma Prolog, negazione come fallimento: neg_as_failure3.pl [provare query good_standard(X),reasonable(X). ed anche reasonable(X),good_standard(X).]

 Lezione del 20/02 non tenuta per Incontro Erasmus
 

Esempi di Progetti:

Implementazione (parziale) di POP

InfiniteMario AI

 Min-Max e Forza 4

 Puzzle Solver

 Robocup Lab

 Link al repository di codice che implementa vari algoritmi del libro di testo.