Diagnosi Distribuita di Time Aware Conditional Commitment in Sistemi Multiagente

In questa tesi si propone una procedura di diagnosi che gli agenti che popolano un sistema MAS possono usare per individuare punto di origine e cause di eventuali eccezioni nell'esecuzione di contratti. I contratti sono espressi attraverso conditional social commitment associati a due tipologie di vincoli temporali; il primo è correlato all'eventuale detachment dell'obbligo, mentre il secondo definisce in maniera assoluta la deadline entro la quale la proprietà-conseguente del commitment deve essere in ogni caso realizzata. Tali commitment saranno codificati attraverso un formalismo sviluppato in questa tesi basato sul Reactive Event Calculus, detto dei Time-Aware Conditional Commitment (T.A.C.C.). La procedura funziona ragionando sulle relazioni inter-commitment significative e sui pattern di T.A.C.C. costruibili su di esse, basandosi su un approccio distribuito che vede i diversi agenti che popolano il sistema scambiarsi una serie di “richieste di diagnosi” fino a che uno di essi non individuerà, analizzando i T.A.C.C. di cui è a conoscenza, una delle possibili anomalie che possono aver causato l'eccezione. In particolare, vengono considerate tre possibilità: misalignment, dove due agenti inferiscono in maniera differente il medesimo commitment a causa di osservazioni disallineate sull'ambiente, misbehaviour, dove la situazione anomala relativa ad un T.A.C.C. può essere fatta risalire alla deliberata azione o inazione di uno degli agenti coinvolti (debitore o creditore), e errore nella definizione dei protocolli di interazione, dove l'origine dell'anomalia ha radici nella fase di negoziazione del contratto tra i due agenti. Si fornisce quindi un'analisi esaustiva dei casi diagnostici su cui la procedura può imbattersi, descrivendo in maniera dichiarativa il suo comportamento in ognuno di essi. Il funzionamento della procedura verrà infine illustrato attraverso un fantasioso esempio di sistema multiagente e alcuni case studies centrati su di esso.