이 논문은 시그니처, 공리, 추론 정책으로 이루어진 '구조 이론(structure theory)'으로부터 정준 해석을 구성하는 형식적 프레임워크를 제시한다. 폐쇄 안정화(개별 시드 수렴), 전역 완성(시드 독립적 수렴), 결정화(유일한 허용 해석)라는 세 단계의 정준화 수준을 구분하고, 비결정성을 인식적 다원성(Type E)과 구조적 다원성(Type S)으로 분류하며 공통 상계가 없는 Type S-강 부분클래스를 별도로 특징짓는다. 순수 추론 기반 완성이 양의 비역행 규칙과 추가 건전성 조건 하에서 포화 폐쇄 연산자로 환원됨을 보이고, Type E 이론은 폐쇄 안정화가 성립하지만 완전 결정화는 열린 문제인 전역 합류성(confluence)에 의존함을 밝힌다. 이 프레임워크는 LLM 보조 추론에도 적용되어, 환각(hallucination)을 뒷받침되지 않은 정준화로 재해석할 수 있음을 시사한다.
- •구조 이론(시그니처·공리·추론정책)에서 정준 해석을 구성하는 통합 형식 프레임워크
- •폐쇄 안정화, 전역 완성, 결정화 3단계 정준화 수준 구분
- •비결정성을 인식적(Type E)·구조적(Type S) 다원성으로 분류
- •LLM 보조 추론에 적용해 환각을 '뒷받침되지 않은 정준화'로 재해석
0단 자동
AI가 규칙대로 쓰고 그대로 게시했습니다. 사람이 따로 보지 않았습니다.
- 규칙 판
- 규칙 판 도입 이전 기사입니다.
- 남기는 것
- 규칙 판 · 모델 · 시각
- 판 기록
- 아직 없습니다.
Determinization in Structure Theories: A Unified Framework via Closure, Comparability, and Joint Admissibility
본문 미리보기
arXiv:2608.07476v1 Announce Type: new Abstract: We develop a formal framework for constructing canonical interpretations from plural structure theories. A structure theory is a triple T = ({\Sigma}, A, I) consisting of a signature, axioms, and an inference policy, whose admissible interpretation family collects all globally consistent assignments of structural conclusions. We distinguish three levels of canonicalization: closure stabilization (per-seed convergence), global completion (seed-in
전체 내용이 궁금하다면?
원문을 직접 읽어보세요
이 글이 만들어진 과정
- 10:39AI 초안

