AI*IA 2004 Workshop "Agenti & Vincoli" (A&V 2004)

Workshop Agenti e Vincoli: Modelli e Tecnologie per Dominare la Complessità AI*IA 2004 Perugia , 17 Settembre 2004 Organizzatori: Marco Cadoli Università di Roma "La Sapienza" Michela Milano Università di Bologna Andrea Omicini Università di Bologna a Cesena 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ù articolatie 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 concettodi "invariante computazionale" che consente una rappresentazione dichiarativa e compatta di generiche relazione tra entità computazionali, e rendono 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 costruireun ponte tra le diverse comunità scientifiche che insistono intorno ad agenti e vincoli, proponendo un forum dove i ricercatori e i tecnologipossano 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. Si invita a presentare lavori di natura sia metodologica che applicativa in grado di mostrare le effettive utilizzazioni ed applicabilità dei metodi e degli strumenti dell'Intelligenza Artificiale. In particolare, sono graditi lavori che attengono ai seguenti argomenti (la lista non è esaustiva): ARGOMENTI DI INTERESSE · 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 proprietà in MAS · Integrazione di metodologie a vincoli e ad agenti · Sistemi a vincoli distribuiti · Linguaggi a vincoli per la comunicazione e 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 URL: http://www.dipmat.unipg.it/aiia04/WorkshopAV.htm