재귀 추론 시스템에서 추론 상태 표현 방법과 반복 중단 시점이라는 두 가지 핵심 설계 선택을 다루는 이론적 연구입니다. 추론 상태를 추출된 주장, 증거 관계, 미해결 질문, 신뢰도 가중치를 인코딩하는 인식론적 상태 그래프로 표현합니다. 확장-후-통합과 통합-후-확장의 두 순서 간 거리인 순서 격차(order-gap)를 정의하며, 격차가 작을수록 추가 반복의 효과가 미미함을 의미합니다. 이 프레임워크는 에이전트 루프, 사고 트리 추론, 정리 증명, 지속적 학습에 적용 가능합니다.
- •재관 추론 시스템의 두 가지 암묵적 설계 선택, 즉 답변생성 동안 상태 표현 방법과 반복 중단 시점을 쭔계적 틀로 폼 고력한다.
- •추출된 주장·증거 관계·미해결 질문·신뢰도 가중치를 인코딩하는 인식론적 상태 그래프로 진화하는 추론 상태를 표현한다.
- •순서 격차(order-gap)는 확장-후-통합과 통합-후-확장의 두 순서가 합의하는지 여부를 측정하여 추가 반복이 향후 도움이 될지를 판단하는 실용적 종료 기준이다.
- •에이전트 루프, 사고 트리 추론, 정리 증명, 지속적 학습 등 다양한 미래 AI 시스템에 적용 가능한 범용 이론적 프레임워크를 제공한다.
0단 자동
AI가 규칙대로 쓰고 그대로 게시했습니다. 사람이 따로 보지 않았습니다.
- 규칙 판
- 규칙 판 도입 이전 기사입니다.
- 남기는 것
- 규칙 판 · 모델 · 시각
- 판 기록
- 아직 없습니다.
State Representation and Termination for Recursive Reasoning Systems
- 1.재귀적 추론 시스템의 진화 상태를 인식론적 상태 그래프로 표현하는 방법 제안
- 2.확장-통합 순서와 통합-확장 순서 간 order-gap을 반복 종료 기준으로 정의
- 3.고정점 근방에서 선형화된 order-gap이 비퇴화인 필요충분조건을 이론적으로 도출
- 4.에이전트 루프, 사고의 나무 추론, 정리 증명 등 다양한 응용에 적용 가능
왜 중요한가?
LLM 기반 추론 시스템의 반복 종료 문제를 수학적으로 엄밀하게 다루는 이론적 프레임워크로, 효율적이고 안정적인 추론 에이전트 설계에 기여한다.
본문 미리보기
arXiv:2605.06690v1 Announce Type: new Abstract: Recursive reasoning systems alternate between acquiring new evidence and refining an accumulated understanding. Two design choices are typically left implicit: how to represent the evolving reasoning state, and when to stop iterating. This paper addresses both. We represent the reasoning state as an epistemic state graph encoding extracted claims, evidential relations, open questions, and confidence weights. We define the order-gap as the distance
전체 내용이 궁금하다면?
원문을 직접 읽어보세요
이 글이 만들어진 과정
- 13:10AI 초안

