termination-criteria

本文提出了一种用于递归推理系统的认知状态图表示方法以及一种基于顺序间隙的终止标准，旨在解决如何管理不断演变的推理状态以及何时停止迭代的问题。