Data
|
Argomento
|
Riferimenti
libro di testo
|
Materiale
aggiuntivo
|
Mercoledì 3 ottobre
2012
|
Introduzione
all’Intelligenza Artificiale
|
Capitolo 1
|
Un inquadramento
dell’Intelligenza Artificiale nell’informatica e un’introduzione alla sua
storia e alle sue prospettive è:
Marco Somalvico, Francesco Amigoni, Viola Schiaffonati,
“Intelligenza artificiale”, di prossima pubblicazione.
http://home.dei.polimi.it/amigoni/teaching/IntelligenzaArtificiale.pdf
L’articolo originale
di Alan Turing che introduce l’omonimo test (spesso citato in forme diverse)
è:
Alan
Turing, “Computing Machinery and Intelligence”, Mind, 59:433-460,
1950.
http://www.turing.org.uk/turing/scrapbook/test.html
Molti temi relativi
all’Intelligenza Artificiale sono trattati nei brevi articoli del recente
numero speciale “Singularity Issue” della rivista IEEE Spectrum:
http://spectrum.ieee.org/singularity
(La rivista dovrebbe
essere accessibile, a partire dal link sopra riportato, dall’interno della
rete del Politecnico.)
Il sito del libro di
testo raccoglie numerose risorse sull’Intelligenza Artificiale, comprese le
implementazioni degli algoritmi presentati a lezione:
http://aima.cs.berkeley.edu/
Un interessante libro
che ripercorre la storia delle idee dell’Intelligenza Artificiale (anche per
un pubblico non specialista) è:
N.
Nilsson, “The Quest for Artificial Intelligence: A History of Ideas and
Achievements”, Cambridge University Press, 2009.
http://ai.stanford.edu/~nilsson/qai.html
|
Venerdì 5 ottobre 2012
|
Agenti intelligenti
|
Capitolo 2
|
|
Mercoledì 10 ottobre
2012
|
Agenti risolutori di
problemi
|
Sezioni 3.1-3.2
|
Per alcune curiosità
sul gioco dell’otto e del quindici, come il fatto che lo spazio degli stati
per tali problemi è partizionato in due insiemi disgiunti:
http://en.wikipedia.org/wiki/Fifteen_puzzle
|
Venerdì 12 ottobre
2012
|
Ricerca delle
soluzioni di un problema
|
Sezione 3.3
|
|
Mercoledì 17 ottobre
2012
|
NO LEZIONE
|
||
Venerdì 19 ottobre
2012
|
NO LEZIONE
|
||
Mercoledì 24 ottobre
2012
|
Strategie di ricerca
non informata
|
Sezione 3.4
|
|
Venerdì 26 ottobre
2012
|
Esercizi su strategie
di ricerca non informata
|
||
Mercoledì 31 ottobre
2012
|
Strategie di ricerca
informata
|
Sezioni 3.5-3.6
|
|
Venerdì 2 novembre
2012
|
NO LEZIONE
|
||
Mercoledì 7 novembre
2012
|
Esercizi su ricerca
informata
|
|
|
Venerdì 9 novembre
2012
|
Ricerca con avversari
(giochi)
|
Sezioni 5.1-5.2, 5.4
|
Alcuni nuovi sviluppi
dei programmi per giocare a scacchi e, sopratutto, a Go sono riportati in:
Feng-Hsiung
Hsu, “Cracking Go”, IEEE Spectrum, 44(10):44-49, October 2007.
http://www.spectrum.ieee.org/oct07/5552
(Il documento dovrebbe
essere accessibile, a partire dal link sopra riportato, dall’interno della
rete del Politecnico.)
Una interessante
analisi (a livello divulgativo) di come i programmi stiano influenzando i
giocatori umani di scacchi appare in:
Giovanni Zagni, “Il Grande Maestro e il computer”, Il
Post, 25 marzo 2011.
http://www.ilpost.it/2011/03/25/il-grande-maestro-e-il-computer/
|
Mercoledì 14 novembre
2012
|
Ricerca con avversari
(giochi)
|
Sezioni 5.3, 5.5
|
|
Venerdì 16 novembre
2012
|
Esercizi su ricerca
con avversari (giochi)
|
||
Mercoledì 21 novembre
2012
|
Problemi di
soddisfacimento di vincoli
|
Sezioni 6.1, 6.3
|
|
Venerdì 23 novembre
2012
|
Problemi di
soddisfacimento di vincoli
|
Sezione 6.2
|
|
Mercoledì 28 novembre
2012
|
Esercizi su problemi
di soddisfacimento di vincoli
|
|
|
Venerdì 30 novembre
2012
|
Richiami di logica
|
Sezioni 7.3-7.4, 8.2
|
Lucidi sui richiami di
logica della dott.ssa Viola Schiaffonati:
http://home.dei.polimi.it/amigoni/teaching/Logica.pdf
|
Mercoledì 5 dicembre
2012
|
Procedure di inferenza
per la logica proposizionale
|
Sezioni 7.1, 7.5
|
|
Venerdì 7 dicembre
2012
|
VACANZA (?)
|
||
Mercoledì 12 dicembre
2012
|
Esercizi su procedure
di inferenza per la logica proposizionale
|
|
|
Venerdì 14 dicembre
2012
|
Procedure di inferenza
per la logica del primo ordine
|
Sezioni 9.2-9.4
|
|
Mercoledì 19 dicembre
2012
|
Procedure di inferenza
per la logica del primo ordine
|
Sezione 9.5
|
|
Venerdì 21 dicembre
2012
|
Esercizi su procedure
di inferenza per la logica del primo ordine
|
|
|
Mercoledì 26 dicembre
2012
|
VACANZA
|
||
Venerdì 28 dicembre
2012
|
VACANZA
|
||
Mercoledì 2 gennaio
2013
|
VACANZA
|
||
Venerdì 4 gennaio 2013
|
VACANZA
|
||
Mercoledì 9 gennaio
2013
|
Pianificazione
|
Sezione 10.1
|
|
Venerdì 11 gennaio
2013
|
Pianificazione
|
Sezione 10.2
|
|
Mercoledì 16 gennaio
2013
|
Esercizi su
pianificazione
|
||
Venerdì 18 gennaio
2013
|
Aspetti filosofici
dell’Intelligenza Artificiale
|
Capitolo 26
|
La domanda "Il cervello è un computer?" trova
spazio in molti contesti di riflessione sui fondamenti e sulle implicazioni
dell'Intelligenza Artificiale. Seppur capace di suscitare un enorme
interesse, domande di questo tipo mancano, il più delle volte, di solide
giustificazioni se non un'ottimistica speranza nell'inarrestabile progresso
della scienza e della tecnologia.
|
Mercoledì 23 gennaio
2013
|
Aspetti filosofici
dell’Intelligenza Artificiale
|
Capitolo 26
|
|
Venerdì 25 gennaio
2013
|
|
|
|
Appello del
3 febbraio 2012:
Appello del 1 marzo 2012:
Nel corso degli
anni sono leggermente cambiati sia gli argomenti illustrati durante il corso
sia le versioni di alcuni algoritmi. Tali variazioni si riflettono nei temi
d’esame.
Segnalare al docente
eventuali errori nelle soluzioni.