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: 30 settembre 2014
- Fine presunta corso: 16 gennaio 2014 (data provvisoria)
- Prima prova: mercoledì 3 dicembre 2014 ore 15.15 sala Lauree
- Seconda prova: 20 gennaio 2015 (data provvisoria)
NB: L'ultima lezione di dicembre sarà dedicata 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: 27 gennaio. Sono stati pubblicati i risultati finali delle prove in itinere. Venerdì dalle 11.30 alle 12.30 sarà possibile prendere visione della valutazione della seconda prova.
- Data avviso: 20 gennaio. La seconda prova in itinere avrà luogo
venerdì 23 gennaio alle ore 14 in aula beta. Chi desidera sostenere
anche una parte di "recupero" è pregato di inviarmi un messaggio
entro domani, 21 gennaio. Sono stati corretti alcuni errori e dimenticanze
sulla dispensa in rete.
-
Data avviso: 19 gennaio. La lezione di oggi sarà in sala riunioni (I piano, Via Comelico) alle 14.30. Viste alcune richieste di rinvio per sovrapposizione con altri esami, si concorderà una eventuale modifica della data
della seconda prova in itinere prevista per domani.
- Data avviso: 13 gennaio 2015. Pubblicato framework per
il progetto "agente esploratore" con la traccia interattiva di
debugging (file Esploratore.zip).
- Data avviso: 12 gennaio 2015. La lezione di domani sarà dedicata
alla preparazione della seconda prova in itinere, prevista per il 20.
In rete trovate la versione aggiornata della dispensa con la parte
di programma della seconda prova e la documentazione del framework
preparato per il progetto "agente esploratore". Il framework
completato della parte di traccia per il debugging sarà
caricato entro domani in mattinata.
- Data avviso: 27 novembre 2014. Pubblicate alcune soluzioni esercizi.
Altre saranno pubblicate il 28 o 29 novembre.
- Data avviso: 19 novembre 2014. La prima prova in itinere si svolgerà mercoledì 3 dicembre alle ore 15 in sala lauree. Sono stati
pubblicati nuovi esercizi (lezioni.zip e Lezione 10.1.pdf).
Le lezioni di venerdì
e martedì saranno dedicate alla preparazione della prova in itinere.
-
Data avviso: 2 ottobre 2014. Le lezioni ed esercitazioni si svolgeranno in aula omega.
- Data avviso: 25 settembre 2014. Le lezioni avranno inizio martedì in Auletta 6 (Via Comelico 39); nella prima lezione si potranno concordare con i frequentanti variazioni d'orario, nel caso di sovrapposizioni con altri corsi.
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: DLV e 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