포스트 격자에서 본 명제형 귀납 추론 복잡도 전전

초록

본 논문은 포스트 격자에 의해 정의된 불리언 함수 집합 B 에 대해 명제형 귀납(abduction) 문제의 복잡도 분류를 완전하게 제시한다. 대칭 귀납(양·음 리터럴 허용)과 양성 귀납(양 리터럴만 허용) 두 변형을 고려하고, 관찰식(리터럴, 절, 항, B‑식)별로 Σ₂^P, NP, P(⊕L‑hard), L 의 네 단계로 구분한다. 또한 설명 개수를 세는 카운팅 문제에 대해 #·coNP‑complete, #P‑complete, FP 로 나뉘는 전면적인 복잡도 그림을 제공한다.

상세 분석

이 연구는 기존의 Σ₂^P‑complete 명제형 귀납 문제를 Post’s lattice 라는 불리언 함수의 완전 격자 구조에 매핑함으로써, 허용 연산자 집합 B 에 따라 복잡도가 어떻게 변하는지를 체계적으로 분석한다. 핵심은 B‑식 이라는 제한된 논리식 형태를 사용해 지식베이스 Γ 와 가설 변수 집합 A 를 표현하고, 관찰식 ϕ 를 다양한 형태(Q, C, T, L(B))로 제한한다.

먼저 대칭 귀납 Abd(B, PQ) (관찰이 양 리터럴인 경우)에 대해 네 가지 복잡도 구간을 정의한다. Σ₂^P‑complete 인 경우는 B 가 S₀₂, S₁₂, D₁ 클론을 포함할 때이며, 이는 x ∨ (y ∧ ¬z) 와 같은 비단조·비선형 함수를 구현할 수 있음을 의미한다. 이러한 함수는 Γ 와 E 의 결합이 ϕ 를 강제하는 2‑레벨 양자화 구조를 만들기 때문에 Σ₂^P 난이도가 발생한다.

NP‑complete 구간은 B 가 전적으로 단조(M) 클론 안에 있으면서 S₀₀, S₁₀, D₂ 중 하나를 포함할 때이다. 여기서는 Γ 가 단조식으로 제한되므로 E 의 존재 여부를 다항시간 내에 검증할 수 있지만, 만족가능성 검증 자체가 NP‑hard가 된다.

다음으로 L₂ ⊆