State Representation and Termination for Recursive Reasoning Systems

This paper addresses two critical design choices in recursive reasoning systems: state representation and termination criteria. It proposes representing the reasoning state as an epistemic state graph and introduces the order-gap criterion to determine when further iteration is unlikely to be beneficial.