[논문 리뷰] Complexity of Propositional Abduction for Restricted Sets of Boolean Functions

Nadia Creignou, Johannes Schmidt외 1명|arXiv (Cornell University)|2009. 12. 16.

Advanced Algebra and Logic참고 문헌 28인용 수 12

한 줄 요약

이 논문은 포스트의 레이티스를 활용하여 모든 제한된 부울 함수 집합에 대해 명제 추론의 복잡도를 완전한 분류를 제공한다. 이는 다항시간(P), NP, ⊕L 등 해결 가능하고, Σ₂^p-완전, #·coNP-완전, #P-완전 등 해결 불가능한 경우를 식별한다. 복잡도는 집합 B에 포함된 부울 함수의 표현 능력에 따라 달라지며, 핵심 기준은 x∨(y∧¬z) 및 선형 표현 가능성과 같은 함수들이다.

ABSTRACT

Abduction is a fundamental and important form of non-monotonic reasoning. Given a knowledge base explaining how the world behaves it aims at finding an explanation for some observed manifestation. In this paper we focus on propositional abduction, where the knowledge base and the manifestation are represented by propositional formulae. The problem of deciding whether there exists an explanation has been shown to be SigmaP2-complete in general. We consider variants obtained by restricting the allowed connectives in the formulae to certain sets of Boolean functions. We give a complete classification of the complexity for all considerable sets of Boolean functions. In this way, we identify easier cases, namely NP-complete and polynomial cases; and we highlight sources of intractability. Further, we address the problem of counting the explanations and draw a complete picture for the counting complexity.

연구 동기 및 목표

• 지정된 부울 함수 집합 B로 구성된 지식 기반과 결과에 제한된 경우의 명제 추론 문제의 계산 복잡도를 분류하는 것.
• 추론 문제가 다항시간(P), NP, 또는 ⊕L 내에서 해결 가능해지는 정확한 조건을 규명하는 것.
• 추론의 수량화 변형 분석을 확장하여, 전체, 양성, 부분 최소 해를 세는 문제의 복잡도를 분류하는 것.
• B의 폐쇄 성질을 분석하여 해결 불가능성의 근본 원인을 규명하는 것. 특히 단조성, 선형성, 핵심 함수의 표현 능력에 초점한다.

제안 방법

• 포스트의 레이티스를 활용하여 부울 함수 집합 B의 폐쇄 성질(예: 단조성, 선형성, 자기 dual성 등)에 기반해 모든 가능한 집합 B를 분류한다.
• 형식적 감소 기법을 적용하여 하드함 결과를 증명하며, 특히 수량화 복잡도에 대한 파르시스모니우스 감소와 #P-완전성에 대한 튜링 감소를 사용한다.
• 선형 클론(L)의 경우 고전적 가우스 소거법 기법을 활용하여 결정 문제와 수량 문제의 다항시간 해법을 증명한다.
• 기존의 하드 문제(예: #Positive-2-SAT, coNP-완전 문제)를 특정 B에 대해 등가의 추론 인스턴스로 변환하는 논리적 변환을 시행한다.
• 다양한 표현 방식(논리자, 절, 항, B-공식)에서 지식 기반(Γ), 결과(A), 후보 설명(E) 간의 상호작용을 분석한다.
• 수량 복잡도에 대해 삼분법을 설정: [B]에 따라 FP, #·coNP-완전, 또는 #P-완전이 된다.

실험 결과

연구 질문

• RQ1 부울 함수 집합 B가 어떤 경우에 대해 명제 추론 문제가 다항시간 내에 결정 가능하거나, NP-완전 또는 Σ₂^p-완전이 되는가?
• RQ2 B의 어떤 구조적 성질(예: 단조성, 선형성, 특정 함수의 표현 능력)이 추론 문제의 복잡도를 결정하는가?
• RQ3 다양한 부울 함수 클론에서 전체 설명 수를 세는 복잡도는 어떻게 변화하는가?
• RQ4 결과를 논리자, 절, 항, 또는 B-공식으로 제한할 경우 전체 복잡도에 어떤 영향을 미치는가?
• RQ5 클론 [B]에 따라 추론의 수량 복잡도가 FP, #·coNP-완전, 또는 #P-완전으로 완전히 분류될 수 있는가?

주요 결과

• B가 x∨(y∧¬z), x∧(y∨¬z), 또는 (x∧y)∨(x∧¬z)∨(y∧¬z)를 표현할 수 있으면 추론 문제가 Σ₂^p-완전이 되며, 이는 비단조성 추론에 기인한 높은 해결 불가능성의 징후이다.
• B에 포함된 모든 함수가 단조적이며 x∨(y∧z), x∧(y∨z), 또는 (x∧y)∨(x∧z)∨(y∧z)를 표현할 수 있으면 문제는 NP-완전이 된다.
• B-공식이 선형(즉, GF(2)에서 선형 방정식으로 표현 가능)이며 두 개 이상의 변수에 의존할 경우 문제는 ⊕L에 속하고 ⊕L-난이도를 가진다.
• 모든 나머지 경우(예: B가 클론 L 또는 N을 생성할 경우), 문제는 로그스페이스(LOGSPACE) 내에서 결정 가능하다.
• 전체 설명 수를 세는 경우, 복잡도는 클론 E, N, L에 대해 FP, V₂를 포함하는 클론에 대해 #·coNP-완전, 단조 클론 M에 대해 #P-완전이 된다.
• 수량 복잡도는 삼분법을 보이며, [B]에 따라 FP, #·coNP-완전, 또는 #P-완전이 된다. 후자 두 경우는 양성 설명과 부분 최소 설명에 대해서조차 난이도가 높다.