Reprezentacja stanu i warunki zatrzymania dla systemów rekursywnego rozumowania

Badanie proponuje formalny sposób reprezentacji stanu rozumowania jako grafu epistemicznego oraz definiuje warunki zatrzymania iteracji. Metoda ma zastosowanie do systemów, które naprzemiennie zbierają nowe informacje i ulepszają rozumienie.