Laurea Specialistica in Sistemi
per il Trattamento
dell'Informazione
Modulo 1. Sistemi multiagente
Anno accademico: 2004-2005
Docente: Alberto
MARTELLI
Programma
Il programma a grandi linee è il seguente:
- Che cosa è un agente
- Agenti intelligenti
- Agenti BDI
- Logiche per sistemi ad agenti
- Sistemi multiagente: cooperazione e negoziazione
- Linguaggi di comunicazione per agenti
Programma dettagliato
Il programma dettagliato verrà definito durante lo
svolgimento del corso.
- Introduzione agli agenti.
Proprietà. Diverse visioni (testo Cap. 1)
- Modello generale di agente.
Proprietà dell'ambiente. Agenti intelligenti. Agenti e oggetti.
Agenti come sistemi intenzionali. Architettura astratta di agenti:
agenti reattivi e con stato. Funzioni di utilità (testo Cap. 2)
- Agenti deduttivi. (testo
Cap. 3.1)
- Practical reasoning agents.
Cenni su pianificazione. Implementazione di practical reasoning agents (testo
Cap. 4.1 - 4.3).
- Logiche per sistemi multiagente:
logica modale, dinamica, temporale. Logiche per knowledge e belief (testo Cap. 12 e
slide su Fondamenti)
- Modelli formali di agenti:
la logica di Cohen e Levesque (testo 12.7 e slide), il modello BDI di
Rao e
Georgeff (slide)
- Linguaggi per agenti: PRS
(testo Cap. 4.5 e slide), Agent Oriented Programming (testo Cap. 3.2 e
slide),
Concurrent METATEM (testo Cap. 3.3 e slide)
- Agenti reattivi e ibridi:
la Subsumption Architecture di Brooks, il Mars explorer di Steels,
architetture ibride, Touring Machines (testo Cap. 5)
- Comunicazione fra agenti:
Speech acts come azioni, Agent Communication Languages (ACL): KQML e
FIPA (testo Cap. 8, slide del testo con aggiunte)
- Multiagent Systems
(articolo "Multiagent Systems and Societies of Agents" di M.N. Huhns e
L.M. Stephens)
- Interazioni fra agenti:
utilità e preferenze, interazioni fra agenti, strategie e
equilibri di Nash, il dilemma del prigioniero, altre interazioni (testo
Cap. 6)
- Come raggiungere un accordo:
Protocolli e strategie. Aste. Negoziazione in Task Oriented Domains
(testo Cap. 7.1, 7.2, 7.3.1)
Modalità d'esame
L’esame per questo modulo consiste in una prova orale sugli argomenti
trattati nel corso oppure in un seminario su un argomento riguardante
il corso. La seconda modalità può essere utilizzata solo
da chi sostiene l’esame nella prima sessione (entro il 15/4/05).
Il seminario consiste in una presentazione di 20-30 minuti con slide
Powerpoint e può essere tenuto da uno o due studenti. Nel materiale
del corso è fornito un elenco di articoli suggeriti, ma gli
studenti sono liberi di proporne altri. In ogni caso l’argomento deve
essere concordato con il docente.
Libro di testo
Michael Wooldridge
An Introduction to MultiAgent Systems
John Wiley & Sons, 2002
Materiale
del corso
|