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 alla fine del corso.
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: 2 ottobre 2018
- Fine corso: 9 gennaio 2019
- Prima prova: 12 dicembre 2018
- Seconda prova: 18 gennaio 2019
NB: Le ultime lezioni di dicembre e gennaio sarnno dedicate alla presentazione delle
tracce di progetto. L'esame orale consisterà nella presentazione del progetto e la
data dell'orale sarà concordata con il docente.
Torna alla pagina iniziale
Lezioni e altre presentazioni
Torna alla pagina iniziale
Avvisi in ordine cronologico inverso
-
Data avviso: 4/2. In RisultatiFinalieProgetti.zip sono pubblicati i risultati finali delle due prove in itinere e una guida ai progetti, che si consiglia di leggere con attenzione, incluso il codice.
Un completamento della guida sarà pubblicato a breve.
Si ricorda che il voto finale si ottiene dalla media fra il voto finale dei compitini e il voto del progetto.
L'eventuale lode è collegata al progetto.
-
Data avviso: 14/1. La seconda prova in itinere si terrà venerdì 18/1
alle ore 10.30 in aula beta.
La lezione di domani 14/1 sarà dedicata alla preparazione della seconda prova in itinere.
In coda alla lezione del 14/1 e nel laboratorio del 15/1 si completerà la presentazione
del progetto tipo discutendo l'uso dell'euristica e il caso di conoscenza incompleta.
-
Data avviso: 10/1. Pubblicati i risultati della prima prova in itinere.
Pubblicato PostLab_19_12.zip
.
-
Data avviso: 4/1. Pubblicati i risultati della prima prova in itinere.
Pubblicato PostLab_19_12.zip
.
-
Data avviso: 23/12. Pubblicate slides di preparazione alla seconda prova in itinere.
-
Data avviso: 10/12. Pubblicati altri esercizi. Le soluzioni verranno discusse nella lezione di domani 11 dicembre. Questa sera usciranno le soluzioni degli esercizi di settimana scorsa.
-
Data avviso: 7/12. La prima prova in itinere avrà luogo il 12 dicembre dalle ore 12.30 alle ore
15.30 in aula alfa.
-
Data avviso: 3/12. Pubblicata la nuova versione (non definitiva) degli Appunti 18/19.
-
Data avviso: 30/10. Pubblicati gli esercizi svolti nel laboratorio del 24/10, incluso "mc.pl" (missionari e cannibali). Il prossimo laboratorio sarà il 7/11 in aula Lambda; le lezioni del 30/10, 31/10, 6/11 si svolgeranno in aula e verranno dati esercizi utili alla preparazione del laboratorio.
-
Data avviso: 16/10. Il 24/10 ci sarà la prima lezione in laboratorio, aula Lambda, ore 13.30-16.
-
Data avviso: 4/10. Pubblicato il nuovo orario delle lezioni.
-
Data avviso: 2/10. La lezione di martedì 2 ottobre si terrà in aula G30 dalle 13.30 alle 14.30
e avrà carattere princialmente organizzativo. La lezione del 3 ottobre non si terrà e il corso inizierà martedì 9 ottobre.
Le slides della prima lezione sono pubblicate
qui; per accedere al materiale, userid e password sono entrambe studente
.
-
Data avviso: 12/9. Il corso inizierà martedì 2 ottobre in aula ed ora da stabilire. Si consiglia la presenza nella prima lezione in quanto verranno concordate eventuali modifiche di orario, in base alle esigenze dei frequentanti.
Torna alla pagina iniziale
Obiettivi
Fornire le basi dell'approccio logico all'intelligenza artificiale.
Le applicazioni studiate sono principalmente rivolte alla progettazione di agenti autonomi.
Programma
-
Agenti autonomi ("intelligenti") e sistemi per la
rappresentazione e il ragionamento (RRS).
-
Rappresentazione della conoscenza a livello proposizionale e predicativo.
Conoscenza definita, negativa, disgiuntiva, vincoli di integrità.
-
Sistemi: Prolog tipizzato.
- Algoritmi e strategie di ricerca.
- Rappresentazione delle azioni e del cambiamento. Cenni sulla pianificazione.
-
Forme di ragionamento basato su assunzioni - cenni.
-
Apprendimento automatico - cenni.
Torna alla pagina iniziale