[논문 리뷰] Compilability of Abduction

Paolo Liberatore, Marco Schaerf|2002. 10. 09.

Rough Sets and Fuzzy Logic참고 문헌 15인용 수 5

한 줄 요약

이 논문은 추론 문제의 사전처리(컴파일)가 그 계산 복잡도를 감소시킬 수 있는지 조사한다. 이는 이론과 가설의 사전처리가 이루어진 후에도 추론이 여전히 계산적으로 어렵다는 것을 증명하며, 다양한 순서 유형과 홉(Horn) 분할에 대해 '컴파일 가능성 난이도'를 입증함으로써, 최악의 경우에 일반적으로 문제를 단순화할 수 있는 다항시간 사전처리가 존재하지 않음을 시사한다.

ABSTRACT

Abduction is one of the most important forms of reasoning; it has been successfully applied to several practical problems such as diagnosis. In this paper we investigate whether the computational complexity of abduction can be reduced by an appropriate use of preprocessing. This is motivated by the fact that part of the data of the problem (namely, the set of all possible assumptions and the theory relating assumptions and manifestations) are often known before the rest of the problem. In this paper, we show some complexity results about abduction when compilation is allowed.

연구 동기 및 목표

• 추론 문제에서 이론과 가설의 사전처리가 그 계산 복잡도를 감소시킬 수 있는지 확인하는 것.
• 선호 순서, 우선순위, 보상 제한 등 다양한 형태의 추론에 대해 컴파일의 영향을 분석하는 것.
• 홉 제약 조건이 추론에 대해 처리 가능성을 제공하는지 조사하는 것.
• 사전처리가 추론의 최악의 복잡도를 향상시키는 데서 가지는 한계를 설정하는 것.

제안 방법

• 저자는 문제를 스스로로의 등가 감소(자기 감소)를 사용하여 컴파일 가능성 난이도를 증명한다.
• 그들은 고정된 이론 T, 변동하는 관측치 M, 그리고 가설 H를 갖는 논리적 문제로 추론을 형식화하며, 다양한 순서 의미론 하에서 복잡도를 분석한다.
• 각 문제 변형(예: 최소 설명, 관련성, 필수성)에 대해, 사전처리가 다항시간 컴파일을 가능하게 하지 못함을 보여주는 감소를 구성한다.
• 논리식이 단일 레이블 헤드를 갖는 함의로 제한된 홉 경우조차도, 사전처리가 최악의 복잡도를 감소시키지 못함을 증명한다.
• 이 기법은 어떤 사전처리 절차라도 여전히 어려운 인스턴스를 처리해야 하므로, 일반적인 단순화가 불가능함을 시사한다.
• 그들은 선호 기반 및 우선순위 기반 추론으로 결과를 확장하며, 다양한 의미론 하에서 난이도를 입증하기 위해 유사한 감소 전략을 사용한다.

실험 결과

연구 질문

• RQ1 추론 문제에서 이론과 가설의 사전처리가 문제의 다항시간 컴파일을 가능하게 할 수 있는가?
• RQ2 선호 순서(예: ≤-선호)가 있는 추론의 복잡도는 사전처리를 통해 감소할 수 있는가?
• RQ3 추론 공식의 홉 제약 조건이 효과적인 컴파일과 복잡도 감소를 가능하게 하는가?
• RQ4 이론과 가설의 사전처리 후 최소 설명을 더 효율적으로 계산할 수 있는가?
• RQ5 사전처리가 최악의 복잡도 향상에 기여하는 추론의 어떤 형태가 존재하는가?

주요 결과

• 이론과 가설의 사전처리가 이루어진 후에도 추론은 여전히 계산적으로 어렵다는 점을 입증하며, 고려된 모든 문제 변형에 대해 컴파일 가능성 난이도를 갖는다.
• 최소한의 중복이 없는 설명의 순서, 즉 ≤-선호, 우선순위, 보상 제한 등 모든 의미 체계에서 난이도가 유지된다.
• 논리식이 단일 레이블 헤드를 갖는 함의로 제한된 홉 경우조차도 사전처리가 최악의 복잡도를 감소시키지 못한다.
• 저자는 어떤 사전처리도 최악의 경우에 추론을 일반적으로 단순화할 수 없음을 입증하며, 하드 인스턴스는 컴파일 여부에 관계없이 계속 존재함을 보여준다.
• 결과는 대표적 등가 감소를 통해 증명되며, 문제의 복잡도가 본질적으로 컴파일에 저항됨을 시사한다.
• 이러한 발견은 일반적으로 다항시간 사전처리가 불가능하므로, 근사 또는 불완전한 컴파일과 같은 대안적 접근법을 모색해야 함을 시사한다.