Reasoning Termination

State Representation and Termination for Recursive Reasoning Systems

Dieses Papier behandelt zwei kritische Designentscheidungen in rekursiven Argumentationssystemen: die Zustandsrepräsentation und die Abbruchkriterien. Es schlägt vor, den Argumentationszustand als einen epistemischen Zustandsgraphen darzustellen und führt das Kriterium der Ordnungs-Lücke ein, um zu bestimmen, wann weitere Iterationen unwahrscheinlich nützlich sind.