[논문 리뷰] Another Facet of LIG Parsing

Pierre Boullier|ArXiv.org|1996. 04. 23.

Natural Language Processing Techniques참고 문헌 7인용 수 6

한 줄 요약

이 논문은 선형 인덱스 문법(LIGs)를 위한 새로운 파싱 알고리즘을 제안하며, 주어진 LIG와 입력 문자열로부터 비모호하지 않은 문맥 자유 문법을 구성하여 효율적인 유도 순서 열거를 가능하게 한다. 이 방법은 최악의 경우 O(n⁶)의 시간 복잡도를 가지지만, 평균적인 경우에 훨씬 우수한 성능를 보이며, 개별 유도 순서는 유도 순서 크기와 선형적인 시간 복잡도로 추출할 수 있다.

ABSTRACT

In this paper we present a new parsing algorithm for linear indexed grammars (LIGs) in the same spirit as the one described in (Vijay-Shanker and Weir, 1993) for tree adjoining grammars. For a LIG $L$ and an input string $x$ of length $n$, we build a non ambiguous context-free grammar whose sentences are all (and exclusively) valid derivation sequences in $L$ which lead to $x$. We show that this grammar can be built in ${\cal O}(n^6)$ time and that individual parses can be extracted in linear time with the size of the extracted parse tree. Though this ${\cal O}(n^6)$ upper bound does not improve over previous results, the average case behaves much better. Moreover, practical parsing times can be decreased by some statically performed computations.

연구 동기 및 목표

• 실제 효율성과 유도 순서 열거 측면에서 기존 방법보다 향상된 선형 인덱스 문법(LIGs)을 위한 새로운 알고리즘을 개발하기.
• LIG 파싱의 계산 복잡도 문제를 해결하기 위해 문제를 문법 구성과 유도 순서 열거로 변환하기.
• 유도된 문맥 자유 문법을 활용하여 개별 유도 트리를 효율적으로 추출하기.
• 정적 사전 처리의 잠재력을 탐색하여 실질적인 파싱 시나리오에서 런타임을 줄이기.

제안 방법

• 입력 문자열을 생성하는 원래 LIG 내의 유효한 유도 순서들만을 정확히 포함하는 비모호하지 않은 문맥 자유 문법을 구성하기.
• LIG의 규칙과 입력 문자열을 기반으로 한 변환을 사용하여 유도된 문맥 자유 문법을 생성하기.
• 유도된 문법의 정확성과 완전성을 보장하기 위해 동적 프로그래밍 기법을 적용하기.
• 유도된 문법을 활용하여 유효한 유도 순서들을 체계적이고 비모호한 방식으로 열거하기.
• 유도된 문법을 사용하여 유도 순서에서 개별 유도 트리를 선형 시간 복잡도로 추출하기.
• 실제 성능 향상을 위해 런타임을 줄일 수 있도록 정적 사전 계산을 수행하기.

실험 결과

연구 질문

• RQ1 주어진 LIG와 특정 입력 문자열에 대해, 그에 해당하는 유효한 유도 순서들만을 정확히 표현하는 비모호하지 않은 문맥 자유 문법을 구성할 수 있는가?
• RQ2 이러한 문법을 구성하는 데 드는 계산 복잡도는 얼마이며, 높은 최악의 경우 복잡도에도 불구하고 실질적으로 개선될 수 있는가?
• RQ3 유도된 문법에서 개별 유도 트리를 효율적으로 추출할 수 있으며, 이 추출의 시간 복잡도는 얼마인가?
• RQ4 정적 사전 처리가 실세계 응용에서 실제 파싱 시간을 얼마나 줄일 수 있는가?
• RQ5 이 알고리즘의 평균적인 성능는 기존의 LIG 파싱 방법과 비교해 볼 때 어떻게 되는가?

주요 결과

• 제안된 알고리즘은 입력 문자열을 생성하는 LIG의 유효한 유도 순서들만 정확히 포함하는 비모호하지 않은 문맥 자유 문법을 구성한다.
• 유도된 문법의 구성은 최악의 경우 O(n⁶)의 시간 복잡도를 가지며, 이는 이전의 상한선과 일치하지만 평균적인 경우에 더 좋은 행동을 보인다.
• 개별 유도 트리는 유도 트리 크기와 선형적인 시간 복잡도로 추출할 수 있어 효율적인 후처리를 가능하게 한다.
• 이 방법은 실질적인 파싱 성능 향상을 위해 정적 사전 처리를 지원하여 실제 런타임을 줄일 수 있다.
• 문법 구성과 유도 순서 열거로 문제를 환원함으로써 LIG 파싱에 대한 새로운 시각을 제공한다.
• 알고리즘이 수학적으로 타당하고 정확하여, 오직 유효한 유도 순서들만 생성함을 보장한다.