Questa pagina è organizzata in 3 sezioni. Puoi scegliere la sezione desiderata o attendere la prima. Le sezioni sono.
Responsabile del progetto all'USI: Marco Colombetti
Data di inizio: 1 Settembre 2007
Durata: 6 mesi
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.
Stai visitando il contenuto Descrizione del progetto dell'argomento Personale USI. Sei arrivato da.