[논문 리뷰] Principles and Implementation of Deductive Parsing

Stuart M. Shieber, Yves Schabes외 1명|ArXiv.org|1994. 04. 26.

Natural Language Processing Techniques참고 문헌 24인용 수 9

한 줄 요약

이 논문은 추론 엔진이 단일으로 실행하는 추론 체계로 표현된 추론 논리에 기반한 통합 프레임워크를 소개한다. 이 접근법은 트리-접합 문법, 문장어 문법, 결정성 절 문법과 같은 다양한 형식 체계에 대해 파싱 알고리즘을 빠르게 프로토타이핑할 수 있게 하며, 파싱을 논리적 추론으로 간주함으로써, 실행 가능하고 검증 가능한 전체 Prolog 코드를 제공한다.

ABSTRACT

We present a system for generating parsers based directly on the metaphor of parsing as deduction. Parsing algorithms can be represented directly as deduction systems, and a single deduction engine can interpret such deduction systems so as to implement the corresponding parser. The method generalizes easily to parsers for augmented phrase structure formalisms, such as definite-clause grammars and other logic grammar formalisms, and has been used for rapid prototyping of parsing algorithms for a variety of formalisms including variants of tree-adjoining grammars, categorial grammars, and lexicalized context-free grammars.

연구 동기 및 목표

• 논리적 추론에 기반한 일반적이고 확장 가능한 파서 구현 프레임워크를 수립하기 위해.
• 다양한 파싱 형식 체계를 단일 추론 메커니즘 아래 통합함으로써, 특정 목적에 맞춘 파서 구현 방식의 한계를 극복하기 위해.
• 어휘 기반 문맥 자유 문법과 트리-접합 문법과 같은 복잡한 형식 체계를 위한 파서를 빠르게 프로토타이핑할 수 있도록 하기 위해.
• 다양한 파싱 알고리즘을 실행하는 데에 하나의 추론 엔진을 사용할 수 있는지의 실현 가능성과 효율성을 입증하기 위해.
• 재현 가능성과 확장 가능성을 위해 전체 Prolog 코드를 통해 완전하고 실행 가능한 사양을 제공하기 위해.

제안 방법

• 각 파싱 단계가 논리적 추론 규칙에 해당하는 공식적인 추론 체계로 파싱 알고리즘을 표현하기 위해.
• 이 규칙 체계를 해석하여 전방 또는 후방 추론 방식으로 파싱을 수행할 수 있는 일반 목적의 추론 엔진을 사용하기 위해.
• 예: 결정성 절 문법, 문장어 문법 등의 문법 형식 체계를 논리적 축약과 추론 규칙의 집합으로 표현하기 위해.
• 제약 조건과 통합 메커니즘을 추가하여 보완된 문장 구조 형식 체계를 지원하기 위해.
• 백트래킹과 통합 기능을 내장한 Prolog을 활용하여 효율적이고 선언적인 파서 구축을 가능하게 하기 위해.
• 핵심 엔진을 수정하지 않고도 새로운 규칙 세트를 정의함으로써 새로운 형식 체계를 모듈식으로 확장할 수 있도록 하기 위해.

실험 결과

연구 질문

• RQ1 일반 목적의 추론 엔진을 사용하여 다양한 파싱 알고리즘을 구현할 수 있는가?
• RQ2 트리-접합 문법과 같은 복잡한 형식 체계의 파싱을 논리적 추론으로 자연스럽게 표현할 수 있는가?
• RQ3 추론 기반 접근법이 새로운 파싱 알고리즘의 구현과 프로토타이핑을 얼마나 단순화하는가?
• RQ4 수동으로 작성된 파서와 비교했을 때 논리 기반 파싱의 성능과 표현력 간의 상충 관계는 어떠한가?
• RQ5 규칙 재구성만으로 동일한 추론 엔진이 하향식 및 상향식 파싱 전략을 모두 처리할 수 있는가?

주요 결과

• 추론 기반 파싱 프레임워크는 결정성 절 문법, 어휘 기반 문맥 자유 문법, 트리-접합 문법을 포함한 여러 형식 체계의 파서를 단일 추론 엔진을 사용하여 성공적으로 구현하였다.
• 규칙 세트로 표현함으로써 새로운 파싱 알고리즘을 빠르게 프로토타이핑할 수 있었으며, 이는 구현 시간과 복잡성을 크게 감소시켰다.
• 완전한 Prolog 코드가 제공되어 접근 방식의 종단 간 정확성과 확장 가능성을 입증하였다.
• 보완된 문장 구조 형식 체계로의 일반화가 자연스럽게 이루어졌으며, 더 풍부한 언어 모델링을 위한 통합과 제약 조건을 지원하였다.
• 핵심 엔진은 그대로 유지되면서 새로운 문법은 규칙 정의를 통해 추가되기 때문에 모듈성과 재사용성이 확보되었다.
• 실증적 검증을 통해 적절한 규칙 순서와 추론 제어를 통해 하향식 및 상향식 파싱 전략을 모두 지원하는 것이 확인되었다.