R-DTLGN: Reti Logiche Ternarie Ricorrenti per il Monitoraggio STL Stabile
La Rete Ricorrente di Porte Logiche Ternarie Differenziabili (R-DTLGN) introduce un nuovo design di rete neurale ricorrente volto a prevedere i risultati della Logica Temporale dei Segnali (STL) a partire da traiettorie incomplete. A differenza delle RNN tradizionali, R-DTLGN utilizza la logica trivalente di Kleene {-1, 0, +1}, dove 0 indica uno stato sconosciuto, offrendo così protezioni strutturali contro cambiamenti imprevisti di verdetto dovuti a guasti dei sensori. Il processo di addestramento impiega surrogati polinomiali continui, passando a un circuito logico ternario discreto durante l'inferenza. Vengono esaminati due tipi di vocabolari di porte: le porte numericamente monotone promuovono un comportamento ricorrente stabile, mentre le porte informativamente monotone migliorano la ritenzione delle informazioni. Questa ricerca si concentra sul monitoraggio runtime critico per la sicurezza facilitando un degrado graduale dell'output.
Fatti principali
- R-DTLGN opera sulla logica trivalente di Kleene {-1, 0, +1}
- 0 rappresenta esplicitamente l'ignoto nella logica
- La rete si addestra tramite surrogati polinomiali continui
- Si indurisce in un circuito logico ternario discreto durante l'inferenza
- Due vocabolari di porte: numericamente monotone e informativamente monotone
- Le porte numericamente monotone garantiscono dinamiche ricorrenti stabili
- Le porte informativamente monotone ottimizzano la conservazione delle informazioni
- Affronta il monitoraggio runtime critico per la sicurezza in caso di degrado dei sensori
Entità
—