Belief Contraction in Dynamic Epistemic Logic

기술 요약: 동적 인식 논리에서의 믿음 수축 (Belief Contraction in Dynamic Epistemic Logic)

문제 제기
표준 동적 인식 논리(DEL)는 주로 가능성을 제거하는 방식(강한 업데이트)을 통해 믿음의 변화를 모델링하며, 이는 믿음 확장을 효과적으로 포착하지만 사실적 명제에 대한 믿음 수축을 모델링하는 데는 실패한다. 대중적인 대안 중 하나는 크립키 모델에 개연성 순서(plausibility orderings)를 부여하여 '약한' 업데이트(가능성을 제거하는 대신 촉진하는 방식)를 표현하는 것이지만, 본 논문은 개연성 프레임워크의 두 가지 결정적인 표현력 한계를 식별한다:

1. 긍정적 내성 (Positive Introspection): 개연성 순서는 추이적이기 때문에, 이 프레임워크는 공리 4($Ba\phi \to BaBa\phi$)를 타당하게 만든다. 결과적으로 이는 자신의 믿음에 대해 착각할 수 있는 행위자를 모델링할 수 없게 만든다.
2. 헤징된 공고 (Hedged Announcements): 이 프레임워크는 "$\phi$가 거짓일 수도 있다"와 같은 '헤징된' 공개 공고로부터 발생하는 믿음 수축을 모델링할 수 없다. 이러한 공고는 직관적으로 행위자가 $\phi$에 대한 판단을 유보하게 만들지만, 반드시 새로운 사실적 믿음을 채택하게 하지는 않는다. 본 논문은 정리 3.2를 통해, 어떤 개연성 이벤트 모델도 모달 동치성을 유지하면서 행위자가 $\neg p$를 믿는 모델을 $p$에 대해 판단을 유보하는(즉, $p$도 $\neg p$도 믿지 않는) 모델로 변환할 수 없음을 입증한다.

방법론
저자들은 도식적 접근법(transitivity나 Euclideanness와 같은 제약을 부과하지 않음)을 사용하여 표준 다중 행위자 크립키 모델 상에서 직접 정의된 새로운 믿음 수축 프레임워크를 제안한다.

• 헤징된 공개 공고 논리 (HPAL): 핵심 메커니즘은 "$\phi$가 거짓일 수도 있다"는 헤징된 공개 공고를 나타내는 동적 양상 $[\div \phi]$이다. 업데이트 연산 $M \div \phi$는 다음과 같이 접근 관계 $R_a$를 수정한다:

  • 만약 행위자 $a$가 세계 $w$에서 $\phi$를 믿는다면($M, w \models Ba\phi$), 해당 행위자의 접근 가능한 세계 집합은 $\neg \phi$가 성립하는 모든 세계를 포함하도록 확장된다: $R^{\div \phi}_a(w) = R_a(w) \cup \{v \in W : M, v \models \neg \phi\}$.
  • 만약 행위자가 $\phi$를 믿지 않는다면, 접근 관계는 변경되지 않는다.
    이 접근 방식은 수축을 (세계를 제거하는 제한이 아니라) 모델의 확장(간선/edge를 추가하는 것)으로 취급한다.

• 일반화된 DEL (GDEL): 사적인 혹은 반-사적인 공고와 같은 더 복적인 시나리오를 수용하기 위해, 저자들은 일반화된 이벤트 모델 $E = (E, Q, Q^+, pre)$를 도입한다. 이는 표준 이벤트 모델을 확장하여, $Q_a$가 배제되지 않은 가능성을 나타내는 것과 구별되는, 이벤트 자체에 의해 '도입된' 가능성을 나타내는 관계 $Q^+_a$를 추가한다. 일반화된 곱 업데이트(generalized product update) $M \otimes E$는 표준적인 제거(via $Q$)와 새로운 가능성의 추가(via $Q^+$)를 결합한다.

주요 기여 및 결과

1. HPAL의 공리화: 본 논문은 헤징된 공개 공고의 논리에 대한 건전하고 완전한 공리화(표 1)를 제공한다. 이 시스템은 동적 공식이 정적 도식 공식으로 번역될 수 있도록 하는 축약 공리(reduction axioms)를 포함한다. 핵심 축약 공리(A5)는 수축 후의 믿음을 특징짓는다: 행위자가 $\phi$에 대해 수축한 후 $\psi$를 믿는다는 것은, 처음에 $\phi$를 믿지 않았고 업데이트 후에도 $\psi$를 믿거나, 혹은 $\phi$를 믿었으며 새로 추가된 $\neg \phi$-세계들에서도 $\psi$가 성립함을 의미한다.

2. 보존 및 성공성 분석:

   • 보존 (Preservation): 저자들은 공식 $\phi$가 보존된다는 것을 $\phi \to [\div \neg \phi]\phi$가 타당할 때로 정의한다. 그들은 표준 공개 공고가 보편적(universal) 공식을 보존하는 반면, 헤징된 공고는 존재적(existential) 공식(리터럴, $\land$, $\lor$, $eBa$로 구성된)을 보존함을 보여준다.
   • 성공 (Success): 공식이 성공적이라는 것은 $\phi$가 거짓일 수도 있다는 헤징된 공고 후에 더 이상 믿어지지 않는 것($[\div \phi]\neg Ba\phi$)을 의미한다. 논문은 보편적 공식이 성공적임을 증명한다. 반대로, "무어적(Moorean)" 문장인 $p \land Ba\neg p$는 자기 부정적(self-refuting)이므로 보존되지 않는다.

3. AGM 공리: 본 논문은 이 동적 환경 내에서 표준 AGM 수축 공리를 평가한다.

   • 타당함 (Valid): 폐쇄성(Closure), 외연성(Extensionality), 일관성(Consistency)은 성립한다.
   • 타당하지 않음 (Invalid): 성공성(Success), 포함성(Inclusion), 공백성(Vacuity)은 무제한적으로 성립하지 않는다. 예를 들어, 행위자는 헤징된 공고 후에 자신의 믿음의 결여에 대한 새로운 믿음을 얻을 수 있다(포함성 위배).
   • 강한 공백성 (Strong Vacuity): 강화된 버전의 공백성이 성립한다: 만약 모델의 어느 곳에서도 행위자가 $\phi$를 믿지 않는다면, 수축은 아무런 영향을 미치지 않는다.

4. GDEL 및 시뮬레이션: 본 논문은 GDEL이 표준 DEL의 보수적 확장임을 확립한다. 주요 이론적 결과(정리 7.8)는 모든 일반화된 업데이트가 초기 모델의 *세분화(refinement)*에 대한 *시뮬레이션(simulation)*을 생성한다는 것이다. 이는 업데이트의 이중적 성격을 공식적으로 포착한다: 즉, 가능성을 제거(세분화)할 수도 있고, 가능성을 추가(시뮬레이션)할 수도 있다.

5. 표현력: 저자들은 GDEL이 HPAL이 할 수 없는 역동성을 모델링할 수 있음을 보여준다. 구체적으로 예시 7.9와 명제 7.10은 HPAL이 행위자로 하여금 하나의 명제($p$)에 대해서는 판단을 유보하면서 다른 명제($q$)에 대한 특정 믿음은 유지하게 만드는 시나리오를 모델링할 수 없음을 보여준다. GDEL은 $Q^+$ 관계를 사용하여 행위자의 배경 지식과 호환되는 새로운 가능성을 선택적으로 도입함으로써 이를 극복한다.

의의
본 논문은 개연성 기반 접근 방식의 표현력 한계에 대한 해결책을 제시한다고 주장한다. 표준 크립키 모델에 직접 수축을 정의함으로써, 이 프레임워크는 긍정적 내성이 결여된 행위자와 헤징된 공고에 반응하여 판단을 유보하는 행위자를 성공적으로 모델링한다. 저자들은 이 작업을 정보 획득(확장)과 함께 정보 손실(수축)을 수용하는 표준 DEL의 자연스러운 확장으로 위치시킨다. 저자들은 자신들의 프레임워크가 개연성 역학을 모방하기 위해 간선을 추가할 수 있지만, 수축 과정 중에 에피스테믹 공식의 진릿값이 변하는 것을 허용한다는 점에서 AGM 이론과 갈라진다는 점을 언급하는데, 이는 정적 AGM 모델에는 없는 특징이다. 본 연구는 HPAL에서 성공적인 공식들의 전체적인 특성화와 GDEL에서 내성 속성이 보존되는 조건에 대한 과제를 남겨두고 있다.