I Substrati Event-Graph Consentono un Ragionamento Controfattuale Esatto nei Modelli del Mondo
Una nuova categoria di modelli del mondo, nota come substrati event-graph, utilizza un log append-only di triple RDF tipizzate per rappresentare gli stati dell'agente e rispondere a domande controfattuali biforcando il log tramite un vocabolario di intervento strutturato. Questi substrati consentono l'ispezione a livello di tripla, forniscono controfattuali precisi e possono essere trasferiti tra diversi domini senza richiedere componenti apprese. La classe è stata formalizzata, dimostrando una dualità tra query esplicative e controfattuali, entrambe semplificate allo stesso attraversamento degli antenati causali. Un interprete CLEVRER-DSL di 1.400 righe è stato valutato su scala di validazione completa (n=75.618) e ha superato l'oracolo simbolico NS-DR in tutte e quattro le categorie di domande. Inoltre, l'articolo presenta twin-EventLog, un dataset parallelo con 500 specifiche.
Fatti principali
- I substrati event-graph rappresentano lo stato dell'agente come un log append-only di triple RDF tipizzate.
- Rispondono a query controfattuali biforcando il log sotto un vocabolario di intervento strutturato.
- I substrati sono ispezionabili a livello di tripla e supportano controfattuali esatti.
- Si trasferiscono tra domini senza componenti apprese.
- Viene dimostrata una dualità tra query esplicative e controfattuali.
- Un interprete CLEVRER-DSL di 1.400 righe è stato valutato sull'intera scala di validazione CLEVRER (n=75.618).
- Il substrato supera l'oracolo simbolico NS-DR in tutte e quattro le categorie di domande.
- Miglioramenti rispetto a NS-DR: 9,89, 20,26, 17,65 e 0,80 punti percentuali.
- Supera il baseline ALOE nelle categorie descrittiva ed esplicativa, ma è inferiore in predittiva e controfattuale.
- Introduce twin-EventLog, un dataset parallelo con 500 specifiche.
Entità
—