Stefania COSTANTINI,
Università dell'Aquila
Answer set Programming
È disponibile il
materiale relativo
al tutorial.
Agostino DOVIER,
Università di Udine
Il problema del Protein Folding e i relativi approcci basati
su programmazione con vincoli.
È disponibile il
materiale relativo
al tutorial, compresi i
lucidi
della presentazione.
Paolo TORRONI, DEIS Bologna
Introduzione ai sistemi multi-agente
basati su logica computazionale.
Sommario:
Negli ultimi anni c'è stata una notevole crescita di
interesse verso un paradigma computazionale noto sotto
il nome di 'sistemi multi-agente'. Esso è l'oggetto di
studio di una nuova area di ricerca che riunisce ed
integra certi aspetti dell'Intelligenza Artificiale con
altri tipici dei Sistemi Distribuiti, con l'idea di
sviluppare modelli e architetture per agenti intelligenti.
Questo breve tutorial vuole essere un'introduzione
ai sistemi multi-agente intelligenti, dal punto di vista
dei modelli formali, e del ruolo importante che ha avuto
e sta avendo la logica computazionale nell'affrontare
problematiche di vario tipo, dalla rappresentazione
della conoscenza ai meccanismi di ragionamento, dalla
semantica delle interazioni tra gli agenti ai modelli
operazionali.
Sono disponibili i
lucidi
della presentazione.
|