Lucidi AA 2018-19
- Introduzione al corso
- Introduzione a IA e sistemi knowledge-based
- Ricerca nello spazio degli stati
- Strategie non informate
- Strategie informate
- Vincoli
- Esercizio vincoli
- Aggiunto esercizio per lezione 23/10/18
- Giochi (ricerca con avversario)
- Al sito https://ai6034.mit.edu il demonstrator di P.H. Winston (corso di Fondamenti di IA al MIT)
- Esempio AC case-famiglie
- Esempio FC vs AC
- Map coloring Australia
- Logica dei predicati del I ordine
- Introduzione alla logica classica, e FOL (First Order Logic)
- Inferenza proposizionale
- (Backward e Forward chaining non svolte AA2018-19)
- Inferenza FOL (First Order Logic)
- Logica a clausole: principio di risoluzione e algortimo di unificazione Backward e Forward chaining NON svolte AA 2018-19
- 01-Prolog
- Aggiornato (3/11/16 h. 16) con correzione albero SLD pag. 21-22
- 02-Prolog (Aritmetica e ricorsione)
- 03-Prolog (Liste)
- 04-Prolog (Cut)
- corretto albero SLD esempio intersection
- Prolog-not
- Prolog-meta
- AA 2018-19 svolti solo: call, setof, bagof e findall
- Logica FOL - esempio
- Logica-esempi
- Aggiornato con esercizi da compiti (9/12/2018)
- Rappresentazione della Conoscenza
- Riassunto conclusivo
- Oggetti in IA
- Il modello ad oggetti in IA (NON svolto AA 2018-19)
