symbolic-engine

기호 기반 엔진은 자연어 추론 결과를 기계적으로 검증 가능한 연산으로 변환하여 결정 가능한 단계에 대해 확정적 판단을 내리는 구성요소로서, 정책 규칙과 산술을 결정 테이블·규칙 집합으로 매핑하여 실행한다. 입력으로는 모델이 제안한 행동과 관련 인용(예: 정책 조항)이 들어오고, 처리로는 규칙 적용·산술 계산·논리 검증을 수행한 뒤 증명 가능한 결론을 출력한다. 이 방식은 사람이 해석할 수 있는 증명(예: 정책 근거)을 남기므로 자동 채점 오류를 검출할 수 있다.