Naukowcy z arXiv CS.AI opublikowali pracę o Event Reasoning System - systemie, który prowadzi formalne rozumowanie na strukturze jawnego grafu zdarzeń, gdzie każdy krok musi być oparty na faktycznie dostępnych informacjach. Klucz do podejścia to wymaganie, aby wszystkie pośrednie wyniki zachowały swoje dependencje do końca łańcucha wnioskowania i aby ścieżka mogła być przeformułowana, gdy zmieni się przesłanka.
ERS wykorzystuje dwupoziomową architekturę: niskopoziomowe reguły zapewniają wielokrotnie używane lokalne transformacje, podczas gdy wysoko poziomowe reguły kontroli rekurencyjnie komponują podproblemy i legalne ścieżki rozumowania. Cechy semantyczne nominują kandydujące obiekty i wiązania reguł, podczas gdy warunki reguł i zadań decydują, które mogą się wykonać. To gwarantuje, że kandydaci naruszający reprezentowane ograniczenia czasowe, jednostkowe lub dowodowe nie mogą wejść na zaakceptowaną ścieżkę rozumowania.
W testach na strukturalizowanych grafach zdarzeń system buduje łańcuchy zależności o długości do dwunastu kroków i zmniejsza nieistotne wykonane operacje domenowe z 32 do 0 wraz ze wzrostem lookaheadu do 16. Ważne jest, że ERS nie produkuje żadnych nieuzasadnionych wyników na 24 przypadkach negatywnych, a przy zamrożonych regułach przechodzi 12 z 12 skupionych sprawdzianów zawierających dziewięć zaakceptowanych derywacji. Prace formalizują dopuszczalne przejścia, sterowanie zależne od zadania, wyrażalność kompozycyjną i rewizję zachowującą zależności.