State Representation and Termination for Recursive Reasoning Systems

Debashis Guha, Amritendu Mukherjee, Sanjay Kukreja +1

Recursive reasoning systems alternate between acquiring new evidence and refining an accumulated understanding. Two design choices are typically left implicit: how to represent the…