Architettura Neuro-Simbolica Convalida i Requisiti degli LLM con Valutazione a Tre Valori

Una recente pubblicazione su arXiv presenta un framework multi-agente neuro-simbolico che utilizza un sistema a tre valori (Verità, Indeterminatezza, Falsità) per valutare e verificare i requisiti prodotti dai Large Language Models. Questo metodo implementa il reticolo OOMRAM (Object-Oriented Method for Requirements Authoring and Management), con l'LLM che funge da euristica non deterministica per navigare il reticolo e un validatore simbolico deterministico che mantiene i vincoli strutturali. L'obiettivo principale è eliminare le incongruenze logiche e garantire la conformità strutturale nei requisiti generati dagli LLM, misurando anche l'incertezza nelle decisioni di pre-convalida. I risultati sono dettagliati in arXiv:2607.26220.