ANDRE: Estrattore di Regole Differenziabili Neuro-Simboliche Basato su Attenzione
È stato introdotto un nuovo framework chiamato ANDRE (Attention-based Neuro-symbolic Differentiable Rule Extractor) per la Programmazione Logica Induttiva (ILP). Questo sistema acquisisce programmi logici del primo ordine ottimizzando all'interno di uno spazio di regole continuo, utilizzando operatori logici basati su attenzione. ANDRE sostituisce i tradizionali template di regole e operatori logici con operatori di congiunzione e disgiunzione completamente differenziabili che imitano la semantica logica min-max. Questa innovazione affronta le sfide di scalabilità in ambienti rumorosi e probabilistici, dove la tradizionale ricerca combinatoria discreta dell'ILP è fragile, e le tecniche differenziabili spesso incontrano problemi come gradienti evanescenti o approssimazioni inadeguate. La metodologia è descritta in un articolo disponibile su arXiv (2605.04193).
Fatti principali
- 1. ANDRE sta per Attention-based Neuro-symbolic Differentiable Rule Extractor.
- 2. È un framework per la Programmazione Logica Induttiva (ILP).
- 3. ANDRE apprende programmi logici del primo ordine ottimizzando su uno spazio di regole continuo.
- 4. Utilizza operatori logici basati su attenzione per congiunzione e disgiunzione.
- 5. Gli operatori approssimano la semantica logica min-max.
- 6. L'ILP classico si basa sulla ricerca combinatoria discreta di regole ed è fragile in condizioni di incertezza.
- 7. I metodi ILP differenziabili tipicamente dipendono da template di regole predefiniti o da operatori fuzzy imprecisi.
- 8. L'articolo è disponibile su arXiv con identificatore 2605.04193.
Entità
Istituzioni
- arXiv