State Representation and Termination for Recursive Reasoning Systems
यह शोधपत्र पुनरावर्ती तर्क प्रणालियों (recursive reasoning systems) के लिए एक रूपरेखा प्रस्तावित करता है जो विकसित होते तर्क की स्थिति को एक ज्ञानपरक अवस्था ग्राफ (epistemic state graph) के रूप में निरूपित करता है और "ऑर्डर-गैप" (order-gap) मीट्रिक को एक स्थानीय, आवश्यक और पर्याप्त शर्त के रूप में प्रस्तुत करता है ताकि यह निर्धारित किया जा सके कि आगे का पुनरावृत्ति सुधार लाने की संभावना कम कब होती है।