Workshop “Agenti & Vincoli”
Perugia, Italy, 17/09/2004
La complessità dei sistemi artificiali cresce a dismisura, mentre le soluzioni teoriche e tecnologiche, sia dentro sia fuori dell'informatica e della IA, stentano a tenere il passo, tanto in termini scientifici, quanto (e forse più) in termini ingegneristici.
Due tra gli approcci che con maggiore successo stanno proponendosi come veicoli di modelli e tecnologie per costruire sistemi software complessi sono quelli ad agenti e quelli a vincoli. Da una parte, le tecnologie ad agenti forniscono strumenti concettuali e pratici per modellare e costruire sistemi software sempre più articolati e potenti, per esempio con astrazioni espressive come agenti, società di agenti e ambiente, con le infrastrutture distribuite ad agenti, o con l'emergere delle tecniche e metodologie dell'Agent-Oriented Software Engineering. Dall'altra, i linguaggi e le tecnologie a vincoli realizzano un concetto di “invariante computazionale” che consente una rappresentazione dichiarativa e compatta di generiche relazione tra entità computazionali, e rende possibili, tra le molte cose, la verifica formale di proprietà, e la realizzazione di tecniche di propagazione, consistenza ed entailment.
I non troppo frequenti tentativi di trovare una sintesi tra le due aree si sono fino a qui spesso arenati su visioni limitate delle potenzialità dei due approcci. Lo scopo del workshop è pertanto quello di costruire un ponte tra le diverse comunità scientifiche che insistono intorno ad agenti e vincoli, proponendo un forum dove i ricercatori e i tecnologi possano trovare finalmente un'occasione di incontro stimolante e proficuo. A tale scopo, nell'ambito di questo incontro si adotteranno come riferimenti nozioni di agente e di vincolo le più ampie possibile, proprio per assicurare la più larga partecipazione scientifica, e promuovere un interscambio aperto e fertile.
topics of interest
Pianificazione e vincoli • Tecniche di ragionamento con vincoli • Architetture ad agenti e vincoli • Vincoli sociali: infrastrutture e istituzioni elettroniche • Regola, norma e legge nei MAS • Modelli di coordinazione per MAS e invarianti di interazione • Integrazione di sistemi a vincoli eterogenei • Fondamenti teorici e modelli formali per agenti e vincoli • Verifiche di proprieta' in MAS • Integrazione di metodologie a vincoli e ad agenti • Sistemi a vincoli distribuiti • Linguaggi a vincoli per la comunicazione e la cooperazione fra agenti • Linguaggi a vincoli per la rappresentazione della conoscenza • Vincoli e invarianti per la negoziazione • L'ambiente come sorgente di vincoli e invarianti per MAS • Vincoli per la sicurezza e l'organizzazione dei MAS • Fiducia e vincoli nei MAS
hosting event
AI*IA 2004
special issue
works as
origin event for publication
source event for
Special Issue “Agenti e vincoli: modelli, tecnologie e metodi per dominare la complessità” (special issue, 2005) — Marco Cadoli, Michela Milano, Andrea Omicini