[논문 리뷰] Computational Representation of Linguistic Structures using Domain-Specific Languages

Fabian Steeg, Christoph Benden외 1명|ArXiv.org|2008. 05. 21.

Natural Language Processing Techniques참고 문헌 10인용 수 32

한 줄 요약

이 논문은 기능 문법(Functional Grammar)과 기능 대화문 문법(Functional Discourse Grammar) 표기법을 사용하여 언어적 구조를 계산하는 모듈러형 도메인 특화 언어(DSL) 기반 시스템을 제시한다. 이 시스템은 문법 검증을 위해 ANTLR를, 어휘 및 규칙 처리를 위해 Prolog를 사용하여 구현된다. 주요 기여는 DSL이 일관되고 형식적이며 실행 가능한 언어 기술을 가능하게 하여 검증, 재사용, 실행이 가능한 언어 기술을 자연어 생성 시스템에 통합할 수 있음을 보여주는 것이다.

ABSTRACT

We describe a modular system for generating sentences from formal definitions of underlying linguistic structures using domain-specific languages. The system uses Java in general, Prolog for lexical entries and custom domain-specific languages based on Functional Grammar and Functional Discourse Grammar notation, implemented using the ANTLR parser generator. We show how linguistic and technological parts can be brought together in a natural language processing system and how domain-specific languages can be used as a tool for consistent formal notation in linguistic description.

연구 동기 및 목표

• 도메인 특화 언어(DSL)를 사용하여 형식적 언어적 구조에서 자연어 표현을 생성하기 위한 모듈러 시스템을 개발한다.
• 특히 기능 문법(FG)과 기능 대화문 문법(FDG)을 포함한 언어 이론을 계산적으로 실행 가능한 프레임워크에 통합한다.
• DSL이 일관되고 형식적인 표기법으로서 언어 기술을 제공하여 검증, 재사용, 실행을 가능하게 할 수 있음을 보여준다.
• 언어학자들이 코드, 수식, 또는 음악 악보를 쓰는 것과 유사하게 언어 표현을 생성하고 검증하며 실행할 수 있도록 한다.

제안 방법

• 입력, 처리, 출력을 별도로 분리한 3계층 아키텍처를 사용하여 모듈성과 재사용성을 확보한다.
• EBNF 유사 문법 사양을 기반으로 ANTLR를 사용하여 사용자 정의 DSL을 정의하고 파서를 생성한다.
• 기능 문법 표기법에 기반한 입력 구조는 내부 Java 객체 표현으로 파싱된 후 Prolog 호환 형식으로 변환된다.
• 어휘 항목과 문법 규칙은 Prolog 사실과 규칙으로 표현되며, Prolog의 기호 논리 및 패턴 매칭 기능을 최대한 활용한다.
• SWI-Prolog를 사용하여 프로세싱 모듈이 Prolog 표현에서 표면 언어적 표현을 생성하고, Interprolog를 통해 Java와 Prolog 간의 상호운용성을 확보한다.
• 데스크톱 및 웹 기반 인터페이스를 모두 지원하며, 서버 기반 처리를 통해 협업 개발 및 배포가 가능하다.

실험 결과

연구 질문

• RQ1 도메인 특화 언어는 기능 문법과 기능 대화문 문법의 언어적 구조를 효과적으로 형식화하고 검증하는 데 사용될 수 있는가?
• RQ2 Java, Prolog, ANTLR를 조합한 모듈러 아키텍처는 자연어 처리 시스템에서 일관되고 확장 가능한 언어 지식 표현을 어떻게 가능하게 하는가?
• RQ3 계산적 구현이 실행 가능한 형식화를 통해 언어 이론의 평가 도구로 기능할 수 있는 정도는 어느 정도인가?
• RQ4 DSL은 어휘 항목과 절 수준의 표현을 포함한 다양한 언어적 구조에 대해 통합적이고 형식적이며 실행 가능한 표기법을 제공할 수 있는가?

주요 결과

• 시스템은 기능 문법 표기법으로 정의된 형식적 언어적 구조에서 자연어 표현을 성공적으로 생성한다. 예를 들어 'The old farmers had given soft ducklings to the young women'와 같은 샘플 출력을 통해 이를 입증하였다.
• ANTLR로 생성된 파서는 언어적 구조의 문법적 정당성을 검증하며, 파싱 트리 분석을 통해 잘못된 입력이 정확히 거부됨을 확인할 수 있었다.
• Prolog를 어휘 항목과 규칙의 DSL로 사용함으로써 동사, 그에 따른 목적어, 그리고 능동/피동, 시제, 동조 등의 문법적 특성을 효율적이고 선언적으로 표현할 수 있었다.
• 모듈러 아키텍처 덕분에 동일한 처리 파이프라인을 데스크톱 및 웹 인터페이스 간에 재사용할 수 있으며, 기능 대화문 문법과 같은 새로운 언어 이론의 지원도 쉽게 확장할 수 있었다.
• 언어 기술이 실행 가능한 코드로 간주될 수 있음을 입증하였으며, 형식적 구조가 재현 가능하고 기계로 검증 가능한 방식으로 검증되고 처리됨을 보여주었다.
• 일반 목적 프로그래밍 언어인 Java와 도메인 특화 논리 언어인 Prolog를 통합함으로써 자연어 처리 분야에서 언어 지식 표현을 위한 확장 가능하고 유지보수 용이한 프레임워크를 확보할 수 있었다.