[논문 리뷰] The Complexity of Reasoning for Fragments of Autoepistemic Logic

Nadia Creignou, Arne Meier외 2명|arXiv (Cornell University)|2010. 01. 01.

Logic, Reasoning, and Knowledge인용 수 2

한 줄 요약

이 논문은 자가참조적 믿음 모델링을 위한 명제 논리의 모달 확장인 자동지식 논리의 모든 부울 조합에서 추론 작업—확장 존재성, 빠른 추론, 신중한 추론—의 계산 복잡도를 분석한다. 또한 안정적 확장을 세는 문제의 복잡도를 도입하고 분류하여, 자동지식 논리에서 이 수량 문제에 대한 첫 번째 체계적 연구를 수행한다.

ABSTRACT

Autoepistemic logic extends propositional logic by the modal operator L. A formula that is preceded by an L is said to be "believed". The logic was introduced by Moore 1985 for modeling an ideally rational agent's behavior and reasoning about his own beliefs. In this paper we analyze all Boolean fragments of autoepistemic logic with respect to the computational complexity of the three most common decision problems expansion existence, brave reasoning and cautious reasoning. As a second contribution we classify the computational complexity of counting the number of stable expansions of a given knowledge base. To the best of our knowledge this is the first paper analyzing the counting problem for autoepistemic logic.

연구 동기 및 목표

• 모든 부울 조합에서 자동지식 논리의 세 핵심 추론 문제—확장 존재성, 빠른 추론, 신중한 추론—의 계산 복잡도를 체계적으로 분석하는 것.
• 기존에 자동지식 논리에서 다루지 않은 문제인 주어진 지식 기반에 대한 안정적 확장 수를 세는 문제의 복잡도를 분류하는 것.
• 특정 부울 연결자 존재 여부에 따라 추론 가능 또는 불가능한 조합을 포괄적으로 분류하는 것.
• 부울 조합의 구조적 성질을 활용하여 자가참조적 믿음 체계의 계산 경계를 이해하는 데 기여하는 것.

제안 방법

• 허용된 명제 연결자 집합을 제한하여 자동지식 논리의 가능한 모든 부울 조합을 형식화하는 것.
• 각 조합에 대해 확장 존재성, 빠른 추론, 신중한 추론의 계산 난이도를 결정하기 위해 복잡도 이론적 분석을 적용하는 것.
• 감소 및 완전성 결과를 사용하여 각 조합을 표준 복잡도 클래스(예: NP, coNP, Σ₂^P)로 분류하는 것.
• 수량 복잡도 도구(예: #P-완전성)를 사용하여 안정적 확장의 수 계산 문제를 도입하고 분석하는 것.
• 기존의 어려운 문제로부터의 감소를 구성하고 목표 클래스 내에서 완전성 증명함으로써 날카운 복잡도 경계를 확립하는 것.
• 자기참조성과 모달 닫힘과 같은 자동지식 논리의 구조적 성질을 활용하여 다양한 조합 간의 복잡도 결과를 도출하는 것.

실험 결과

연구 질문

• RQ1 자동지식 논리의 어떤 부울 조합에서 확장 존재성이 다루기 쉬운지 또는 어려운지?
• RQ2 특정 부울 연결자의 포함 또는 배제가 빠른 추론과 신중한 추론의 복잡도에 어떤 영향을 미치는가?
• RQ3 자동지식 논리에서 안정적 확장의 수를 세는 문제의 계산 복잡도는 무엇인가?
• RQ4 안정적 확장을 세는 문제가 다루기 쉬운 조합가 존재하는가? 만약 그렇다면 어떤 조합인가?
• RQ5 모든 가능한 자동지식 논리의 부울 조합에 걸쳐 추론 작업의 복잡도를 완전히 분류할 수 있는가?

주요 결과

• 논문은 자동지식 논리의 모든 부울 조합에서 확장 존재성, 빠른 추론, 신중한 추론의 복잡도를 완전한 분류를 수립한다.
• 특정 조합에서는 추론 작업이 다루기 쉬운(예: P에 속함) 반면, 다른 조합은 연결자의 종류에 따라 NP-완전, coNP-완전, 또는 Σ₂^P-완전이 된다.
• 안정적 확장의 수 계산 문제는 일반적으로 #P-완전함이 증명되어 높은 계산 난이도를 지닌다.
• 특정 제한된 조합, 예를 들어 논리합이 없거나 단조성 연결자만 있는 경우, 수 계산 문제는 다루기 쉬울 수 있으나, 논문은 비어 있지 않은 조합에 대해 완전한 다루기 쉬움을 주장하지 않는다.
• 특정 연결자, 특히 논리합과 부정의 존재가 추론 및 수 계산 작업의 복잡도를 크게 증가시킨다는 것이 입증된다.
• 이 연구는 자동지식 논리에서 안정적 확장 수 계산 문제에 대한 첫 번째 체계적 분석을 제공하여, 비단조화 추론 체계에 대한 문헌에서 중요한 간극을 메운다.