Scarica l'interprete SWI Prolog SWI
Torna alla pagina iniziale
Esame
L'esame consisterà in due prove in itinere e un piccolo progetto finale concordato
con il docente, da svolgere nel gennaio 2012. Il carico di lavoro complessivo sarà programmato in modo che lo
svolgimento del progetto rientri nelle 102 ore di preparazione individuale
(si ricorda che 1 CFU equivale a 25 ore di lavoro, di cui 8 di lezione
frontale e 17 di studio individuale).
Calendario e prove in itinere
- Inizio: 1 ottobre 2012
- Fine presunta corso: gennaio 2013, data precisa da stabilire
- Prima prova: dicembre, data precisa da stabilire
- Seconda prova: gennaio 2013, data precisa da stabilire
NB: le date delle prove in itinere sono alla fine di periodi di interruzione della didattica,
per interferire il meno possibile con lo svolgimento delle lezioni. Le lezioni di gennaio 2012
saranno dedicate alla preparazione del progetto.
Torna alla pagina iniziale
Lezioni e altre presentazioni
Torna alla pagina iniziale
Avvisi in ordine cronologico inverso
-
L'esame del 18 luglio sarà alle 13.30 in auletta 6.
-
L'ultima lezione di lunedì 28 gennaio, dedicata alla presentazione dettagliata del secondo progetto
e alla discussione ulteriore del primo, eà ANTICIPATA alle ore 8.30.
Pubblicata una bozza iniziale del secondo progetto e il primo
con una visualizzazione dei risultati migliore.
-
Pubblicata la traccia per i progetti tipo 1. Si usi il codice
prodotto come punto di partenza e riferimento. Una spiegazione
dalle 14 alle 16 oggi (24/1) in aula delta.
-
Pubblicate le soluzioni della seconda prova in itinere
-
Pubblicate le soluzioni degli esercizi di preparazione
- Pubblicati alcuni esercizi di preparazione. Le soluzioni usciranno
venerdì.
- Oggi 30 dicembre è stata pubblicata una nuova versione degli
appunti
con l'appendice di preparazione della seconda prova in itinere,
prevista nella settimana dal 14 al 18 gennaio, con data da confermare
definitivamente nella lezione del 7 gennaio. La lezione del 7 sarà
dedicata alla preparazione della seconda prova in itinere.
-
Per la lezione di oggi, lunedì 26 novembre, è stata aggiunta agli
appunti un'appendice con il programma dettagliato della prima prova in itinere
e con alcuni esercizi tipo risolti.
-
Oggi 6 ottobre sono stati aggiunti esercizi nella appendice delle dispense.
- Venerdì 19 vi sarà un'ora di lezione in auletta 4, dalle
14.30 alle 15.30; seguiranno 2 ore di laboratorio in aula delta.
La dispensa è stata integrata con nuovo materiale. E' stato pubblicato
l'esempio DLV visto in laboratorio. Si legga l'articolo di Lifschitz
(caricato nel materiale didattico) sui 13 modi
di definire i modelli stabili; contiene anche una panoramica interessante sugli
approcci al "common sense reasoning" in AI.
-
Venerdì 12 la lezione sarà in aula delta ore 14.30. Pubblicato nuovo materiale.
-
I corsi iniziano il primo di ottobre. L'orario sarà pubblicato appena disponibile.
Eventuali modifiche al fine di evitare sovrapposizioni con altri corsi potranno essere concordate
con i frequentanti nelle lezioni della prima settimana.
Torna alla pagina iniziale
Breve programma del corso
Fornire le basi dell'approccio logico all'intelligenza artificiale. Le applicazioni studiate sono principalmente rivolte alla progettazione di agenti autonomi.
Agenti autonomi ("intelligenti") e sistemi per la rappresentazione e il ragionamento (RRS). Algoritmi e strategie di ricerca. Rappresentazione della conoscenza. Conoscenza definita, negativa, disgiuntiva, vincoli di integrità . Rappresentazione delle azioni e del cambiamento e cenni sulla pianificazione. Forme di ragionamento basato su assunzioni - cenni. Apprendimento automatico - cenni.
Torna alla pagina iniziale