“Dagli oggetti agli agenti: simulazione e analisi formale di sistemi complessi” – 6th AI*IA/TABOO Joint Workshop “From Object to Agents”
Camerino, MC, Italy, 14/11/2005–16/11/2005
Il Gruppo di lavoro “Sistemi ad Agente e Multiagente” dell'Associazione Italiana per l'Intelligenza Artificiale (AI*IA) e l'Associazione Italiana Tecnologie Avanzate Basate su concetti Orientati ad Oggetti (TABOO) in collaborazione con il Dipartimento di Matematica e Informatica dell'Università degli Studi di Camerino, gruppo di lavoro “Ingegneria dei Sistemi Software Complessi”, organizzano un workshop sul tema Simulazione e Analisi Formale dei Sistemi Complessi che si terrà a Camerino dal 14 al 16 novembre 2005.
Le tecnologie degli agenti stanno assumendo un ruolo centrale non solo nel settore dell'intelligenza artificiale, ma anche in settori più tradizionali dell'informatica quali l'ingegneria del software e i linguaggi di programmazione, dove il concetto di agente viene considerato una naturale estensione di quello di oggetto. L'importanza di queste tecniche è dimostrata anche in ambito industriale dall'interesse per il loro utilizzo nella realizzazione di strumenti e applicazioni in molteplici aree. L'evento di quest'anno è dedicato a "Simulazione e Analisi Formale di Sistemi Complessi".
topics of interest
Si incoraggia la sottomissione di articoli riguardanti i seguenti temi di interesse:
Agenti adattativi, animati e con personalità • Agenti e oggetti • Agenti e tecnologie di supporto alla cooperazione • Agenti integrati con il Web • Agenti mobili • Agenti per il commercio elettronico • Apprendimento, pianificazione e ragionamento • Applicazioni ad agenti • Coordinamento, cooperazione e comunicazione • Fondamenti teorici, concettuali e ontologici • Infrastrutture hardware e software • Metodi formali e semiformali per MAS • Analisi, specifica e verifica orientata agli agenti • Simulazione orientata agli agenti • Ingegneria del software orientata agli agenti • Interfacce e interazione utenti- agenti • Linguaggi e architetture • Metodologie e strumenti di sviluppo Relazioni tra agenti e altre tecnologie di sviluppo • Sicurezza, fiducia e responsabilità • Standardizzazione e interoperabilità • Modelli sociali e simulazione orientata agli agenti • Modelli biologici e simulazione orientata agli agenti • Modelli di agenti e di ambienti di supporto alla simulazione • Strumenti e tecniche di simulazione di MAS • Applicazioni di MAS per la simulazione di dinamiche complesse
works as
origin event for publication
hosting event for talk
series event
WOA 2005 — Dagli oggetti agli agenti: simulazione e analisi formale di sistemi complessi (edited volume, 2005) — Flavio Corradini, Flavio De Paoli, Emanuela Merelli, Andrea Omicini
On the Role of Simulation in the Engineering of Self-Organising Systems: Detecting Abnormal Behaviour in MAS (WOA 2005, 15/11/2005) — Andrea Omicini (Luca Gardelli, Mirko Viroli, Andrea Omicini)