A formal approach to the specification of hierarchical multi-agent systems
Carlos Molinero Brizuela · 2009
Este trabajo presenta una aproximacion formal para crear especificaciones de sistemas de agentes jerarquizados. El funcionamiento permite una automatizacion de las tareas, a las que el usuario del sistema accedera a traves de peticiones. De manera general, lo que se hace es definir los elementos basicos del sistema, los agentes atomicos que son los que estan a cargo de realizar las transformaciones de los recursos,y el sistema recompondra estos ultimos para crear agentes complejos, que actuan como intermediarios entre los agentes atomicos y el usuario. Los agentes se localizan en una estructura conforme el sistema. [ABSTRACT] This Master´s Thesis provides a formal approach to create specifications of hierarchical systems of agents. The inner working of the system allows for an automatization of the tasks, that will be accessed by the user through the use of petitions. We will first define the actual transformations of resources, and the system will recompose the latter to create complez agents, that will act as mediators in between the hierarchical stratificacion. The cells conform a tree structure, and this structure conforms the system.