Reasoning Termination

State Representation and Termination for Recursive Reasoning Systems

Este artículo aborda dos decisiones de diseño críticas en sistemas de razonamiento recursivo: la representación del estado y los criterios de terminación. Propone representar el estado de razonamiento como un grafo de estado epistémico e introduce el criterio de brecha de orden para determinar cuándo es improbable que futuras iteraciones sean útiles.