SCP-NL2TL: Predizione Conforme Selettiva per una Traduzione Affidabile da Linguaggio Naturale a Logica Temporale

Un recente preprint su arXiv, identificato come 2608.05439, presenta SCP-NL2TL, un framework progettato per tradurre selettivamente istruzioni in linguaggio naturale in specifiche di logica temporale. Questa iniziativa mira a migliorare l'affidabilità dei sistemi autonomi critici per la sicurezza. Basandosi sulla predizione conforme selettiva, il framework non solo crea specifiche formali, ma ne valuta anche l'affidabilità. Utilizza due segnali black-box complementari: la fedeltà delle specifiche retro-tradotte e la variabilità delle traduzioni ripetute che mantengono l'equivalenza semantica. Questi segnali identificano diversi tipi di errori, consentendo una distinzione più precisa tra traduzioni errate quando combinati. Il controllo del rischio conforme trasforma questo punteggio in una regola decisionale, consentendo al sistema di astenersi dal generare output inaffidabili. Questo framework è particolarmente adatto per robot e sistemi autonomi che richiedono pianificazione, ragionamento e verifica formale delle loro azioni.