DeLP 지식 변화: 논증 이론 변화를 통한 최소 수정 전략

초록

본 논문은 결함 논리 프로그램(de.l.p.)을 대상으로, 새롭게 삽입되는 논증이 보증(warrant)받도록 하는 최소 변경 원칙 기반의 논증 이론 변화(ATC) 연산자를 정의한다. 이를 위해 ATC의 믿음 수정 개념을 DeLP의 규칙 기반 비모놀식 논증 체계에 구체화하고, 다양한 최소 변경 기준을 논의한 뒤, 프로로그 스타일 알고리즘으로 구현한다.

상세 분석

이 연구는 전통적인 AGM 믿음 수정 모델을 비모놀식 논증 체계에 적용하려는 시도로, DeLP가 제공하는 ‘논증‑트리(다이얼렉틱 트리)’ 구조를 ATC의 수정 대상에 매핑한다. 먼저, DeLP의 기본 구성요소인 사실, strict rule, defeasible rule를 정의하고, 이들로부터 생성되는 논증과 그 논증 간의 공격·방어 관계를 다이얼렉틱 트리로 전개한다. 논증이 보증받지 못하는 경우, 즉 트리의 루트 논증이 반대 논증에 의해 패배하는 경우, 기존 ATC에서 제시된 ‘argument revision’ 절차를 차용한다. 여기서는 새 논증을 KB에 삽입한 뒤, 그 논증이 승리하도록 최소한의 규칙(또는 사실) 삭제·우선순위 조정을 수행한다.

논문은 최소 변경 원칙을 세 가지 관점에서 구체화한다. 첫째, 규칙 최소 삭제(Rule‑Deletion Minimality)로, 가능한 한 적은 수의 defeasible rule을 제거한다. 둘째, 우선순위 최소 변동(Priority‑Shift Minimality)으로, 기존 규칙의 우선순위 재배열을 최소화한다. 셋째, 구조적 최소 변경(Structural Minimality)으로, 다이얼렉틱 트리의 구조를 크게 변형하지 않으면서도 목표 논증이 루트에 도달하도록 한다. 이러한 기준은 서로 상충할 수 있기에, 논문은 우선순위 기반 선택 메커니즘을 제시하여 상황에 맞는 기준을 자동으로 선택한다.

알고리즘 부분에서는 Prolog‑like 구문을 사용해, 삽입될 논증의 지원 규칙 집합을 식별하고, 충돌하는 방어 논증을 탐색한다. 충돌 논증이 발견되면, 해당 논증을 구성하는 규칙들을 후보 삭제 집합으로 만든 뒤, 최소 변경 기준에 따라 최적의 삭제/우선순위 조정 조합을 선택한다. 선택 과정은 백트래킹 탐색과 비용 함수(삭제된 규칙 수, 우선순위 변동 정도)를 결합해 최적해를 찾는다. 최종적으로 수정된 de.l.p.는 삽입 논증이 보증받는 상태가 되며, 기존 KB의 일관성은 유지되지 않더라도 ‘논증 보증’이라는 새로운 일관성 개념을 만족한다.

이론적 기여 외에도, 법률·의료·스케줄링 등 실제 도메인에서 발생하는 모순적 지식 베이스를 다루는 사례를 제시한다. 특히, 아르헨티나 미디어 법 개정 사례를 통해, 새로운 법률 조항을 논증 형태로 삽입하고, 기존 조항 중 충돌하는 부분을 최소한으로 삭제·우선순위 조정함으로써 헌법적 일관성을 유지하는 과정을 시뮬레이션한다. 이러한 사례는 ATC가 단순한 문장 수준의 믿음 수정이 아니라, 복합적인 규칙·우선순위 구조를 가진 KB에 적용될 수 있음을 보여준다.

전체적으로, 본 논문은 DeLP와 ATC를 통합함으로써, 비모놀식 논증 기반 지식 베이스의 동적 관리에 필요한 형식적 틀과 실용적 알고리즘을 제공한다. 이는 기존 믿음 수정 연구가 전제하던 일관성 복구 접근법을 넘어, ‘논증 보증’이라는 새로운 성공 기준을 도입함으로써, 불완전하고 모순적인 지식 환경에서도 합리적인 업데이트를 가능하게 만든다.