의미적 모순 탐지
출력 문장들 사이 또는 도메인 규칙과의 논리적 충돌을 규칙 기반으로 식별하는 기법이다. 정적 업계 규칙과 도메인 제약을 입력으로 받아 규칙 매칭·논리 연산으로 모순 여부를 판단하며 모순이 발견되면 출력을 차단한다. 글에서는 LLM의 확률적 응답에서 발생하는 논리적 불일치를 탐지하는 핵심 엔진으로 위치했다.
