Universita’di Torino

Corso di Laurea in Informatica

INTELLIGENZA ARTIFICIALE: RISOLUZIONE DI PROBLEMI

Programma del corso A.A. 2000/2001

Docente: Pietro Torasso

Scopo

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, il corso fornisce gli elementi essenziali sui meccanismi a vincoli e fornisce una descrizione delle regole di produzione e dei formalismi di rappresentazione strutturati (frame e linguaggi concettuali).

Il corso si conclude con alcuni cenni sulla rilevanza del particolare task nel determinare la struttura di risoluzione del problema e di rappresentazione della conoscenza.

Data la natura introduttiva del corso e la durata del corso, si precisa che i meccanismi di ragionamenato e le metodologie per apprendimento automatico sono trattate 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)"

Modalita’ d’esame

Esame orale Individuale

Programma dettagliato del Corso

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

Introduzione all’Intelligenza Artificiale e al concetto di Agente Intelligente

Ginsberg cap1

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

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

Risoluzione automatica di problemi

Generalita Rich cap. 2

Spazio degli stati Ginsberg 3.1, 3.2, 3.3; Rich cap. 3.1., 3.2 (leggere), 3.3.1, 3.3.2

Scomposizione in sottoproblemi Rich cap. 3.4

Giochi: Rich 12.1., 12.2

Soddisfacimento di vincoli: Rich 3.5, 14.3

Regole di produzione

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

Jackson cap. 8

Formalismi strutturati

Rich 5.1, 5.2

Rich cap. 9.2

R.Fikes. T. Kehler: "The role of frame-base representation in reasoning", Comm. ACM, Vol. 28, no.9, pp 904-920, 1985

R. Brachman, J.Schmolze: "An overview of KL-ONE knowledge representation system" in Readings in Artificial Intelligence as Databases, (studiare la prima parte, leggere da pag .219 in poi)

N.B la collacazione del volume nella biblioteca e’ L2984

Problem solving in dominii del mondo reale

Rich cap. 20.1, 20.2

Jackson cap. 1

I testi a cui si fa riferimento sono:

Rich, Knight: Artificial Intelligence, second Edition, McGraw Hill, 1991 (esiste versione italiana)

Jackson: An Introduction to Expert System, second edition, Addison Wesley, 1990 (esiste versione italiana)

Ginsberg: Essentials of Artificial Intelligence, Morgan Kaufmann, 1993

Russel, Norvig: "Intelligenza Artificiale un approccio moderno", Prentice Hall, Utet, 1998

I testi sono reperibili e consultabili presso la Biblioteca del Dipartimento di Informatica