Intelligenza Artificiale I
2007-2008

Docente: Marta Cialdea



Avviso importante: Prenotazione esami DM 509/99

Tutti gli studenti iscritti all'Ordinamento DM 509/99 per prenotarsi agli esami dovranno in tempi brevi seguire la seguente procedura:

  1. Inviare una email all'indirizzo: didattica.informatica@ing.uniroma3.it
  2. Scrivere come oggetto: Richiesta appello D.M. 509/99
  3. Indicare gli esami da sostenere nella relativa sessione di esami
Successivamente potranno prenotarsi agli esami sull'apposito sito.


A partire dall'anno accademico 2008-2009 il corso di Intelligenza Artificiale I è spento. Gli studenti che lo abbiano già nel proprio piano di studi potranno sostenere l'esame secondo il programma degli anni precedenti.

Considerando che il programma è in parte contenuto in quello del corso di Logica e Sistemi Informatici 270/04, chi vuole può approfittare delle lezioni di tale corso per preparare l'esame. Si tenga conto, ovviamente, che soltanto una parte delle lezioni sono di interesse per gli studenti di Intelligenza Artificiale I.

Gli studenti che seguiranno le lezioni del corso di Logica e Sistemi Informatici possono scegliere di modificare leggermente il programma degli anni passati, inserendo alcuni argomenti supplementari di logica (contattare il docente per ulteriori spiegazioni).



Programma delle lezioni e testi di riferimento

Materiale didattico

(per visualizzare i documenti POSTSCRIPT anche da sistemi Windows, è sufficiente scaricare Ghostscript e GSview.)

Collegamenti utili:

Artificial Intelligence: a Modern Approach: contiene il codice Lisp, C++, Prolog e una versione preliminare del codice Java degli algoritmi fondamentali presentati nel testo.

Un corso on line con argomenti di logica

SWI-Prolog: un compilatore Prolog (Free Software)

Logica e informatica: alcuni indirizzi utili

Intelligenza artificiale: alcuni indirizzi utili

Associazione Italiana per l'Intelligenza Artificiale (AIxIA)