Corso di Intelligenza Artificiale modulo B
Kursthemen
-
- CORSO DI INTELLIGENZA ARTIFICIALE (8 CFU AA. 2013-14):
- Esercizi, esempi e tutto il materiale pubblicato in questo sito fanno parte del programma d'esame.
- Su SNEPS e SUMO, prepararsi su tutti gli esempi e gli esercizi (non verranno assegnati esercizi nuovi a partire dalla sessione autunnale dell'AA 2014-15).
- Solo per il progetto su editing di ontologie: vedere il sito elearning di RAPPRESENTAZIONE E ALGORITMI II.
- Materiale del primo modulo (prof. Lombardo)
- Avviso: giovedì 15 maggio 2014 seminario del dott. Lieto (prima parte della lezione) su Limitazioni del ragionamento automatico nelle logiche descrittive
-
- Limiti della logica classica
- Reti semantiche
- Frame
- Regole di produzione
-
Slide su rappresentazione della conoscenza (lezioni 1,2,3,4)
-
Approfondimento, con esempi e esercizi, sul sistema SNePS - rete semantica preposizionale (lezione 3)
-
-
Dalle reti semantiche alle ontologie computazionali (lezione 5)
-
Permette di interrogare l'ontologia YAGO soprattutto in relazione ai dati spaziali e temporali
-
Compendio sul ragionamento automatico basato su esempi codificati in Protégé: classificazione automatica, individuazione della inconsistenza, uso delle restrizioni sulle proprietà, effetti dell'assunzione di mondo aperto.
-
Breve guida all'interfaccia di Protégé, schermata per schermata (non è aggiornata all'ultima versione del software ma non ci sono differenze significative)
-
Breve esercizio di modellazione di un dominio via Protégé a partire da specifiche in linguaggio naturale. Il formato del file è Turtle (per allenarsi a leggere le triple).
-
Da fare con Protégé.
-
Svolgimento dell'esercizio di modellazione in OWL. Salvato in formato rdf/owl.
-
-
Nel colloquio d'esame le domande verteranno su tutto il materiale presente sul sito, inclusi esempi, slide, esercizi.
La preparazione deve essere completata dallo studio dei seguenti testi:
Intelligenza Artificiale, S. Russell e P. Norvig, Pearson Education Italia 2005 (edizione in due volumi):Cap. 10, "Rappresentazione della conoscenza" (oppure lo stesso capitolo nelle altre edizioni).(consigliato) Danilo Fum, Intelligenza Artificiale, Il Mulino, Bologna, 1994. Capitoli su Frame e Sistemi a regole di produzione. Testo disponibile presso la biblioteca di Psicologia. -
Esercizi per l'esonero del 16 maggio 2014
-
Esercizio di editing di ontologie e ragionamento automatico
-
Esercizio sulla rete semantica SNEPS
-
-
Esercizi da portare all'esame del 16 giugno
-
Per l'esame del 2 luglio è da fare l'esercizio su OWL.
Per le altre parti, si porteranno gli esercizi degli appelli precedenti.
-
Ontologie e Sumo: portare gli esercizi dell'11 settembre (appello precedente).
-
Esercizio su Sneps per l'appello del 1 ottobre
-