A formal approach to the specification of hierarchical multi-agent systems

Abstract

Este trabajo presenta una aproximación formal para crear especificaciones de sistemas de agentes jerarquizados. El funcionamiento permite una automatización de las tareas, a las que el usuario del sistema accederá a través de peticiones. De manera general, lo que se hace es definir los elementos básicos del sistema, los agentes atómicos que son los que están a cargo de realizar las transformaciones de los recursos,y el sistema recompondrá estos últimos para crear agentes complejos, que actúan como intermediarios entre los agentes atómicos 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.