[논문 리뷰] A Model-Theoretic Framework for Theories of Syntax

James Rogers|ArXiv.org|1996. 04. 30.

Logic, programming, and type systems참고 문헌 22인용 수 4

한 줄 요약

이 논문은 문법 메커니즘을 추상화하고, 단항 이阶 논리( monadic second-order logic )를 사용하여 언어의 구조적 성질에 기반해 언어를 정의함으로써 문법 이론에 대한 모델 이론적 프레임워크인 LKP를 제안한다. 주요 기여는 LKP가 강한 문맥 자유 언어의 정확한 집합을 포괄함으로써, GPSG와 GB와 같은 다양한 문법 이론을 통일적이고 표현력 있으며 명확하게 형식화할 수 있도록 하면서도 강력한 생성 능력을 유지한다는 점이다.

ABSTRACT

A natural next step in the evolution of constraint-based grammar formalisms from rewriting formalisms is to abstract fully away from the details of the grammar mechanism---to express syntactic theories purely in terms of the properties of the class of structures they license. By focusing on the structural properties of languages rather than on mechanisms for generating or checking structures that exhibit those properties, this model-theoretic approach can offer simpler and significantly clearer expression of theories and can potentially provide a uniform formalization, allowing disparate theories to be compared on the basis of those properties. We discuss $\LKP$, a monadic second-order logical framework for such an approach to syntax that has the distinctive virtue of being superficially expressive---supporting direct statement of most linguistically significant syntactic properties---but having well-defined strong generative capacity---languages are definable in $\LKP$ iff they are strongly context-free. We draw examples from the realms of GPSG and GB.

연구 동기 및 목표

• 문자 생성 메커니즘에서 벗어나, 허용되는 언어의 구조적 성질에 중점을 두어 문법 이론을 위한 형식적 프레임워크를 개발하는 것.
• GPSG와 GB와 같은 상이한 문법 이론들 간의 직접적 비교를 가능하게 하는 통일된 형식화를 제공하는 것.
• LKP에서 정의 가능한 언어가 강한 문맥 자유 언어의 집합과 일치하도록 하여 강력한 생성 능력을 보장하는 것.
• 기존의 제약 기반 형식화보다 더 투명하고 개념적으로 단순한 문법 성질의 표현을 제공하는 것.

제안 방법

• 프레임워크는 문법 성질을 직접 표현하기 위한 논리적 기반으로 단항 이阶 논리(MSO)를 사용한다.
• 문자 구조에 특화된 MSO의 제한된 형태인 형식 체계 LKP를 정의한다.
• 구조적 성질인 구성 요소 구조와 의존 관계와 같은 언어학적으로 중요한 성질을 직접 표현할 수 있다.
• 논리적 특성화를 통해 LKP에서 정의 가능한 언어와 강한 문맥 자유 언어 사이의 대응 관계를 설정한다.
• 유도 과정에서의 추상화를 통해 유일하게 논리적 제약 조건을 만족하는 구조의 집합에 집중한다.
• 모델 이론적 의미론을 사용하여 문법 이론의 의미를 충족하는 공리(즉, 잘 구성된 구조)의 집합으로 정의한다.

실험 결과

연구 질문

• RQ1 어떻게 문장 구조의 생성 또는 검증에 사용되는 메커니즘과 독립적으로 문법 이론을 형식화할 수 있는가?
• RQ2 어떤 논리적 프레임워크가 핵심 문법 성질을 직접 표현하면서도 강력한 생성 능력을 유지할 수 있는가?
• RQ3 GPSG와 GB와 같은 다양한 문법 이론 간의 비교를 가능하게 하는 통일된 형식화를 개발할 수 있는가?
• RQ4 언어를 그들의 구조적 성질에 기반해 정의하는 논리 기반 프레임워크의 생성 능력은 무엇인가?
• RQ5 모델 이론적 의미론은 문법 제약 조건의 표현을 어떻게 단순화하고 명확하게 할 수 있는가?

주요 결과

• LKP는 표면적으로 표현력이 풍부하여 구성 요소 경계와 의존 관계와 같은 대부분의 언어학적으로 관련된 문법 성질을 직접 형식화할 수 있다.
• LKP에서 정의 가능한 언어의 집합은 정확히 강한 문맥 자유 언어의 집합과 일치한다.
• 프레임워크는 메커니즘에 의존하지 않는 명확한 표현을 가능하게 하여, 문법 이론의 표현과 비교를 단순화한다.
• 유도 과정이 아닌 구조적 성질에 집중함으로써 모델 이론적 접근은 개념적 명료성을 향상시키고 복잡성을 줄인다.
• 논리적 프레임워크는 GPSG와 GB와 같은 이론들을 그들이 정의할 수 있는 구조적 성질에 기반해 통합하고 비교할 수 있는 통일된 형식화를 지원한다.