Single-minded intention commitment strategy in ALAN

The aim of this thesis is to introduce the concept of commitment in ALAN, an agent-object oriented programming language that fuses the object oriented and the agent oriented programming paradignms. In order to achieve such result first the actual intention commitment strategy embodied in the languages is analyzed, then a set of modification to both the language model and to its operational semantics is proposed and applied to the language.The thesis also introduces a new parallel architecture for the agents. The proposed architecture not only permits the implementation of the single-minded intention commitment strategy taking into account and limiting possible performance degradation of the system, but also allows agents to execute concurrently their sensing, thinking and acting phases, leading to more reactive and capable agents.

L'obiettivo di questa tesi è quello di introdurre il concetto di obbligazione in ALAN, un linguaggio di programmazione orientato agli agenti-oggetti che permette di fondere il paradigma di programmazione orientato agli oggetti con quello orientato agli agenti.In particolare l'attenzione è rivolta all'introduzione di una strategia di obbligazione "single-minded" per le intenzioni che permetterà ad un agente modellato in ALAN di poter reagire in maniera significativa ai cambiamenti che avvengono nel suo ambiente.Per poter ottenere tale risultato prima di tutto viene analizzata la strategia di obbligazione delle intenzioni attualmente adottata nel linguaggio, dopodichè un insieme di modifiche da apportare sia al modello che alla semnatica operazionale del linguaggio vengono proposte ed applicate allo stesso.Nella tesi viene introdotta anche una nuova architettura parallela per gli agenti. L'architettura proposta non solo permette l'implementazione della strategia di obbligazione "single-minded" delle intenzioni tenendo in considerazione e limitando il possibile degrado delle prestazioni del sistema, ma permette anche agli agenti di esguire in maniera concorrente le loro fasi di percezione, di ragionamento e di attuazione, conducendo alla creazione di agenti più capaci e reattivi.