법적 추론을 위한 논리적 다양성: 합리적 추론 논리(LRI)의 새로운 틀

초록

이 논문은 기존 논리 체계가 일관성을 전제로 하는 한계를 지적하고, 논리적 전변체와 다양체 개념을 도입해 불일치 지식을 정형화한다. 특히 합리적 추론 논리(LRI)를 법적 추론에 적용해, 모순이 존재해도 합리적 결론을 도출할 수 있음을 보이며, LRI가 논리적 다양성의 한 형태임을 증명한다.

상세 분석

논문은 먼저 전통적인 논리계(calculus)가 일관성을 전제로 작동함에도 불구하고, 과학·실무·법률 등 대규모 지식 영역에서는 본질적인 모순이 빈번히 발생한다는 문제점을 제시한다. 이를 해결하기 위해 ‘논리적 전변체(prevariety)’와 ‘논리적 다양체(variety)’라는 두 단계의 구조적 개념을 도입한다. 전변체는 서로 다른 논리계들을 부분적으로 매핑하여 하나의 언어 L에 통합하는 과정이며, 다양체는 이러한 전변체들의 교집합까지도 다시 논리계로서 재구성할 수 있는 보다 강력한 구조를 의미한다.

특히 논문은 ‘구문적(syntactic) 전변체·다양체’를 정의하면서, 논리 언어 L, 추론 규칙 집합 R, 그리고 부분 사상 집합 F를 이용해 논리계 C_i=(A_i,H_i,T_i)를 조합한다. 여기서 A_i는 공리, H_i는 추론 규칙, T_i는 정리 집합이다. 전변체는 각 C_i의 공리와 정리를 사상 f_i, g_i를 통해 L에 투사하고, 다양체는 이러한 사상의 교집합이 다시 하나의 논리계에 귀속될 수 있음을 요구한다. 깊이(depth) k를 도입해 다중 교차 구조를 허용함으로써, 복수의 법 체계·시대·관점 사이의 상호 연계성을 형식화한다.

법적 추론에 이 구조를 적용한 사례가 ‘합리적 추론 논리(LRI)’이다. LRI는 1차 술어 논리 기반의 언어를 사용하면서, 공리(법규), 규칙(H), 그리고 ‘합리적 추론’이라는 메타 규칙을 결합한다. LRI는 모순이 존재하는 상황에서도 ‘합리적’인 결론을 선택하도록 설계되었으며, 이는 법적 판단 과정에서 ‘객관적 수준(object level)’과 ‘메타 수준(meta level)’을 동시에 다룰 수 있게 한다. 논문은 LRI가 전변체·다양체의 정의를 모두 만족함을 증명하고, 특히 교집합이 다시 LRI 형태의 논리계가 되는 ‘완전한(ful) 다양체’임을 보인다.

이러한 형식적 틀은 법률 지식베이스가 시간·맥락에 따라 변동하고, 동일 사건에 대해 상충되는 의견이 동시에 존재할 수 있다는 현실을 논리적으로 포용한다. 또한, 전변체·다양체 개념은 대규모 지식베이스(예: 인공지능, 로봇 제어)에서도 부분적 모듈화와 효율적 추론을 가능하게 하여, 복합 시스템 설계에 유용한 이론적 기반을 제공한다.