BISS 2004
Intelligent agents: modeling and
reasoning techniques
Alberto Martelli
mrt@di.unito.it
Dipartimento di Informatica
Università di Torino, Torino, Italy
Slides
Bibliography
(updated March 26, 2004)
Many more references can be found in
[9] [44] and [46]. [9] and [46] provide a comprehensive introduction to
multiagent systems and to intelligent agents. [44] presents a more
formal view of intelligent agents, by focusing mainly on the BDI model.
[42] contains a collection of contributions by leading experts, and
provides detailed coverage of the main topics of multiagent systems.
Modalità d'esame.
L'esame consiste nella stesura di una relazione che
approfondisca un argomento del corso basandosi su alcuni articoli. La
relazione può essere scritta in italiano, e deve essere
completata entro fine giugno 2004.
Per la scelta degli argomenti, si faccia riferimento alle slide del
corso (comprese quelle che non sono state presentate a lezione per
mancanza di tempo). Ad esempio:
Logiche per knowledge e belief
Ragionamento sulle azioni
Logiche BDI
Dalle teorie BDI ai linguaggi di programmazione per agenti
Approfondimento di uno dei linguaggi presentati nelle slide (PRS,
Golog, 3APL, ...) (o anche altri), oppure confronto fra diversi
linguaggi (ad esempio basati sulla logica computazionale)
Approccio mentale o sociale alla semantica delle azioni comunicative
Protocolli di comunicazione
Coordinazione e cooperazione in sistemi multiagente
Verifica di proprietà di agenti e sistemi multiagente
I principali riferimenti possono essere trovati nella bibliografia data
sopra o, meglio ancora, nei libri citati. In ogni caso suggerisco che
mi informiate dell'argomento su cui intendete fare la relazione,
indicandomi anche gli articoli che pensate di utilizzare o, se avete
difficoltà a individuarli o reperirli, chiedendo a me.