[논문 리뷰] Neighborhood Contingency Logic: A New Perspective

Jie Fan|arXiv (Cornell University)|2018. 02. 07.

Logic, Reasoning, and Knowledge참고 문헌 6인용 수 6

한 줄 요약

이 논문은 표준 이웃 모델에 최소한의 구조적 제약 조건인 준필터 조건을 도입함으로써, 조건 논리(contingency logic)에 대한 단순화된 이웃 의미론을 제안한다. 이는 기존의 Kripke 의미론과 동일한 타당 문장들을 유지하면서도 표현력과 정의 가능성(definition)을 향상시킨다. 주요 기여는 c-이점 동치 관계(bisimulation)가 이전에 애매하게 여겨졌던 nbh-Δ-이점 동치 관계와 동일시됨을 보여주는 것으로, 그 본질을 명확히 하고 새로운 Hennessy-Milner 정리 및 모든 10개의 표준 이웃 성질에 대한 프레임 정의 가능성 결과를 가능하게 한다.

ABSTRACT

In this paper, we propose a new neighborhood semantics for contingency logic, by introducing a simple property in standard neighborhood models. This simplifies the neighborhood semantics given in (Fan and van Ditmarsch, 2015), but does not change the set of valid formulas. Under this perspective, among various notions of bisimulation and respective Hennessy-Milner Theorems, we show that $c$-bisimulation is equivalent to nbh-$Δ$-bisimulation in the literature, which guides us to understand the essence of the latter notion. This perspective also provides various frame definability and axiomatization results.

연구 동기 및 목표

• Kripke 의미론과 이전의 이웃 의미론 하에서 조건 논리(CL)의 약한 문법과 강력한 모델 간의 비대칭성을 해결하기 위해.
• Fan과 van Ditmarsch(2017)에서 제안한 조건 논리의 이웃 의미론을 타당 문장의 집합을 변경하지 않은 채로 단순화하기 위해.
• 기존의 nbh-Δ-이점 동치 관계의 의미론적 및 모델 이론적 의미를 명확히 하기 위해, 이를 더 직관적인 c-이점 동치 관계와의 등가성을 보여주기 위해.
• 새로운 의미론 하에서 모든 10개의 표준 이웃 프레임 성질에 대한 정의 가능성 결과를 확립하기 위해.
• 준필터 프레임 위에서 조건 논리에 대한 단순하고 타당하며 강력 완전한 공리 체계를 제공하기 위해.

제안 방법

• 준필터 조건—N(s)가 교차에 대해 닫혀 있고 ∩N(s)를 포함한다—를 도입하여 표준 이웃 모델에 제약을 가함으로써, 새로운 이웃 모델의 클래스인 준필터 프레임을 도입한다.
• 기존 문헌에서 알려진 nbh-Δ-이점 동치 관계와 동등시됨이 입증되는 새로운 이점 동치 관계인 c-이점 동치 관계를 정의한다.
• 새로운 의미론 하에서, 모든 10개의 표준 이웃 프레임 성질(예: 순차성, 반사성, 추이성, 대칭성, 유클리드 성질 등)이 조건 논리에서 정의 가능하다는 것을 증명한다.
• 최대 일致 집합의 집합을 사용하고, 정의된 캐논리컬 이웃 함수 N^c(s) = { |φ| | Δφ ∈ s }를 통해 캐논리컬 이웃 모델을 구성함으로써 타당성과 강력 완전성을 확보한다.
• 캐논리컬 모델 구성 방법을 통해, 준필터 프레임의 클래스에 대해 공리 체계 𝕂^Δ의 강력 완전성을 확립한다.
• 준필터 모델 위에서 새로운 의미론 하에서의 논리적 함의 관계가 Kripke 의미론과 일치함을 보여주며, 동일한 논리(타당 문장)를 유지함을 확인한다.

실험 결과

연구 질문

• RQ1 Kripke 의미론과 동일한 타당 문장을 유지하면서도 표현력과 이점 동치 관계의 명확성을 향상시키는 더 단순한 조건 논리의 이웃 의미론을 정의할 수 있는가?
• RQ2 이전에 애매하게 여겨졌던 nbh-Δ-이점 동치 관계는 더 직관적이고 구조적으로 탄탄한 이점 동치 관계 개념과 동일한가?
• RQ3 수정된 의미론 하에서 모든 10개의 표준 이웃 프레임 성질이 조건 논리에서 정의 가능할 수 있는가?
• RQ4 새로운 준필터 프레임 클래스 위에서 조건 논리에 대한 타당하고 강력 완전한 공리 체계는 무엇인가?
• RQ5 새로운 의미론은 Kripke 의미론과 동일한 논리적 함의 관계를 유지하는가?

주요 결과

• 준필터 프레임에 기반한 새로운 이웃 의미론은 조건 논리의 타당 문장 집합을 변경하지 않으면서도 모델의 구조를 단순화한다.
• c-이점 동치 관계가 nbh-Δ-이점 동치 관계와 동등시됨이 증명되었으며, 이는 후자의 의미론적 이해를 명확히 한다.
• 모든 10개의 표준 이웃 프레임 성질(순차성, 반사성, 추이성, 대칭성, 유클리드 성질 및 그 조합 포함)이 새로운 의미론 하에서 이제 조건 논리에서 정의 가능하다.
• 공리 체계 𝕂^Δ는 준필터 프레임의 클래스에 대해 타당하고 강력 완전하다.
• 새로운 의미론(준필터 모델 기반)에서의 논리적 함의 관계는 Kripke 의미론과 정확히 일치하며, 논리가 그대로 유지됨을 확인한다.
• 새로운 의미론은 다양한 이점 동치 관계 개념에 대해 완전한 프레임 정의 가능성과 Hennessy-Milner 정리를 가능하게 하여 이전의 표현력과 명확성의 한계를 해결한다.