Universita’di Torino

Corso di Laurea in Informatica

Programma del corso A.A. 2001/2002

Docente: Pietro Torasso

A partire da questo anno accademico il corso e’mutuato dal corso di "Sistemi Intelligenti" attovo per la laurea triennale in Informatica – Indirizzo STISI. Pertanto, gli studenti del vecchio ordinamento che hanno nel loro piano di studio il corso di "Intelligenza Artificiale : Risoluzione di Problemi" dovranno sostenere l’esame con il programma di "Sistemi Intelligenti" negli appelli esplicitamente previsti, prenotandosi tramite il sistema di prenotazione via WEB.

Per comodita’ degli studenti nel seguito si riportano le informazioni relative al contenuto del corso di "Sistemi Intelligenti".

Programma del corso A.A. 2001/2002

Docente: Pietro Torasso

Il corso si propone di fornire una introduzione generale alle problematiche nel settore dell’Intelligenza Artificiale con particolare riguardo alle metodologie di risoluzione automatica di problemi.

Oltre alle strategie classiche di risoluzione di problemi, (compresi gli elementi essenziali sui meccanismi a vincoli) il corso fornisce una introduzione ai formalismi di rappresentazione della conoscenza con particolare riguardo ai formalismi logici, alle regole di produzione e ai formalismi di rappresentazione strutturati (frame).

Le diverse tematiche trovano un inquadramento nella nozione di agente intelligente. In quest' ottica il corso si chiude fornendo una descrizone introduttiva dei meccanismi di apprendimento automatico a partire da esempi.

.

Data la natura introduttiva del corso e la durata del corso, si precisa che molte problematiche del settore dell’Intelligenza Artificiale non sono discusse nell’ambito del corso in questione, ma trovano collocazione nei corsi previsti per la laurea quinquennale, in particolare nel corso di "Intelligenza Artificiale: meccanismi di ragionamento" mentre una sperimentazione pratica delle tematiche toccate in questo corso trova la sua collocazione nel corso "Intelligenza Artificiale: Linguaggi ed ambienti (sperimentazioni)"

Esame orale: Individuale

Per ogni argomento viene fornita la lista dei testi da consultare con attenzione o da leggere (se esiste specificazione in questo senso).

Russel Cap.1.1, , 1.3 (leggere), 1.4(leggere), cap.2

Rich cap. 1.1 (leggere), 1.2(leggere), 1.5 (leggere)

Generalita Rich cap. 2 (TUTTO)

Russel 3.1, 3.2 , 3.4, 3.5

Spazio degli stati Russel 4.1 , 4.2 (leggere), 4.3(esclusa SMA*), Rich 3.3.1, 3.3.2

Giochi: Russel 5.1 5.2, 5.3 (leggere), 5.4

Soddisfacimento di vincoli: Rich 3.5, 14.3, Russel 3.7

Russel 6.3 (leggere) 6.4, 7.1, 8.1 (leggere), 8.2 (leggere) 8.3 (leggere),

9.1, 9.2, 9.3, 9.4

Rich 6.1 (leggere), 6.2 (leggere), 6.3, 6.4.1(leggere) 6.4.2 (leggere), 6.4.4., 6.5,

Russel 10.5

Rich cap 9.1 (eccetto 9.1.4) , 9.2

Russel 10.6

Russel 18.1, 18.2 , 18.3

I testi a cui si fa riferimento sono:

• Rich, Knight: Artificial Intelligence, second Edition, McGraw Hill, 1991 (esiste versione italiana)
• Russel, Norvig: "Artificial Intelligence: a modern approach" Prentice Hall, 1995. Esiste anche versione italiana dal titolo "Intelligenza Artificiale un approccio moderno", Prentice Hall, Utet, 1998

I testi sono consultabili presso la Biblioteca del Dipartimento di Informatica.