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: 4 marzo 2013
- Fine presunta corso: 11 giugno 2013 (data provvisoria)
- Prima prova: 29 aprile (data provvisoria)
- Seconda prova: 13 giugno (data provvisoria)
NB: la prima prove in itinere è alla fine delle vacanze di Pasqua,
per interferire il meno possibile con lo svolgimento delle lezioni. La prima
settimana di giugno
sarà dedicata alla preparazione del progetto.
Torna alla pagina iniziale
Lezioni e altre presentazioni
Torna alla pagina iniziale
Avvisi in ordine cronologico inverso
- Data avviso: 17 settembre. L'appello di Intelligenza Artificiale I del
18 settembre si svolgerà in auletta 6 alle ore 8.30.
- Data avviso: 11 luglio. L'appello d'esame di Intelligenza Artificiale I
del mese di luglio sarà il giorno 15 alle ore 9 in auletta 6.
- Data avviso: 23 giugno. L'esame di Intelligenza Artificiale I per chi deve sostenere lo scritto o verbalizzare sarà domani 24 alle ore 9.30 in
auletta 6.
- Data avviso: 19 giugno. Pubblicati i risultati finali delle prove in itinere.
- Data avviso: 12 giugno. Confermata l'ultima prova in itinere per
domani 13 giugno alle ore 14 in auletta 5.
- Data avviso: 21 maggio. La lezione di laboratorio sarà domani
22 maggio alle ore 14.30
-
Data avviso: 26 aprile. La prima prova in itinere si terrà il 29 aprile dalle 11 alle 14 in
auletta 5.
-
Data avviso: 11 aprile. Pubblicato il materiale della prima esercitazione di Prolog e la versione aggiornata di DDNT.
Si ricorda che la prossima lezione sarà dedicata alla preparazione della prova in itinere del 29 aprile.
-
Data avviso: 8 aprile. Sono state pubblicate le slides proiettate a lezione
in preparazione della prova in itinere del 29 aprile. Consultare anche
l'Appendice I delle dispense. La lezione del 15 aprile sarà interamente
dedicata alla preparazione della prova in itinere. Invece la lezione di
laboratorio dell'11 aprile sarà utilizzata per completare le esercitazioni
su DDNT e iniziare le esercitazini su Prolog.
-
La lezione di domani, 11 marzo, è confermata; causa visita medica potrebbe
iniziare con qualche ritardo.
Data avviso: 10 marzo.
-
Pubblicata la dispensa per la prima parte del corso (usare "studente" come userid e password per accedere al materiale).
Coincide con quella dello scorso anno, ma potrebbe subire alcune piccole modifiche.
Data avviso: 3 marzo.
-
Nella lezione del 4 marzo si potranno concordare eventuali modifiche d'orario.
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