logo móvil
Contáctanos

RV4JaCa-Hacia la Verificación en Tiempo de Ejecución de Sistemas Multi-Agente y Aplicaciones Robóticas

Autores: Engelmann, Debora C.; Ferrando, Angelo; Panisson, Alison R.; Ancona, Davide; Bordini, Rafael H.; Mascardi, Viviana

Idioma: Inglés

Editor: MDPI

Año: 2023

Descargar PDF

Acceso abierto

Artículo científico
2023

RV4JaCa-Hacia la Verificación en Tiempo de Ejecución de Sistemas Multi-Agente y Aplicaciones Robóticas


Categoría

Ingeniería y Tecnología

Subcategoría

Ingeniería Robótica

Palabras clave

Verificación
Sistemas multiagente
Seguridad
Inteligencia híbrida
Comunicación
Control del diálogo

Licencia

CC BY-SA – Atribución – Compartir Igual

Consultas: 25

Citaciones: Sin citaciones


Descripción
Este documento presenta un enfoque de Verificación en Tiempo de Ejecución (RV) para Sistemas Multi-Agente (MAS) utilizando el marco JaCaMo. Nuestro objetivo es aportar una capa de seguridad al MAS. Esto se logra teniendo en cuenta posibles usos críticos para la seguridad del MAS, como las aplicaciones robóticas. Esta capa es capaz de controlar eventos durante la ejecución del sistema sin necesidad de una implementación específica en el comportamiento de cada agente para reconocer los eventos. En este documento, nos centramos principalmente en el MAS cuando se utiliza en el contexto de la inteligencia híbrida. Este uso requiere comunicación entre agentes de software y seres humanos. En algunos casos, la comunicación se lleva a cabo a través de diálogos en lenguaje natural. Sin embargo, este tipo de comunicación nos lleva a una preocupación relacionada con el control del flujo del diálogo para que los agentes puedan prevenir cualquier cambio en el tema de discusión que pudiera afectar su razonamiento. Esto último puede ser un problema y socavar el desarrollo de los agentes de software. En este documento, abordamos este problema proponiendo y demostrando la implementación de un marco que tiene como objetivo controlar el flujo del diálogo en un MAS; especialmente cuando el MAS se comunica con el usuario a través del lenguaje natural para ayudar en la toma de decisiones en un escenario de asignación de camas en un hospital.

Otros recursos que podrían interesarte

Temas Virtualpro