|
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 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
DATE
IMPORTANTI E SOTTOMISSIONE
Le persone interessate a
presentare un lavoro possono inviare un sommario esteso (tra le 1500 e le
2500 parole) in lingua inglese o italiana, nel preferibilmente tramite
posta elettronica e possibilmente in formato PDF a uno dei
coordinatori dei due gruppi di lavoro nello stile previsto
per il convegno:
· Gruppo di Lavoro su Rappresentazione della
conoscenza e ragionamento automatico
http://www.dis.uniroma1.it/~rcra
Marco Cadoli
Dipartimento di
Informatica e Sistemistica,
Università di Roma "La
Sapienza"
Via Salaria, 113, 00198
ROMA
Tel: 06 49918326 - Fax: 06
85300849
E-mail:
cadoli@dis.uniroma1.it
Gruppo di Lavoro su Agenti e sistemi multiagente
http://mas-aiia.ingce.unibo.it/
Andrea Omicini
DEIS, Università degli
Studi di Bologna,
via Venezia 52, 40023
CESENA
Tel: 0547 3 39220 - Fax:
0547 3 39219
E-mail:
andrea.omicini@unibo.it
La versione definitiva
degli articoli accettati dovrà essere redatta secondo lo
stile previsto
per il convegno.
-
Sottomissione
:
15 Giugno 2004
-
Notifica
accettazione:
5 Luglio
2004
-
Versione
finale:
31 Luglio 2004
PUBBLICAZIONE LAVORI
Gli articoli accettati
saranno raccolti negli atti del convegno AI*IA04.
Le versioni riviste di
contributi selezionati verranno pubblicate su un numero speciale di “Intelligenza
Artificiale” la nuova rivista della AI*IA.
RIUNIONI
DEI GRUPPI DI LAVORO
A latere del meeting, si
terranno come di consueto le riunioni annuali dei gruppi di lavoro. I
coordinatori invitano tutti i membri dei gruppi e gli interessati a
partecipare attivamente.
COMITATO DI
PROGRAMMA
Paolo Bouquet - Università
di Trento
Francesco Buccafurri -
Università Mediterranea di Reggio Calabria
Monique Calisti
- Whitestein
Technologies
Zurigo
Cristiano Castelfranchi -
Università di Siena
Stefania Costantini -
Università degli Studi dell'Aquila
Giorgio Delzanno -
Università di Genova
Agostino Dovier -
Università di Udine
Enrico Pontelli - New
Mexico State University
Marco Gavanelli -
Università di Ferrara
Francesca Rossi -
Università di Padova
Rino Falcone - ISTC-CNR
Nicoletta Fornara -
Università della Svizzera Italiana
Viviana Mascardi -
Università di Genova
Rebecca Montanari -
Università di Bologna
Luigi Palopoli -
Università della Calabria
Maria Teresa Pazienza -
Università di Roma Tor Vergata
Paolo Petta - Istituto
Austriaco per l'Intelligenza Artificiale, Vienna
Agostino Poggi -
Università di Parma
Andrea Roli - Università "G.D'Annunzio",
Chieti
Alessandro Ricci -
Università di Bologna a Cesena
Giovanni Rimassa -
Whitestein
Technologies
Zurigo
Corrado Santoro -
Università di Catania
Giovanni Sartor - CIRSFID,
Università di Bologna
Andrea Schaerf -
Università di Udine
Carla Simone -
Università di Milano Bicocca
Mirko Viroli - Università
di Bologna a Cesena
Franco Zambonelli -
Università di Modena e Reggio Emilia
COMITATO
ORGANIZZATORE
Marco Cadoli
Università di
Roma "La Sapienza"
Michela Milano
Università
degli Studi di Bologna
Andrea Omicini
Università degli Studi di Bologna a Cesena
GRUPPI
DI LAVORO
·
RAPPRESENTAZIONE DELLA
CONOSCENZA E RAGIONAMENTO AUTOMATICO
(http://www.dis.uniroma1.it/~rcra)
· AGENTI
E SISTEMI MULTIAGENTE
(http://mas-aiia.ingce.unibo.it/) |
