Laurea Specialistica in Sistemi per il Trattamento dell'Informazione

Interazione Uomo-Macchina II: Agenti e Interazione Linguistica

Docente: Alberto MARTELLI

• Che cosa è un agente
• Agenti intelligenti
• Agenti BDI
• Logiche per sistemi ad agenti
• Sistemi multiagente: cooperazione e negoziazione
• Linguaggi di comunicazione per agenti

• 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 3.1)
• Practical reasoning agents. Cenni su pianificazione. Implementazione di practical reasoning agents (testo 4.1 - 4.3)
• Logiche per sistemi multiagente: logica modale, dinamica, temporale. Logiche per knowledge e belief (testo Cap. 12 e slides su Fondamenti)
• Modelli formali di agenti: la logica di Cohen e Levesque (testo 12.7), il modello BDI di Rao e Georgeff (slide)
• Linguaggi per agenti: PRS (testo 4.5 e slide), Agent Oriented Programming (testo 3.2 e slide), Concurrent METATEM (testo 3.3)
• 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, Ontologie (testo Cap. 8, slide tutorial su ACL,  documento su ACL FIPA), Protocolli FIPA (documenti FIPA)
• Cooperative distributed problem solving: Contract Net (testo 9.1 - 9.2)
• Lezioni del dott. Boella su "Cooperazione in sistemi multiagente" (slide)