제한된 불 함수 집합에서 명제적 귀납의 복잡도

초록

본 논문은 지식베이스와 관찰을 명제식으로 표현한 명제적 귀납 문제의 복잡도를, 허용되는 논리연산자를 불 함수 집합에 따라 제한함으로써 체계적으로 분류한다. 포스트 격자(Post’s lattice)를 이용해 모든 주요 함수군을 조사하고, Σ₂^P‑완전, NP‑완전, P‑시간 해결 가능한 경우를 정확히 구분한다. 또한 설명의 개수를 세는 카운팅 문제에 대해 #P‑완전, #·coNP‑완전 등으로 완전한 복잡도 지도를 제시한다.

상세 분석

명제적 귀납은 “지식베이스(KB)와 관찰(M)으로부터 설명(E)을 찾는” 문제로, 일반적인 경우 Σ₂^P‑완전임이 알려져 있다. 이 논문은 포스트 격자에 정의된 𝔹‑함수군(클론)을 기준으로 KB와 M에 사용되는 연산자를 제한함으로써 복잡도 변화를 탐구한다. 먼저, 모든 클론에 대해 귀납 존재 여부 문제(ABDUCTION)와 최소 설명 존재 여부 문제(MIN‑ABDUCTION)를 정의하고, 각 클론이 포함하는 기본 연산(∧, ∨, ¬, ⊕ 등)에 따라 문제를 귀류한다.

핵심 결과는 다음과 같다.

1. Σ₂^P‑완전: 클론이 전체 부울 함수군을 포함하거나, 부정(NOT)과 이항 연산(AND, OR) 중 최소 두 가지를 모두 포함하는 경우. 이는 일반적인 명제적 귀납과 동일한 복잡도를 유지한다.
2. NP‑완전: 클론이 단조 함수(monotone), 2‑CNF(또는 2‑DNF) 형태, 혹은 Horn·dual‑Horn 함수군에 제한될 때 발생한다. 여기서는 양화가 사라져 NP 수준으로 낮아진다. 특히 Horn 함수군에서는 설명을 찾는 것이 SAT과 동등하게 NP‑완전임을 보인다.
3. P: 클론이 선형 함수(예: XOR만 허용) 혹은 부정이 전혀 없는 단순한 함수군(예: ∧‑전용, ∨‑전용)일 경우, 귀납 문제는 다항시간에 해결 가능하다. 특히 선형 클론에서는 가우시안 소거법을 이용해 설명을 효율적으로 구성한다.

카운팅 측면에서는 설명 집합의 수를 세는 #ABDUCTION 문제를 고려한다. Σ₂^P‑완전 클론에서는 #·coNP‑완전, NP‑완전 클론에서는 #P‑완전, P‑시간 클론에서는 FP(다항시간 계산)로 귀결된다. 이러한 결과는 설명의 존재 여부와 개수 사이의 복잡도 차이를 명확히 보여준다.

또한 논문은 복잡도 구분을 위한 기술적 도구로, 감소(리덕션)와 포스트 격자 내의 함수 포함 관계를 활용한다. 예를 들어, Horn 클론에서 NP‑완전성을 보이기 위해 3‑SAT을 Horn‑형식으로 변환하는 다항시간 변환을 제시하고, 선형 클론에서는 시스템을 선형 방정식 집합으로 변환해 가우시안 소거법을 적용한다. 카운팅 복잡도에 대해서는 파라메트릭 감소를 이용해 #SAT, #DNF‑SAT 등과의 동등성을 증명한다.

전체적으로 이 연구는 명제적 귀납의 복잡도를 함수군 수준에서 세밀하게 구분함으로써, 실제 지식표현 시스템에서 어떤 연산자를 허용해야 효율적인 추론이 가능한지를 이론적으로 안내한다. 특히, NP‑완전 클론은 실용적인 경우에도 근사 알고리즘이나 제한된 인스턴스에 대한 특수 해법이 필요함을 시사한다.