[논문 리뷰] Complexity of Scrambling: A New Twist to the Competence - Performance Distinction

Aravind K. Joshi|ArXiv.org|1994. 11. 29.

Computability, Logic, AI Algorithms인용 수 25

한 줄 요약

이 논문은 언어학에서 능력-성취 구분을 재정의하며, 어떤 언어적 특성이 능력적인지 성취적인지 여부가 사용된 형식 문법 체계에 따라 달라진다고 주장한다. 트리 국소 다중 구성 요소 트리-접합 문법(MC-TAG)으로 모델링할 때 독일어의 스캐밍(scrambling)은 처리가 최대 두 수준의 통합에 국한됨을 보여주며, 이는 처리 난이도가 성취적 제약이 아니라 능력적 성질임을 시사한다. 이는 이 구분이 문법 선택에 의해 형식적으로 근거가 지어지는 첫 번째 알려진 사례이다.

ABSTRACT

In this paper we discuss the following issue: How do we decide whether a certain property of language is a competence property or a performance property? Our claim is that the answer to this question is not given a-priori. The answer depends on the formal devices (formal grammars and machines) available to us for describing language. We discuss this issue in the context of the complexity of processing of center embedding (of relative clauses in English) and scrambling (in German, for example) from arbitrary depths of embedding.

연구 동기 및 목표

• 처리 복잡도가 순수하게 성취 문제라는 전통적 가정을 도전하기 위해.
• 독일어에서 깊이 통합된 스캐밍 문장의 처리 난이도가 능력적 성질로 간주될 수 있는지 조사하기 위해.
• 형식 문법 체계가 언어적 특성이 능력적인지 성취적인지 결정하는 데 기여할 수 있는지 탐구하기 위해.
• 트리 국소 MC-TAG가 처리 제한을 문법 자체에 내재적으로 포함시키며, 성취적 제약이 아니라 형식적 시스템임을 보여주기 위해.
• 형식 문법 체계의 성질에 기반한 능력-성취 구분의 새로운 기준을 설정하기 위해.

제안 방법

• 선택된 문법 유형에 따라 능력-성취 구분이 달라지는 형식적 프레임워크를 제안하기 위해.
• 유한 상태 및 문맥 자유 문법이 부적절하여 복잡도가 성취 문제로 간주되는 중심 통합 중심의 영어 사례를 기준으로 분석하기 위해.
• 최대 두 수준의 통합까지 문법적으로 올바른 스캐밍 문장을 생성하지만, 그 이상은 구조적 제약으로 실패하는 새로운 성질 Q를 도입하기 위해.
• 스캐밍에 대한 두 수준의 제한을 자연스럽게 강제하는 형식으로 트리 국소 다중 구성 요소 트리-접합 문법(MC-TAG)을 사용하기 위해.
• 트리 국소 MC-TAG가 성질 Q를 충족함을 보여주며, 최대 두 수준의 통합까지는 정확한 구조를 생성하고 그 이상에서는 '붕괴'됨을 입증하기 위해.
• 만약 그러한 문법 유형이 존재하고 언어학적으로 타당하다면, 처리 난이도는 성취적 제약이 아니라 능력적 성질이 된다고 주장하기 위해.

실험 결과

연구 질문

• RQ1 스캐밍에서 처리 복잡도를 성취적 제약이 아니라 능력적 성질로 간주할 수 있는가?
• RQ2 어떤 형식 조건에서 문법이 깊은 통합을 처리하지 못하는 것이 성취적 요인이 아니라 능력적 요인으로 기인할 수 있는가?
• RQ3 스캐밍 깊이에 자연스럽게 제한을 둔다(예: 두 수준), 동시에 언어학적으로 타당한 형식 문법 체계가 존재하는가?
• RQ4 문법 형식주의의 선택이 능력-성취 구분에 어떤 영향을 미치는가?
• RQ5 능력-성취 구분이 사전에 가정되는 것이 아니라, 문법 유형의 형식적 성질에 기반하여 형식적으로 근거가 지어질 수 있는가?

주요 결과

• 독일어에서 깊이 통합된 스캐밍 문장을 처리하는 데 드는 복잡도는 반드시 성취 문제라는 보장이 없으며, 만약 문법 형식주의가 제한을 강제한다면 능력적 성질이 될 수 있다.
• 트리 국소 MC-TAG는 스캐밍에 대해 두 수준의 제한을 내재적으로 강제하며, 그 이상의 깊이에서는 문법이 '붕괴'됨으로써 성질 Q를 충족한다.
• 이 형식주의는 이전에 영어 중심 통합 사례와 달리, 처리 난이도를 능력적 성질로 만드는 첫 번째 알려진 사례를 제공한다.
• 논문은 능력-성취 구분이 고정되어 있지 않으며, 언어를 기술하는 데 사용 가능한 형식 장치에 따라 달라질 수 있음을 입증한다.
• 만약 어떤 문법 유형이 언어학적으로 타당하고 처리 제한을 강제(예: 구조적 제약을 통해)한다면, 그 제한은 성취적 제약이 아니라 능력적 성질이 된다.