Defeasible Conditional Obligation in a Two-tiered Preference-based Semantics (Extended Version)

Xavier Parent 의 논문 "Defeasible Conditional Obligation in a Two-tiered Preference-based Semantics (2 단계 선호 기반 의미론에서의 비결정적 조건적 의무)"에 대한 상세한 기술적 요약입니다.

1. 문제 제기

이 논문은 의무 논리 (deontic logic) 에서 선호 기반 시스템 (세계의 순서를 통해 의무를 모델링함) 과 규범 기반 시스템 (명시적 규칙과 비단조적 추론을 통해 의무를 모델링함) 간의 근본적인 긴장 관계를 다룹니다.

• 핵심 쟁점: 선호 기반 시스템 (예: Hansson, Lewis) 은 의무 위반 (Contrary-to-Duty, CTD) 추론을 처리하는 데 탁월하지만, 단조성 (monotonicity) 문제로 고통받습니다. 일단 의무가 유도되면 새로운 정보에 의해 철회될 수 없습니다. 이는 강화 문제 (Strengthening Problem) 로 이어집니다. 즉, "손가락으로 먹지 말아야 한다" ($\bigcirc \neg f$) 는 의무와 "아스파라거스를 제공받으면 손가락으로 먹어야 한다" ($\bigcirc (f|a)$) 는 의무가 모두 존재할 때, 표준 선호 의미론은 "아스파라거스를 제공받지 말아야 한다" ($\bigcirc \neg a$) 는 결론을 강제합니다.
• 금지된 예외의 오류: 이러한 결과는 예외 (아스파라거스) 를 전역적 금지로 취급하여 직관에 반합니다. 예외는 특정 맥락에서만 일반 규칙을 대체해야 할 뿐, 예외 자체의 존재를 부정해서는 안 됩니다.
• 침수 효과 (The Drowning Effect): 많은 비단조적 접근법에서 일반적 의무가 무효화되면, 그 의무는 완전히 '침수'되어 사라지므로 특정 맥락에서 일반 규칙이 위반되었는지 확인할 수 없게 됩니다.
• Horty 의 비판: John Horty 는 선호 기반 시스템이 이상적 세계 (의무가 이행된 세계) 와 정상적 세계 (예외가 발생한 세계) 를 논리의 붕괴 없이 구별할 수 없기 때문에 비결정적 규범 추론을 적절히 모델링할 수 없다고 주장했습니다.

2. 방법론: 2 단계 프레임워크

Parent 는 비단조적 추론 메커니즘을 선호 기반 2 진 의무 논리에 통합하는 이중 선호적 2 단계 의미론 프레임워크를 제안합니다.

A. 두 가지 구별된 순서

이 프레임워크는 가능한 세계 ($W$) 에 대해 두 가지 별도의 순서를 사용합니다:

1. 정상성 순서 ($\leq_N$): 세계가 정상성 조건문 (예: "일반적으로, A 면 B 다") 을 얼마나 잘 준수하는지에 따라 세계를 순위 매깁니다.
   • 방법: Lehmann 의 작업에 기반한 LEX(Lexicographic ordering, 사전적 순서) 를 사용합니다.
   • 메커니즘: 세계는 위반된 조건문의 수에 따라 순위가 매겨지며, 특이성 (specificity) 이 우선시됩니다. 특정 규칙을 위반한 세계는 일반 규칙을 위반한 세계보다 낮은 순위로 매겨집니다. 이는 특정 위반과 일반 위반을 동등하게 취급하는 "f-DIS"(평탄 거리 기반) 오류를 방지합니다.
2. 이상성 순서 ($\leq_I$): 세계가 조건적 의무 (예: "A 면, B 해야 한다") 를 얼마나 잘 준수하는지에 따라 세계를 순위 매깁니다.
   • 방법: Delgrande 의 방법인 DEL을 사용합니다.
   • 메커니즘: 의무 위반이 적은 세계가 '더 낫습니다'. 중요한 점은, 더 구체적인 우회 의무가 발동되어 준수될 경우, 해당 의무는 위반된 것으로 간주되지 않는다는 것입니다. 이는 '침수' 문제를 해결합니다.

B. 진리 조건

이 논리는 정상성 조건문 ($\triangleright$) 과 조건적 의무 ($\bigcirc$) 를 도입합니다.

• 정상성 ($A \triangleright B$): 가장 정상적인 $A$-세계가 모두 $B$-세계일 때 참입니다.
• 조건적 의무 ($\bigcirc(B|A)$): 가장 정상적인 $A \land B$-세계의 집합이 가장 정상적인 $A \land \neg B$-세계의 집합보다 $\leq_I$ 하에서 엄격하게 더 낫을 때 참입니다.
  • 주요 혁신: 의무 평가를 가장 정상적인 세계로 제한함으로써, 이 프레임워크는 일반 의무를 평가할 때 "비정상적인" 시나리오 (예: 아스파라거스를 제공받는 상황) 를 필터링합니다. 이를 통해 일반 의무가 예외에 의해 '침수'되는 것을 방지합니다.

C. 비단조적 층

추론 관계 ($\vdash$) 는 $R$이 정상성 조건문과 의무를 포함하는 이론 $\Delta = (\Gamma, R)$ 위에서 정의됩니다.

• 비결정성: 새로운 정보 (예: "아스파라거스를 제공받았다") 는 '가장 정상적인' 세계의 집합을 변경하여 어떤 의무가 유효한지 바꿉니다.
• 공리: 이 시스템은 주요 비단조적 공리들을 만족합니다:
  • 포함 (Inclusion): 명시적 조건문은 (모순되지 않는 한) 추론됩니다.
  • 비결정적 전건 강화 (SA): $C$가 특정 반례 (defeater) 를 유발하지 않는 한, $\bigcirc(B|A)$로부터 $\bigcirc(B|A \land C)$를 추론할 수 있습니다.
  • 비침수 (No-Drowning): 무효화된 의무가 사라지지 않도록 보장하여, 특정 맥락에서 준수 여부를 확인하기 위해 여전히 유효하게 남습니다.

3. 주요 기여

1. 금지된 예외 오류의 해결: 정상성과 이상성을 분리함으로써, "아스파라거스가 제공되고 손가락이 사용된" 세계가 일반 규칙을 위반하여 이상적이지는 않지만, 여전히 특정 규칙을 만족하여 정상적일 수 있게 합니다. 이는 "아스파라거스를 제공받지 말아야 한다"는 결론을 피합니다.
2. 침수 효과의 제거: 이 프레임워크는 특정 의무가 일반 의무를 우회할 때 일반 의무가 지워지지 않도록 보장합니다. 이는 위반 발생 여부 확인과 같은 규범 준수 검사에 여전히 적용 가능하게 합니다.
3. 제약된 I/O 논리로의 충실한 임베딩: 저자는 이 선호 기반 시스템의 의무 단편이 제약된 입력/출력 (I/O) 논리(규범 기반 시스템) 에 충실하게 임베딩될 수 있음을 증명합니다.
   • 이는 모델 이론적 (선호 기반) 접근법과 운영적 (규범 기반) 접근법 간의 간극을 메웁니다.
   • 이 임베딩은 조건적 의무를 I/O 쌍으로 매핑하며, 이때 몸체에는 모든 반례 (더 구체적인 의무) 의 부정어가 포함됩니다.
4. 복잡도 분석: 이 임베딩은 이 시스템에서의 추론이 $\Pi^P_2$ 복잡도 상한을 가지며, 이는 기본 논리에서의 회의적 추론과 유사하고, 단조적 기반의 co-NP 복잡도보다 높음을 시사합니다.

4. 결과

• 이론적 검증: 논문은 부록에서 정상성 순서의 매끄러움, 비단조적 공리 (포함, 비침수) 의 유효성, 그리고 제약된 I/O 논리로의 임베딩의 충실성에 대한 형식적 증명을 제공합니다.
• 사례 연구 (아스파라거스 예시): 이 프레임워크는 다음과 같이 성공적으로 유도합니다:
  • $\bigcirc(\neg f | \text{asparagus})$는 거짓입니다 (예외가 우회합니다).
  • $\bigcirc(n | \text{asparagus})$는 참입니다 (냅킨을 사용해야 한다는 일반 규칙이 유지됩니다).
  • $\bigcirc(\neg a)$는 거짓입니다 (아스파라거스 제공을 피해야 할 의무는 없습니다).
  • $\bigcirc(\neg f)$는 참입니다 (정상적인 맥락에서는 일반 규칙이 유효합니다).

5. 의의

• 통합: 이 작업은 의무 논리의 두 지배적 패러다임인 선호 기반 의미론 (CTD 에 적합) 과 규범 기반 의미론 (비결정성에 적합) 을 통합하는 중요한 걸음을 나타냅니다.
• 실용적 적용: "침수" 및 "금지된 예외" 문제를 해결함으로써, 이 프레임워크는 위반과 예외를 구분하는 것이 중요한 법률 추론 및 준수 검사 등 실제 세계의 규범 추론 작업에 더 적합합니다.
• 기초적 영향: 이는 비결정적 조건적 의무를 모델링하기 위한 새로운 기준을 수립하며, 이전에는 부족했던 제약된 I/O 논리에 대한 모델 이론적 관점을 제공합니다.

요약하자면, Parent 의 논문은 예외와 충돌하는 규범을 논리적 붕괴 없이 처리하기 위해 필요한 비단조적 기계를 통합하면서도 선호 기반 논리의 직관적 강점을 유지하는 견고한 의미론적 프레임워크를 성공적으로 구축했습니다.