Ricerca di contatti, progetti,
corsi e pubblicazioni

Model checking e monitoring di norme definite da istituzioni interdipendenti

Persone

 

Colombetti M.

(Responsabile)

Abstract

Questo progetto si propone come obiettivo la conclusione di alcune direzioni di ricerca che sono state parzialmente esplorate durante il progetto "Artificial institutions: specification and verification of open distributed interaction frameworks", un progetto finanziato dal Fondo Nazionale durante gli anni 2005-2007. In particolare, ci proponiamo di estendere FIEVeL, un linguaggio per modellizzare istituzioni, come segue:1) Introdurremo nuovi construtti che possano essere tradotti in automi capaci di determinare quando un agente soddisfa o viola una norma caratterizzata da complesse relazioni temporali. In questo modo, sarà possibile classificare automaticamente lo stato di un´istituzione come legale o illegale.2) Definiremo una traduzione automatica dei costrutti di FIEVeL in Prolog, al fine di ottenere un sistema capace di determinare quale è lo stato di un´istituzione e di determinare se si siano verificate violazioni Inoltre, ci proponiamo di integrare un sistema di monitoring di questo tipo con Jade e di analizzare come agenti software possano ragionare sulle norme per decidere quali azioni intraprendere.

Informazioni aggiuntive

Data d'inizio
01.09.2007
Data di fine
01.03.2008
Durata
6 Mesi
Enti finanziatori
Stato
Concluso
Categoria
Competitive Foundations / Hasler Foundation

Pubblicazioni