디피어블 로직 선호 관계 수정 연구

초록

본 논문은 디피어블 로직에서 규칙 간 선호 관계를 수정함으로써 이론의 결론을 변화시키는 방법을 탐구한다. 특히 법적 추론 상황에서 사실이나 규칙은 고정된 채 사용자가 규칙의 상대적 강도에 대한 선호만을 제시할 수 있다는 전제 하에, 다양한 조합 경우를 분석하고 세 가지 수정 연산자를 정의한다. 이 연산자들을 AGM 신념 수정 공리와 비교한 결과, 일부 공만을 만족함을 확인한다.

상세 분석

디피어블 로직은 결함 규칙(defeasible rules), 엄격 규칙(strict rules), 그리고 결함 사실(defeasible facts)으로 구성된 비단조적 추론 체계이며, 충돌 해결을 위해 규칙 간 선호(preference) 관계를 도입한다. 논문은 기존 연구가 주로 규칙 자체나 사실을 추가·삭제하는 방식에 초점을 맞춘 반면, 선호 관계 자체를 조정함으로써 결론을 바꾸는 ‘선호 수정(preference revision)’이라는 새로운 차원을 제시한다. 이는 특히 법학 분야에서 현실적인 요구와 부합한다. 법률 텍스트는 종종 명시적인 위계가 없으며, 판사나 변호사는 기존 규칙의 해석 강도를 재조정함으로써 판결을 도출한다. 따라서 사실이나 규칙을 바꾸지 못하는 상황에서도 선호 관계만을 재구성하는 것이 실용적이다.

논문은 먼저 선호 관계의 구조를 그래프 형태로 모델링하고, 가능한 모든 조합 경우를 체계적으로 분류한다. 여기서 ‘조합 경우’란 특정 규칙 쌍에 대해 선호를 뒤바꾸거나, 새로운 선호를 삽입하거나, 기존 선호를 삭제하는 작업을 의미한다. 각 경우에 대해 결론 집합이 어떻게 변하는지를 형식적으로 정의하고, 성공적인 수정이란 원래 이론이 도출하지 못하던 결론을 새롭게 얻는 상황으로 규정한다. 성공 조건은 (1) 충돌 해결 메커니즘이 일관성을 유지해야 함, (2) 수정 후에도 이론이 정상 형태(normal form)를 유지해야 함, (3) 최소한의 변경(minimal change) 원칙을 만족해야 함으로 구체화된다.

세 가지 연산자는 다음과 같다. 첫 번째는 ‘선호 전환(Preference Flip)’으로, 두 규칙 사이의 기존 선호 방향을 반대로 바꾸는 작업이다. 두 번째는 ‘선호 삽입(Preference Insertion)’으로, 아직 선호 관계가 정의되지 않은 규칙 쌍에 새로운 선호를 추가한다. 세 번째는 ‘선호 삭제(Preference Removal)’로, 기존 선호를 완전히 제거한다. 각 연산자는 적용 전후의 결론 변화를 정량화하기 위해 ‘결론 차이 함수(conclusion difference function)’를 도입하고, 이를 통해 연산자의 효율성과 부작용을 평가한다.

AGM 공리와의 비교에서는 ‘폐쇄성(Closure)’, ‘일관성 유지(Consistency)’, ‘우선순위 보존(Preservation of Preference)’ 등 일부 공리만이 만족됨을 발견한다. 특히 ‘최소 변경(Minimal Change)’ 공리는 전통적인 AGM 프레임워크와는 달리 선호 관계의 구조적 특성 때문에 완전히 충족되지 않는다. 이는 선호 수정이 사실·규칙 수정과는 다른 복합적 영향을 미치며, 새로운 공리 체계가 필요함을 시사한다. 논문은 이러한 한계를 명시하고, 향후 연구 방향으로 선호 기반 AGM 공리의 확장과 자동화된 선호 수정 알고리즘 개발을 제시한다.

전체적으로 이 연구는 디피어블 로직의 적용 범위를 넓히고, 법적·윤리적 추론에서 인간 사용자가 직접 선호를 조정함으로써 시스템의 유연성을 높이는 방법론적 토대를 제공한다. 또한 선호 수정이 기존 신념 수정 이론과 어떻게 차별화되는지를 명확히 함으로써, 비단조적 논리와 인공지능 윤리 분야에 중요한 학술적 기여를 한다.