[논문 리뷰] On Concise Encodings of Preferred Extensions

Paul E. Dunne|ArXiv.org|2002. 07. 08.

Logic, Reasoning, and Knowledge참고 문헌 12인용 수 4

한 줄 요약

이 논문은 추상적 추론 체계에서 선호되는 확장이 다항 시간 전처리 계산 이후 빠른 질의 평가를 가능하게 하기 위해 문장 논리 공식 또는 추가 정보를 사용해 압축적으로 표현할 수 있는지 조사한다. 이는 이론적으로는 문장 논리 표현이 가능하지만, 다항식 크기의 표현을 얻으려면 NP = co-NP여야 하며, 심지어 신뢰적 수용 정보를 제공하더라도 선호되는 확장을 확인하는 것은 여전히 co-NP-완전하다는 것을 보여준다.

ABSTRACT

Much work on argument systems has focussed on preferred extensions which define the maximal collectively defensible subsets. Identification and enumeration of these subsets is (under the usual assumptions) computationally demanding. We consider approaches to deciding if a subset S is a preferred extension which query a representations encoding all such extensions, so that the computational effort is invested once only (for the initial enumeration) rather than for each separate query.

연구 동기 및 목표

• 추론 체계의 선호되는 확장을 빠르고 효율적인 질의 평가를 가능하게 하기 위해 문장 논리로 압축적으로 표현할 수 있는지 조사한다.
• 어떤 주장이 신뢰적으로 수용되는지와 같은 추가 정보를 제공함으로써 선호되는 확장을 검증하는 복잡도를 낮출 수 있는지 평가한다.
• 표준 복잡도 이론적 가정 하에 이러한 표현 전략의 계산적 한계를 규명한다.
• 크기 n인 모든 추론 체계에 대해 선호되는 확장 함수에 대한 다항식 크기의 표현을 구성하는 것이 가능한지 탐색한다.

제안 방법

• 두 가지 전처리 기반 전략을 제안한다: (1) 선호되는 확장 함수를 나타내기 위해 문장 공식을 사용하고, (2) 신뢰적으로 수용된 주장의 목록을 체계에 추가한다.
• 두 표현 방식 모두에서 주어진 집합 S가 선호되는 확장인지 확인하는 복잡도를 분석한다.
• 복잡도 이론적 감소를 적용하여, 압축된 문장 표현이 존재할 경우 NP = co-NP임을 보여준다.
• 국소적 코드화 원리와 Lupanov의 구축 기법을 활용하여 특정 추론 체계 클래스에 대해 작은 공식을 구성할 수 있는 방법을 탐색한다.
• 주어진 부분집합의 가족이 어떤 추론 체계의 선호되는 확장이 될 수 있는지 여부를 판단하는 결정 문제 'realisable'를 도입한다.
• 실현 가능성에 대한 필요 조건을 테스트하고, 이 조건이 충분 조건일 것이라 추측함으로써 문제의 복잡도가 P에 속할 것이라 추정한다.

실험 결과

연구 질문

• RQ1 추론 체계의 선호되는 확장을 주장 수에 대해 다항식 크기의 문장 공식으로 표현할 수 있는가?
• RQ2 신뢰적으로 수용된 주장에 대한 정보를 사전 계산하고 저장함으로써, 집합 S가 선호되는 확장인지 확인하는 복잡도를 낮출 수 있는가?
• RQ3 주어진 부분집합의 가족이 어떤 추론 체계의 선호되는 확장이 될 수 있는지 판단하는 문제의 계산 복잡도는 얼마인가?
• RQ4 선호되는 확장 함수에 대한 다항식 크기의 문장 표현이 존재할 경우, 다항식 계층의 붕괴가 일어나는가?
• RQ5 선호되는 확장으로서 실현 가능한 가족에 대한 필요 조건이 동시에 충분 조건인가?

주요 결과

• 만약 선호되는 확장 함수에 대한 압축된 문장 표현이 존재한다면(즉, 크기가 어떤 k에 대해 O(n^k)이면), NP = co-NP여야 하며, 이는 표준 복잡도 가정 하에 매우 불가능시 여겨진다.
• 심지어 신뢰적으로 수용된 주장의 집합이 제공된다고 하더라도, 주어진 집합 S가 선호되는 확장인지 여부를 판단하는 것은 여전히 co-NP-완전하다.
• 모든 n-인자 체계에 대해 선호되는 확장 함수를 표현하기 위해 필요한 최소 공식 크기를 측정하는 함수 L(n)은 NP = co-NP가 아닐 경우 어떤 다항식보다도 더 빠르게 증가한다.
• 주어진 부분집합의 가족이 어떤 추론 체계의 선호되는 확장이 될 수 있는지 여부를 판단하는 문제 'realisable'는, 후보 충분 조건 기반으로 P에 속할 것이라 추측된다.
• 실현 가능성에 대한 후보 조건—선호되는 확장을 포함하는 집합 T에 속한 두 주장이 다른 선호되는 확장에도 동시에 속할 수 없다—는 다항식 시간 내에 검증할 수 있다.
• L(n)에 대한 정보 이론적 하한은 약한 편이다(최대 n²/log n이지만), 이는 작은 표현의 존재 가능성을 열어두지만, 그러한 구성 방법은 알려져 있지 않다.