Técnicas para despliegue de arquitectura distribuida en sistemas expertos basados en reglas empleando el paradigma multi-agente
- Aguayo Canela, Francisco José
- Isaías García Rodríguez Director
Universidad de defensa: Universidad de León
Fecha de defensa: 08 de septiembre de 2017
- Emilio Santiago Corchado Rodríguez Presidente/a
- Héctor Alaiz Moretón Secretario
- José Luis Calvo-Rolle Vocal
Tipo: Tesis
Resumen
Esta tesis doctoral propone modelos y técnicas, y aporta herramientas, para facilitar la transformación o la creación de aplicaciones basadas en sistemas de producción, en entornos compuestos por agentes que se despliegan en una plataforma multiagente. Este objetivo principal requiere la integración de un motor de inferencia en cada uno de los agentes software que componen la aplicación, teniendo como premisa fundamental no modificar ni alterar la arquitectura intrínseca de la plataforma multiagente, ni las características que son propias de los agentes software, lo cual diferencia la presente investigación de otros trabajos similares. Como resultado de la investigación se han obtenido una serie de modelos: integración desacoplada entre agente y motor de inferencia, comunicación entre motor de inferencia y el agente conforme a las especificaciones de FIPA, y un mecanismo de migración de los agentes con motor de inferencia integrado. Se han diseñado y construido una serie de elementos y funcionalidades destinadas a facilitar el proceso de despliegue de estas aplicaciones distribuidas: se ha ideado e implementado un en-torno de desarrollo que extiende a cualquier agente de la aplicación con el fin de facilitar el diseño, análisis y depuración de sus comportamientos; se ha creado un mecanismo para modelar el conocimiento mediante diferentes shells que permiten interactuar con el código del agente y con el motor de inferencia tanto en tiempo de diseño como en tiempo de ejecución; y se han ampliado las capacidades del agente para interpretar, en tiempo de ejecución, comportamientos externalizados en archivos. Para comprobar la validez de los modelos, elementos y funcionalidades mencionados se han realizado una serie de pruebas de concepto que permiten afirmar que el conjunto de aportaciones realizadas en esta investigación ha logrado conseguir el objetivo principal de la misma.