Towards Non-Monotonic Entailment in Propositional Defeasible Standpoint Logic

기술적 요약: 명제적 가설적 관점 논리(Propositional Defeasible Standpoint Logic)에서의 비단조적 함의를 향하여

문제 제기
최근의 가설적 추론(defeasible reasoning) 연구는 선호적 의미론(preferential semantics)과 KLM 방식의 함의를 양상 논리, 구체적으로 명제적 가설적 관점 논리(PDSL)에 성공적으로 적용해 왔다. PDSL은 $❘∼∼❘_e \alpha$ (즉, "$e$라는 관점의 가장 전형적인 이해에서 $\alpha$가 성립한다"는 의미)와 같은 양상 기호를 사용하여 단일 프레임워크 내에서 상충하는 관점과 전형적인 신념을 표현할 수 있게 한다. 그러나 이 분야의 기존 연구는 주로 만족 가능성 검사(satisfiability checking)와 타르스키식(Tarskian) 단조적 함의($\models_P$)에 초점을 맞추어 왔다.

저자들은 현재의 단조적 접근 방식이 결정적인 추론 능력의 약점을 가지고 있음을 지적한다. $\models_P$ 하에서는 지식 베이스가 직관적인 비단조적 추론을 뒷받침하지 못하는 경우가 많다. 예를 들어, 관점 $P$가 전형적으로 $\alpha$를 믿고, $\alpha$가 가설적으로 $\beta$를 함의한다면, 단조적 프레임워크는 $P$가 전형적으로 $\beta$를 믿는다는 결론을 내릴 수 없다. 마찬가지로, 하위 관점(예: 공학)은 상위 관점(예: 물리학)으로부터 전형적인 신념을 상속받을 수 없는데, 이는 직접적인 충돌이 존재하지 않더라도 잠재적인 충돌 가능성이 조금이라도 있다면 그러하다. 이는 전형성(typicality)과 상속(inheritance)이 기대되는 원형적 추론(prototypical reasoning)에서 PDSL의 유용성을 제한한다.

방법론
이러한 한계를 해결하기 위해, 본 논문은 전통적인 명제적 KLM 추론으로부터 비단조적 합리적 함의(non-monotonic rational entailment) 관계를 PDSL의 일부분으로 끌어올리는 것을 제안한다. 방법론은 다음 네 가지 주요 단계로 진행된다:

1. 상황적 조건문을 통한 표현력 확장:
   저자들은 "$\alpha \rightsquigarrow_e \beta$" 형태의 "상황적 관점 조건문(situated standpoint conditionals)"을 도입하며, 이는 "관점 $e$ 내에서, $\alpha$에 대한 믿음은 보통 $\beta$에 대한 믿음을 함의한다"라고 읽힌다. 이 구조는 가설적 함의를 전역적이 아닌 특정 관점의 맥락 내에 국한하여 위치시킬 수 있게 한다. 저자들은 이 새로운 구문이 PDSL 전체 언어를 재특징화할 수 있을 만큼 충분히 표현력이 풍부함을 입증하며, 이는 표준적인 가설적 양상 및 함의를 이러한 상황적 조건문과 보편적 관점 양상($\square_*$)으로 대체하는 것이다.

2. 명제적 KLM으로의 번역:
   논문은 긍정적 가설적 조건문($\alpha \rightsquigarrow_e \beta$)과 관점 세분화($e \lesssim d$)로 구성된 PDSL의 특정 파편인 $Cond(\tilde{\mathcal{L}}_S)$를 정의한다. 번역 함수 $T$는 이 파편을 전통적인 명제적 KLM 조건적 지식 베이스로 매핑한다.

• 관점 표현은 명제 원자 또는 그들의 불 대수적 조합으로 번서된다.
• 조건문 $\alpha \rightsquigarrow_e \beta$는 $(\alpha \land t(e)) \mid\sim \beta$로 번역된다.
• 관점 세분화 $e \lesssim d$는 $t(e) \mid\sim t(d)$로 번역된다.
  결정적으로, 저자들은 이 번역이 충실(faithful)함을 증명한다. 즉, PDSL 지식 베이스는 그 명제적 번역이 만족 가능할 때만 만족 가능하다. 또한 모델 만족성도 번역 하에서 보존된다 ($M \models \varphi \iff T(M) \models T(\varphi)$).

3. 함의 관계의 리프팅(Lifting):
   저자들은 번역 $T$를 사용하여 명제적 경우의 합리적 가설적 함의 관계를 PDSL의 경우로 리프팅한다. 주어진 순위 전략 $r$(지식 베이스에 순위 함수를 할당함)에 대해, PDSL에서의 함의 관계 $| \approx_r$은 $\mathcal{K} | \approx_r \varphi$가 $\mathcal{K}$의 명제적 순위 모델 $r(T(\mathcal{K}))$의 전사(preimage)가 $\varphi$를 만족할 때 성립하도록 정의된다.
   이 접근 방식을 통해 기존의 명제적 알고리즘(예: DefeasibleEntail)을 사용하여 PDSL에서 함의 검사를 수행할 수 있다.

4. 구체적 사례 적용:
   이 프레임워크는 두 가지 잘 알려진 합리적 함의 시스템에 적용된다:

• 합리적 폐쇄(Rational Closure): 최소 순위 함수를 통해 정의된다. 본 논문은 PDSL에서의 합리적 폐쇄가 단조적 함의의 추론적 약점을 피하여, 직접적인 충돌이 없는 경우에도 전형적인 신념의 상속을 허용함을 보여준다.
• 사전적 폐쇄(Lexicographic Closure): "익사 문제(drowning problem)"(한 속성의 예외가 무관한 다른 전형적 신념의 상속을 차단하는 현상)를 해결하기 위해 도입되었다. 저자들은 사전적 폐쇄가 PDSL에서 무관한 믿음들을 성공적으로 구분하여, 하위 관점이 특정 예외와 관련 없는 전형적 신념을 상속받을 수 있게 함을 입증한다.

주요 결과

• 표현력: 상황적 조건문의 도입은 PDSL이 명제적 조건문과 유사한 구조를 사용하여 전체 구문을 표현할 수 있게 함으로써, 이를 KLM 논리로의 번역을 용이하게 한다.
• 추론 강도: 제안된 비단조적 함의($| \approx_r$)는 기존의 단조적 함의($\models_P$)보다 엄격히 강력하다. 이는 하위 관점의 전형적 신념 상속과 전형적 믿음으로부터의 결과 도출을 성공적으로 지원하며, 이는 $\models_P$가 실패했던 부분이다.
• 복잡도 보존: 제안된 PDSL 파편에서의 함의 검사 복잡도는 명제적 경우와 동일하다.
  • 합리적 폐쇄 검사는 $P^{NP}_{||}$-완전(complete)이다.
  • 사전적 폐쇄 검사는 $P^{NP}$-완전이다.
  • 이는 번역 $T$가 선형적이며, 기존의 명제적 알고리즘을 직접 사용할 수 있기 때문에 가능하다.
• 다이아몬드 양상의 처리: 논문은 비단조적 프레임워크 내에서 다이아몬드 양상($\Diamond_e \alpha$)을 처리하기 위해 "실패로서의 부정(negation as failure)" 연산자(not)를 도입한다. 이를 통해 가능성에 대한 "용기 있는 추론(brave reasoning)"이 가능하다: 만약 어떤 가능성이 지식 베이스에 의해 배제되지 않는다면, 그것은 함의되는 것으로 간주된다.

의의 및 주장
본 논문은 관점 논리에 비단조적 추론을 통합하는 체계적인 방법을 제공함으로써, 기존의 단조적 접근 방식이 가진 "추론적 약점"을 해결한다고 주장한다. PDSL과 명제적 KLM 논리 사이의 충실한 번역을 확립함으로써, 저자들은 확립된 합리적 함의 시스템(합리적 및 사전적 폐쇄)을 다중 관점 추론에 직접 적용할 수 있게 하였다.

그 의의는 다음과 같다:

1. 추론적 약점 해결: 하위 관점이 전형적 신념을 상속받고 가설적 함의가 특정 관점 내에서 전파되도록 함으로써 PDSL이 원형적 추론을 수행할 수 있게 한다.
2. 익사 문제 해결: 사전적 폐쇄를 PDSL에 적용하여 무관한 예외가 전형적 신념의 상속을 차단하는 것을 방지할 수 있음을 보여준다.
3. 계산 효율성: 이러한 고급 비단조적 추론들이 계산 복잡도 클래스를 높이지 않고도 기존의 명제적 알고리즘을 사용하여 계산될 수 있음을 증명한다.

저자들은 본 연구가 관점 논리의 표현력과 KLM 방식의 가설적 추론의 강력한 추론 능력 사이의 간극을 메우며, 상충하고 전형적인 관점들을 다루기 위한 실용적인 프레임워크를 제공한다고 결론짓는다.