GuardAD: Logica Markoviana per una Guida Autonoma più Sicura con MLLM
I ricercatori propongono GuardAD, un salvaguardia model-agnostic per modelli linguistici multimodali di grandi dimensioni (MLLM) nella guida autonoma. Utilizza la formalizzazione logica neuro-simbolica e l'induzione logica markoviana di ordine n per rappresentare la sicurezza come uno stato logico in evoluzione, consentendo il rilevamento di pericoli emergenti oltre le osservazioni a singolo passo. Questo affronta i limiti delle salvaguardie statiche in ambienti di traffico dinamici.
Fatti principali
- GuardAD è un salvaguardia model-agnostic per MLLM nella guida autonoma.
- Utilizza la formalizzazione logica neuro-simbolica per rappresentare i predicati di sicurezza.
- La sicurezza è formulata come uno stato logico markoviano in evoluzione.
- L'induzione logica markoviana di ordine n consente l'inferenza di pericoli latenti.
- L'approccio affronta i limiti dei meccanismi di salvaguardia statici.
- L'articolo è pubblicato su arXiv con ID 2605.10386.
- Il metodo è progettato per ambienti di guida dinamici.
- Non si limita a vietare azioni non sicure, ma ragiona sulle interazioni in evoluzione.
Entità
Istituzioni
- arXiv