[논문 리뷰] A Frobenius Algebraic Analysis for Parasitic Gaps

Michael Moortgat, Mehrnoosh Sadrzadeh외 1명|arXiv (Cornell University)|2020. 05. 12.

Logic, programming, and type systems참고 문헌 20인용 수 6

한 줄 요약

이 논문은 자연어에서 기생 간격을 프로비니우스 대수의 접근 방식으로 다루며, 범주 문법 프레임워크 내에서 어휘 다형성에 의해 의미의 중복을 모델링한다. 람베크 미니멀리즘에 구조적 제어 모odalities를 추가하고 유한 차원의 벡터 공간의 컴 pact 폐쇄 범주에서 유형을 해석함으로써, 저자들은 프로비니우스 대수를 사용해 일반화된 공통 조건과 다형성 유형 스키마를 모델링하여 문법적 복제 없이 기생 간격의 조작적 의미 해석을 가능하게 한다.

ABSTRACT

The interpretation of parasitic gaps is an ostensible case of non-linearity in natural language composition. Existing categorial analyses, both in the typelogical and in the combinatory traditions, rely on explicit forms of syntactic copying. We identify two types of parasitic gapping where the duplication of semantic content can be confined to the lexicon. Parasitic gaps in adjuncts are analysed as forms of generalized coordination with a polymorphic type schema for the head of the adjunct phrase. For parasitic gaps affecting arguments of the same predicate, the polymorphism is associated with the lexical item that introduces the primary gap. Our analysis is formulated in terms of Lambek calculus extended with structural control modalities. A compositional translation relates syntactic types and derivations to the interpreting compact closed category of finite dimensional vector spaces and linear maps with Frobenius algebras over it. When interpreted over the necessary semantic spaces, the Frobenius algebras provide the tools to model the proposed instances of lexical polymorphism.

연구 동기 및 목표

• 문법적 복제에 의존하지 않고 기생 간격에서 비선형적인 의미의 중복을 다루는 데 목적이 있다.
• 범주적 프레임워크 내에서 다형성 유형 스키마를 사용해 부사어와 공항사의 기생 간격을 모델링하는 데 목적이 있다.
• 벡터 공간 위에서 프로비니우스 대수를 사용해 기반으로 하는 조작적이고 분포적 의미 모델을 제공하여 간격을 의미적으로 해석하는 데 목적이 있다.
• 상대 대명사와 전치사(예: 'that', 'without')의 처리를 일반화하여 N⊗S에서 N⊗N로의 다형성 맵으로 모델링하는 데 목적이 있다.
• 특정 구현 방식(예: ι 맵)에서 일반화하여 데이터 기반의 어휘 항목 모델링을 가능하게 하는 데 목적이 있다.

제안 방법

• 구조적 제어 모달리티를 람베크 미니멀리즘에 추가하여 절 내부의 가정과 구조적 유연성을 관리한다.
• 구조적 유형에서 유한 차원의 벡터 공간과 선형 사상의 컴 pact 폐쇄 범주로의 조작적 번역을 사용한다.
• 어휘 항목이 간격을 도입하는 데 다형성 유형 스키마를 모델링하기 위해 의미 공간 위의 프로비니우스 대수를 적용한다.
• 기생 간격은 일반화된 공통 조건을 통해 모델링된다: 주어진 명사어와 동사어절이 프로비니우스 대수의 구조를 통해 공통 조건화된다.
• 상대 대명사와 전치사를 다형성 맵(N⊗S ⇒ N⊗N)으로 표현하여 특정 의미적 구현에서 일반화한다.
• 랭크 감소를 위한 ι 연산을 사전 단계로 사용하며, 이후 데이터 기반 학습을 허용하기 위해 일반화한다.

실험 결과

연구 질문

• RQ1 범주 문법에서 문법적 복제 없이 기생 간격을 어떻게 모델링할 수 있는가?
• RQ2 다형성 유형 스키마는 부사어 및 공항사 문장에서 다중 간격을 공통 조건화하는 데 어떤 역할을 하는가?
• RQ3 벡터 공간 위의 프로비니우스 대수는 기생 간격에 필요한 의미적 공통 조건을 어떻게 모델링할 수 있는가?
• RQ4 상대 대명사와 전치사의 의미 해석을 일반 맵으로 일반화하여 분포적 모델링을 지원할 수 있는가?
• RQ5 구조적 제어 모달리티는 간격 의존성을 관리하는 데 있어 조작적이고 의미적인 역할을 하는가?

주요 결과

• 논문은 문법적 복제 없이 다형성 유형 스키마를 사용해 부사어와 공항사에서의 기생 간격을 성공적으로 모델링한다.
• 프로비니우스 대수는 다중 간격의 일반화된 공통 조건을 벡터 공간 의미론에서 의미적으로 해석하는 데 기능적인 메커니즘을 제공한다.
• 이 접근법은 상대 대명사와 전치사의 역할을 N⊗S에서 N⊗N로의 다형성 맵으로 일반화하여 의미 조합의 유연성을 제공한다.
• 랭크 감소를 위한 ι 맵는 사전 단계로 식별되었으며, 향후 연구를 위해 더 추상적이고 데이터 기반의 대안이 제안되었다.
• 벡터 공간 의미론을 사용해 'papers that Bob rejected without reading'이나 'this is a candidate whom I would persuade every friend of to vote for'와 같은 문장의 조작적 의미 해석이 가능하다.
• 이 프레임워크는 어휘 항목의 더 유연하고 분포적으로 기반한 모델링을 가능하게 하며, 동사의 의미 다의어 해소 및 문장 유사도 분석 등 잠재적 응용 분야를 제공한다.