검증 이론

1. 검증의 개념적 기초

검증 이론은 ICEC 시스템의 철학적·방법론적 기초를 제공한다. 여기서 '검증'이란 단순한 데이터 확인 절차가 아니라, 사전에 정의된 구조와 규칙에 따라 문서와 판단 자료의 구조적 정합성을 체계적으로 확인하는 프로토콜 기반의 엄격한 절차를 의미한다.

전통적인 의미의 검증이 주로 사실관계의 확인에 초점을 맞추었다면, SICEC의 검증 이론은 '구조적 정합성' 이라는 개념을 핵심에 둔다. 구조적 정합성이란 특정 문서나 자료가 법적·절차적 프레임워크 내에서 요구되는 형식적, 내용적, 논리적 조건을 충족하는 정도를 의미한다. 예를 들어, 소장이 법적으로 요구되는 필수 기재 사항을 모두 포함하고 있는지, 판결문이 사실인정과 법리 적용의 논리적 연계를 명확히 보여주는지 등을 체계적으로 확인하는 것이 구조적 정합성 검증의 대상이 된다.

2. 검증의 4대 구성 요소

모든 검증 절차는 다음 네 가지 구성 요소를 명확히 정의함으로써 시작된다.

• 분해 대상 : 검증의 객체가 되는 문서나 자료를 의미한다. 단일 문서 또는 여러 문서로 구성된 집합일 수 있다.
• 대조 기준 : 분해 대상이 충족해야 할 조건이나 규칙을 의미한다. 법령, 규정, 선례, 또는 사전에 합의된 프로토콜 등이 포함되며, 검증 중 변경될 수 없다.
• 상태 부여 조건 : 각 검증 항목이 어떤 상태로 판정될 것인지를 결정하는 구체적인 조건들이다.
• 검증 완료 조건 : 전체 검증 절차가 언제 종료될 수 있는지를 정의한다.

3. 상태 부여 체계의 심층 분석

ICEC 검증 이론의 핵심은 5가지 상태 기호로 구성된 상태 부여 체계이다.

• Y 상태 (구조적 위반 없음) : 해당 검증 항목이 대조 기준을 완전히 충족함을 의미한다.
• N 상태 (구조적 위반 존재) : 하나 이상의 위반이 발견되었음을 의미한다.
• N2 상태 (위반의 반복·누적·구조화) : 동일 유형 위반의 반복, 여러 위반의 누적, 또는 구조적 내재화를 나타낸다.
• U 상태 (판단 형성 불가) : 자료 부족이나 절차 미진행으로 판단을 내릴 수 없는 경우.
• X 상태 (구조적 비적용) : 해당 검증 항목이 사안의 성격상 적용될 수 없는 경우.

4. 상태공간의 구조와 관계

각 검증 항목에 부여된 상태는 복잡한 관계망을 형성한다.

• X 상태 는 검증 대상에서 제외되는 항목을 식별하는 '절차 상태'의 성격을 가진다.
• U 상태 와 Y/N/N2 상태 는 모두 '검증 결과 상태'이지만, U 상태는 유보적 판단이라는 점에서 차이가 있다.
• Y, N, N2 상태 사이에는 위반의 심각성에 따른 위계 관계가 성립한다: Y < N < N2

5. 통계적 분석 방법론

ICEC 검증 이론은 수학적 기반의 통계 분석 방법론을 포함한다.

• 모수 집합 M = 전체 검증 항목 집합 I에서 X 상태 항목을 제외한 것 M = I - { i | f(i)=X }

M = I - { i | f(i)=X }

• 확정 판단 집합 C = Y, N, N2 상태가 부여된 항목들의 집합 C = { i | f(i) ∈ {Y, N, N2} }

C = { i | f(i) ∈ {Y, N, N2} }

이를 바탕으로 검증 준수율, 위반 심각도 지수 등의 통계 지표가 산출된다.

6. 검증 엔진의 작동 원리

ICEC 검증 엔진은 규칙 기반 시스템으로 설계되어 사전에 정의된 검증 프로토콜에 따라 문서 간 구조적 정합성을 자동으로 검증한다. 주요 대상 문서는 complaint(소장), answer(답변서), judgment(판결문), condolences(조서) 등이다.

각 검증 결과에는 판단의 근거가 된 문서상의 구체적 위치와 내용이 포함되며, 모든 검증 과정은 추적 가능하도록 상세히 기록된다.