Web page di Intelligenza artificiale @ unimi
Università degli Studi di Milano
Corso di
Studi in Informatica, A.A. 2005-2006
Intelligenza Artificiale 1
Indice
Informazioni generali
Docente: Mario Ornaghi,
DSI, Università di Milano
ornaghi@dsi.unimi.it
Supporto:
Link
Orario:
- mercoledì 10:30-12:30 Aula 5
- venerdì 12:30-14:30 Aula Beta
Ricevimento studenti:
- M. Ornaghi: Venerdì ore 11.30
- A. Provetti: su appuntamento.
Libri di testo: verranno usate sezioni di questi libri di testo
e articoli da questi siti:
Software
Scarica l'interprete Prolog SWI: (linux) (win)
Torna alla pagina iniziale
Calendario e prove in itinere
Inizio: 8 marzo 2006, fine: 9 giugno 2006
Prima prova: 21 aprile (a meno di spostamenti concordati)
Seconda prova a fine corso
Torna alla pagina iniziale
Lezioni e altre presentazioni
Torna alla pagina iniziale
Avvisi in ordine cronologico inverso
-
Scarica qui i risultati del II compitino.
-
Scarica qui i risultati del compitino di recupero.
Venerdì 30 giugno alle ore 14 si terrà il secondo compitino, in aula
da comunicarsi.
-
Lunedì 26 giugno alle ore 15 si terrà un incontro per:
correzione e risultati compitino di recupero e preparazione
ultimo compitino.
La data proposta per l'ultimo compitino è: giovedì 29.
Eventuali modifiche saranno concordate nell'incontro del 26.
-
Mercoledì 14 giungo alle ore 15 verranno concordati i progetti, il II compitino e l'eventuale
lezione di preparazione.
La prova di recupero sarà venerdì 16 giugno in aula Mac dalle 10.30 alle 13.30.
-
Venerdì 9 giugno verranno concordati: data compitiono recupero, data secondo compitino, assegnazione progetti.
-
Lunedì 5 giugno alle 14.30 ci sarà una esercitazione Prolog, di
preparazione al compitino di recupero. Finiremo anche la parte di
esercizio Prolog sulla verita' delle formule del primo ordine in una interpretazione.
-
Qui i risultati prima prova in itinere.
-
La lezione di venerdì 19 non si terrà causa sciopero mezzi.
-
La lezione di venerdì 19 non si terrà causa sciopero mezzi.
-
La correzione degli esercizi del compitino sarà venerdì 12 alle 13 in
laboratorio. Siccome pochi hanno svolto correttamente l'esercizio in Prolog,
è prevista una prova di recupero per la parte esercizi. Le lezioni del venerdì
saranno dedicate alla preparazione della prova e introdurranno, al contempo, una parte
di "teoria" utile allo scopo, ovvero si parlerà di "rappresentazione della conoscenza"
attraverso esempi/esercizi. Soprattutto coloro che hanno avuto dei problemi con l'esercizio
sono invitati a partecipare attivamente.
-
Il primo compitino sarà il 10 maggio in sala lauree
dalle 9.30 alle 12.30
-
Nella la lezione del 26 aprile verrà stabilita la data del
compitino e verranno illustrate domande ed esercizi tipo.
-
Nella la lezione del 12 aprile verranno consegnate delle dispense
sotto forma cartacea o su CD.
-
La lezione del 31 marzo si terrà in laboratorio, aula sigma.
-
La lezione del 17 marzo si terrà regolarmente, eventualmente mi sostituirà
Camillo Fiorentini.
-
Nella prima lezione si discuterà di eventuali modifiche
d'orario, in base alle esigenze dei frequentanti e alle disponibilità
di aule.
Breve programma del corso
-
Obiettivi del corso:
Fornire le basi dell'approccio logico all'intelligenza artificiale, con enfasi sul linguaggio di programmazione Prolog.
Le applicazioni studiate sono principalmente rivolte alla pianificazione automatica di agenti autonomi.
-
Programma del corso:
Agenti autonomi ("intelligenti") e sistemi per la rappresentazione e il ragionamento (RRS). Algoritmi e strategie di ricerca e loro implementazione in Prolog.
Rappresentazione della conoscenza. Conoscenza definita, negativa, disgiuntiva, vincoli di integrità . Rappresentazione delle azioni e del cambiamento.
Pianificazione. Forme di ragionamento basato su assunzioni - cenni. Apprendimento automatico - cenni.
Torna alla pagina iniziale