Model checking e monitoring di norme definite da istituzioni interdipendenti

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.