ArgRE: Argumentación formal para la resolución de conflictos en la negociación de requisitos multiagente

En el desarrollo de sistemas software complejos, uno de los mayores desafíos técnicos es gestionar requisitos contradictorios: una funcionalidad crítica de seguridad puede entrar en conflicto con plazos de entrega ajustados o con restricciones de presupuesto. Tradicionalmente, este equilibrio se resuelve mediante reuniones manuales o herramientas de trazabilidad básicas que dejan poca visibilidad sobre las decisiones adoptadas. Un enfoque emergente utiliza agentes IA especializados que representan diferentes objetivos del proyecto, pero su negociación suele basarse en heurísticas sin un mecanismo formal de aceptación o rechazo, lo que limita la auditabilidad en sectores regulados. La propuesta de integrar argumentación formal —inspirada en los marcos de Dung— permite modelar cada propuesta, crítica y refinamiento como un argumento, representar los conflictos como relaciones de ataque y calcular el conjunto aceptado bajo semánticas de grounded o preferred. Este proceso ofrece una trazabilidad granular, comparable a la que se exige en proyectos críticos de ciberseguridad o verificación de sistemas. En Q2BSTUDIO aplicamos estos principios en nuestras soluciones de ia para empresas, donde combinamos agentes IA con análisis estructurado para garantizar que cada requisito se evalúe de forma explícita y documentada. Además, nuestra experiencia en aplicaciones a medida nos permite incorporar estas técnicas de argumentación en pipelines que integran servicios cloud aws y azure, y herramientas de inteligencia de negocio como power bi, facilitando la conciliación entre objetivos de rendimiento, cumplimiento normativo y coste. La evaluación de estas arquitecturas muestra que la preservación semántica se mantiene en niveles altos —por encima del 94% en métricas como BERTScore— mientras que la cobertura de cumplimiento normativo se duplica frente a enfoques heurísticos. Este tipo de innovación es especialmente relevante cuando se despliegan soluciones de software a medida que requieren auditoría continua, como en entornos de ciberseguridad o automatización de procesos críticos. La capacidad de rastrear cada decisión a un argumento formal abre nuevas posibilidades para la ingeniería de requisitos en la era de los sistemas multiagente.