State Representation and Termination for Recursive Reasoning Systems

Cet article aborde deux choix de conception cruciaux dans les systèmes de raisonnement récursif : la représentation de l'état et les critères de terminaison. Il propose de représenter l'état de raisonnement comme un graphe d'état épistémique et introduit le critère d'écart d'ordre pour déterminer quand des itérations supplémentaires sont peu susceptibles d'être bénéfiques.