Model checking e monitoring di norme definite da istituzioni interdipendenti

Persone

Responsabili

Facoltà

Unità organizzative

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

Aree di ricerca

  • P176 Artificial intelligence

Pubblicazioni

TOP