Home | Search | Help  
Home PageUniversitą di Genova

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

Trovate molti esercizi svolti ed alcuni testi dei compitini alle pagine degli anni passati:
A.A. 1998 - 1999
A.A. 1999 - 2000
A.A. 2000 - 2001
A.A. 2001 - 2002
A.A. 2002 - 2003


Manuali di Prolog

Andate alla Home Page di SICStus Prolog per informazioni su SICStus

Manuali di SICStus Prolog disponibili su Web

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

Back to Viviana's home page