[논문 리뷰] Representation Theorems for Cumulative Propositional Dependence Logics

Juha Kontinen, Arne Meier외 1명|arXiv (Cornell University)|2026. 02. 24.

Logic, Reasoning, and Knowledge인용 수 0

한 줄 요약

본 논문은 System C의 함의와 누적 모형을 연계하는 표현 정리(representation theorems)를 Propositional Dependence Logic (PDL)와 Propositional Logic with Team Semantics (TPL) 모두에 대해 증명하고, 비대칭 모형이 표현을 위한 충분함을 보인다.

ABSTRACT

This paper establishes and proves representation theorems for cumulative propositional dependence logic and for cumulative propositional logic with team semantics. Cumulative logics are famously given by System C. For propositional dependence logic, we show that System C entailments are exactly captured by cumulative models from Kraus, Lehmann and Magidor. On the other hand, we show that entailment in cumulative propositional logics with team semantics is exactly captured by cumulative and asymmetric models. For the latter, we also obtain equivalence with cumulative logics based on propositional logic with classical semantics. The proofs will be useful for proving representation theorems for other cumulative logics without negation and material implication.

연구 동기 및 목표

• 다수의 객체와 비논리적 정보 처리를 다루기 위해 팀 기반 의미론과 비단조적 추론을 결합하려는 동기를 제시한다.
• 프로포지셔널 의존 논리와 팀 의미론이 있는 프로포지셔널 로직에서 누적 함의 관계를 특징짓는다.
• 이 로직들에서 System C를 누적 모형과 연결하는 표현 정리들을 확립한다.
• 팀 의미론 설정에서 표현을 위해 비대칭 누적 모형이 충분함을 보인다.

제안 방법

• System C 규칙들(RW, LLE, CM, Cut)과 원활성(smoothness)을 가진 누적 모형을 정의한다.
• 강한 누적 모형(비대칭 R과 각 공식을 위한 유일한 최소 원소)을 도입한다.
• 정렬된 모형의 최소 원소를 통해 함의를 정의하고 이를 누적 함의와 관련시킨다.
• PDL에서 cuml과 cuml[str]이 System C 함의(c, cuml)와 일치하는지 보인다.
• 주어진 함의 관계로부터 그 결과를 포착하는 누적 모형 C_|~를 구성( Norm와 Th 구성)한다.
• TPL의 경우 cuml AS 모형, CPL, 표준 cuml, cuml[str], 및 c를 포함하는 다양한 cuml 변형들이 동일한 함의를 산출함으로써 여러 프레임워크의 동등성을 확립한다.

실험 결과

연구 질문

• RQ1 System C 함의와 PDL 및 TPL의 누적 모형 간의 관계는 무엇인가?
• RQ2 비부정(Negation)이나 물질적 함의 없이도 누적 추론이 이 논리들에서 System C와 동일한 함의를 포착할 수 있는가?
• RQ3 비대칭 모형이 이 프레임워크들에서 cuml 함의를 표현하는 데 충분한가?
• RQ4 결과의 정의(Norm, Th)가 cuml 하에서 PDL의 결과 정의 가능성을 어떻게 결정하는가?
• RQ5 표현 정리에 대한 결과가 negation/implication 없이 다른 누적 로직으로 확장되는가?

주요 결과

• PDL cuml, cuml[str], 및 System C 함의는 서로 일치한다(PDL c = PDL cuml = PDL cuml[str]).
• PDL의 모든 cuml 함의는 강한 누적이며 Norm 및 Th 구성으로 정의될 수 있다.
• 어떤 cuml 함의를 포착하기 위해 강한 누적 모형을 구성할 수 있으며, 이는 System C의 동작과 정합한다.
• TPL의 경우 cuml[as] 모형이 CPL 및 표준 cuml, cuml[str], 및 c와 동일한 함의를 산출하므로 여러 프레임워크의 동등성을 확립한다.
• 비대칭 모형은 팀 의미론 설정에서 표현을 위한 누적 모형의 충분한 부분집합을 형성한다.
• 이 결과는 negation이나 물질적 함의가 없는 다른 누적 로직에서도 표현 정리로 이어질 수 있는 길을 열어준다.