State Representation and Termination for Recursive Reasoning Systems

Este artigo aborda duas escolhas de design críticas em sistemas de raciocínio recursivo: representação de estado e critério de terminação. Propõe representar o estado de raciocínio como um grafo de estado epistêmico e introduz o critério de lacuna de ordem para determinar quando iterações adicionais são improváveis de serem benéficas.