INTELLIGENZA ARTIFICIALE
Prof. Alfonso Gerevini
|
|
Lucidi di alcuni seminari e lezioni
|
Introduzione
all'IA (IA-a)
Introduzione agli agenti intelligenti (IA-a)
Lisp
- prima parte (IA-a)
Lisp
- seconda parte (IA-a)
Lisp
- terza parte (IA-a)
Backtracking
e CSP: esempio problema 6-regine(IA-a, esempio con animazione)
Lucidi vari IA-a
(in PDF o Postscript): A*grafi,
IDA*,
Unify,
RetiSemantiche,
alberoSLD
Fuzzy
Logic (IA V.O.)
Graphplan
(IA-b)
Adattamento
di Piani (IA-b, approfondimento)
Il pianificatore Fast Forward (FF) (IA-b)
CLIPS
(IA V.O.)
InAShop:
una applicazione delle Reti Bayesiane (IA-a e IA V.O.)
Ricerca
locale e grafi di pianificazione (IA-b)
DISCOPLAN
(IA-b)
DISCOPLAN
on-line (IA-b)
Ragionamento
Temporale (IA-a e IA-b) file1,
file2,
)
Ragionamento
Temporale Efficiente basato su Grafi (IA V.O.)
Il pianificatore LPG (I parte), (II parte) (IA-b)
LPG: Quantita' numeriche e raggiungibilita' (IA-b)
Planning based on Model Checking (IA-b, a.a. precedenti)
|