문법 형식론

단순한 문맥 자유 규칙을 넘어 자연어 구문을 기술하는 데 사용되는 더 풍부한 문법 시스템 — 트리 인접 문법(tree-adjoining), 범주 문법(categorial), 통합 기반 문법(unification-based) — 은 표현력과 파싱 가능성 사이의 균형을 이룹니다.

Definition

문법 형식론은 언어의 합법적인 구조를 명시하기 위한 시스템으로, 생성 능력, 표현 장치, 그리고 파싱 복잡성에 의해 특징지어집니다.

Scope

문맥 자유 문법이 다루기 어려운 구문 현상을 포착하도록 설계된 형식론을 다룹니다: 트리 인접 문법(TAG), 조합 범주 문법(CCG), 그리고 HPSG 및 LFG와 같은 통합 또는 특징 기반 문법. 이는 약한 문맥 민감성(mild context-sensitivity)의 개념과 언어학적 적절성(linguistic adequacy) 및 계산적 처리 가능성(computational tractability) 간의 절충을 다룹니다. 구성(constituency) 및 의존성(dependency)에 특화된 파싱 알고리즘은 별도로 다룹니다.

Core questions

• 어떤 구문 현상이 문맥 자유 문법을 넘어서는 동기를 부여합니까?
• 약한 문맥 민감성이란 무엇이며, 왜 언어에 적합한 능력으로 간주됩니까?
• 통합(unification)과 특징(features)은 문법이 구조 전반에 걸쳐 정보를 공유하도록 어떻게 허용합니까?
• 이러한 형식론은 효율적인 파싱에 대해 표현력을 어떻게 절충합니까?

Key concepts

• 트리 인접 문법
• 조합 범주 문법
• 통합 문법
• 특징 구조
• 약한 문맥 민감성
• HPSG
• LFG
• 하위 범주화

Key theories

약한 문맥 민감성

TAG 및 CCG를 포함하는 문법의 한 종류로, 교차 직렬 의존성(cross-serial dependencies)을 포착하기에 충분할 정도로 문맥 자유 능력을 초과하면서도 다항 시간(polynomial-time)으로 파싱 가능합니다.

조합 범주 문법

단어들이 소수의 조합자(combinators)에 의해 결합되는 기능적 범주를 가지며, 구문과 구성적 의미론(compositional semantics)을 긴밀하게 연결하는 어휘화된 형식론입니다.

통합 기반 문법

HPSG와 같은 형식론으로, 언어적 객체를 유형화된 특징 구조(typed feature structures)로 표현하고 통합(unification)에 의해 결합하여 일치(agreement) 및 하위 범주화(subcategorization)를 선언적으로 포착합니다.

History

1980년대와 1990년대에 걸쳐 언어학자들은 일치(agreement), 장거리 의존성(long-distance dependencies), 그리고 구문-의미 인터페이스(syntax–semantics interface)를 포착하기 위해 문맥 자유 문법보다 더 풍부한 형식론을 개발했습니다. 조시(Joshi)의 트리 인접 문법은 약한 문맥 민감성을 형식화했으며, CCG와 HPSG는 이론 및 계산 작업 모두에서 여전히 영향력 있는 어휘화된(lexicalized) 및 통합 기반 대안을 제공했습니다.

Debates

표현력 대 처리 가능성

더 강력한 형식론은 더 많은 현상을 기술할 수 있지만 처리 불가능한 파싱의 위험이 있습니다. 이 분야는 일반적으로 데이터를 다루기에 충분한 최소한의 능력을 선호하며, 따라서 약한 문맥 민감성 문법에 대한 관심이 높습니다.

Key figures

• Aravind Joshi
• Mark Steedman
• Carl Pollard
• Ivan Sag

Seminal works

• joshi1997
• steedman2000
• pollard1994

Frequently asked questions

왜 모든 것에 문맥 자유 문법을 사용하지 않습니까?

네덜란드어와 스위스 독일어의 교차 직렬 의존성과 같은 일부 구성은 문맥 자유 문법으로는 생성될 수 없음이 입증되었습니다. 약한 문맥 민감성 형식론은 효율적으로 파싱 가능하게 유지하면서 이를 처리하기에 충분한 능력을 추가합니다.