Intelligenza Artificiale - a.a. 2003-2004
Parte svolta da Viviana Mascardi

Informazioni e materiale sul corso

Programma del corso e materiale

Programma per calcolo dei voti

Programma Prolog per il calcolo del voto finale di un compitino in cui ci sono DUE gruppi di domande e DUE gruppi di esercizi.
Codice sicstus

Lezione 3/11/2003

Lucidi della lezione (file postscript)
Articolo ``A roadmap to agent research and development'' (file pdf). La lezione ha fatto riferimento alle prime due sezioni
Articolo ``Intelligent agents: theory and practice'' (file pdf). La lezione ha fatto riferimento alle sezioni 1, 2.a, 2.b, 3 (introduzione), 3.a (introduzione alla sezione), 3.b (Sumsumption Architecture di Brooks), 3.c (TouringMachines di Ferguson)

Lezione 4/11/2003

Lucidi della lezione (file pdf)

Primo compitino 10/11/2003

Testo (file postscript gzippato)
Prospetto voti
Criteri di valutazione

Lezione 11/11/2003

Lucidi della lezione (file postscript)
``Modelling Distributed Industrial Processes in a MAS Framework'', di Brazier, Dunin-Keplicz, Jennings, Treur, 1995
``Agents that reduce work and Information Overload'', di Pattie Maes, 1994
``Letizia: an agent that assists web browsing'', di H. Lieberman, 1995
``Entertaining Agents: A sociological case Study'', di L. Foner, 1997
``An Agent-based approach to health-care management'', di Huang, Jennings, Fox, 1995
``A perspective on Software Agents Research'', di Nwana e Ndumu, 1999

Lezione 17/11/2003

Lucidi della lezione (file ps)
Lucidi della lezione (file ps 4 facciate per foglio)
``Logic-Based Specification Languages for Intelligent Software Agents'' di Mascardi, Martelli, Sterling, 2003 (file ps 2 facciate per foglio)

Lezione 18/11/2003

Lucidi della lezione (file ps)
Lucidi della lezione (file ps 4 facciate per foglio)

Lezione 2/12/2003

Lucidi della lezione (file pdf)

Secondo compitino 9/12/2003

Testo (file postscript gzippato)
Prospetto voti
Criteri di valutazione

Lezione 26/1/2004

Lucidi della lezione (file pdf)
Esercizio su problem solving (codice sicstus prolog)
Metainterprete 1 (codice sicstus prolog)
Metainterprete 2 (codice sicstus prolog)

Terzo compitino 29/1/2004

Testo (file postscript gzippato)
Prospetto voti
Criteri di valutazione

Compitino di recupero (primo e terzo) 20/4/2004

Prospetto voti

Prospetto voti finali

Prospetto voti finali

Esercitazione

Testo (file postscript gzippato)

Esercizi svolti

Manuali di Prolog

Andate alla Home Page di SICStus Prolog per informazioni su SICStus

Manuali di SICStus Prolog disponibili su Web

• HTML: single file (1.6MB), gzipped tar-file (396kB), zip-file (396kB).
• PDF: plain (2.5MB), gzipped tar-file (1.5MB), zip-file (1.5MB).
• Info: gzipped tar-file (381kB), zip-file (405kB), separate files.

Andate alla Home Page di ECLiPSe per vedere esempi di utilizzo del linguaggio

Back to Viviana's home page