Docente: Mario Ornaghi , DSI, Università di Milano ornaghi@dsi.unimi.it
Link Orario: Ricevimento studenti: Libri di testo:
verranno usate sezioni di questi libri di testo e articoli da questi siti:
Software Scarica l'interprete Prolog SWI:
(Linux)
(Win) 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).
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. 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.
Modifiche al seguente orario potranno essere concordate con gli studenti nel corso delle prime lezioni,
in base alle esigenze dei frequentanti e compatibilmente con la disponibilità di aule.
Esame
Calendario e prove in itinere
Lezioni e altre presentazioni
Avvisi in ordine cronologico inverso
Breve programma del corso