[논문 리뷰] Plurals: individuals and sets in a richly typed semantics

Bruno Mery, Richard Moot외 1명|arXiv (Cornell University)|2014. 01. 03.

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

한 줄 요약

이 논문은 공통어, 분포어, 커버링 독해를 형식적으로 설명할 수 있도록 강력한 타입 이론적 프레임워크($λ Ty_n$)를 제안한다. 이 프레임워크는 타입 다형성, 강제성, 의미 이행을 통합하여 자연어 의미론에서 복수어의 의미를 모델링한다. 주요 기여는 Grail 파서 내에서 계산적으로 실행 가능한 의미론을 제공함으로써 영어, 프랑스어, 일본어 전반에 걸쳐 모호한 복수어 구조를 정밀하게 모델링할 수 있도록 한 것이다.

ABSTRACT

We developed a type-theoretical framework for natural lan- guage semantics that, in addition to the usual Montagovian treatment of compositional semantics, includes a treatment of some phenomena of lex- ical semantic: coercions, meaning, transfers, (in)felicitous co-predication. In this setting we see how the various readings of plurals (collective, dis- tributive, coverings,...) can be modelled.

연구 동기 및 목표

• 기존의 타입 이론적 프레임워크와 통합 가능한 통합적이고 형식적인 복수어 의미론을 개발하기 위해.
• 동일한 일관된 타입 체계 내에서 복수어의 다수의 독해 — 집합어, 분포어, 커버링 — 를 모델링하는 데 도전하는 것.
• 구문 및 의미 분석 도구(예: Grail)와 호환되는 계산적으로 실행 가능한 복수어 의미론을 제공하기 위해.
• 몬테그의 문법을 초월하여 강제성 및 의미 이행과 같은 어휘적 현상을 통합함으로써 복수어의 처리를 확장하기 위해.

제안 방법

• 논문은 타입 강제성을 지원하는 다형성 타입 이론적 프레임워크 $λ Ty_n$를 사용하여 복수어 표현의 탄력적인 해석을 가능하게 한다.
• 개개인과 집단 간의 격자 이론적 구조를 도입하며, 병합 연산자 $⊔$ 를 사용해 복합 집단을 형성하고, 부분-관계 $\leq_i$ 를 사용해 집단 소속을 정의한다.
• 분포어 독해는 별표 연산자 $P^*$ 를 통해 모델링되며, 이는 집단의 모든 원자적 부분에 대해 술어를 적용함으로써 집합어 및 분포어 독해를 가능하게 한다.
• 강제 메커니즘은 고차원 함수로 형식화되며, 예를 들어 $\Lambda\alpha\lambda P^{\alpha\rightarrow t}\lambda Q^{\alpha\rightarrow t}.\forall x^\alpha. Q(x) \Rightarrow P(x)$ 와 같이, 동사가 집합에 적용될 수 있도록 한다.
• 이 프레임워크는 구성적 파서(Grail)와 통합되어 영어, 프랑스어, 일본어 등 여러 언어에서 복수어를 포함한 문장의 자동 의미 분석을 가능하게 한다.
• 영어, 프랑스어, 일본어(예: -tachi 접미사)의 예시들은 집단을 나타내는 명사어와 의미 강제를 사용하여 언어별 복수어 형태를 형식화한다.

실험 결과

연구 질문

• RQ1 집합어, 분포어, 커버링 독해를 포함한 복수어의 형식적 차이를 하나의 타입 이론적 프레임워크 내에서 어떻게 정의하고 모델링할 수 있는가?
• RQ2 타입 강제성과 다형성이 동일한 복수어 구조의 다수의 독해를 가능하게 하는 데 어떤 역할을 하는가?
• RQ3 집단을 나타내는 명사어(예: '위원회', '경찰')와 복수어 어미(예: 일본어 -tachi)를 구성적 의미론에서 통일적으로 다룰 수 있는가?
• RQ4 동일한 동사(예: '만나다', '기록하다')가 문법적 및 의미적 맥락에 따라 어떻게 다른 독해를 생성할 수 있는가?
• RQ5 구문과 의미 분석을 지원하는 계산적 파서에서 복수어의 의미론을 어떻게 실행 가능한 형태로 구현할 수 있는가?

주요 결과

• 이 프레임워크는 '위원회들이 만났다'와 같은 모호한 복수어 구조를 성공적으로 모델링하며, 서로 다른 강제 경로를 통해 집합어-집합어 독해와 집합어-분포어 독해를 모두 수용한다.
• 타입 강제성의 사용은 '만나다' 동사가 개인 집합이나 집단 집합에 적용될 수 있도록 하며, 후자의 경우 각 위원회가 별개의 회의를 가질 수 있도록 한다.
• 지미와 데이지가 걷고 있었다는 문장의 분포어 독해는 개인에 대한 전칭 기호화를 통해 포괄되며, 각 주어가 개별적으로 걷는 것을 보장한다.
• '학생들이 노래를 기록했다'의 커버링 독해는 각 개인이 최소한 한 번의 기록에 참여하도록 허용함으로써 모델링되며, 단일 공동 이벤트가 필요하지 않다.
• 일본어 -tachi 와 같은 언어별 복수어 어미를 다룰 수 있도록, 개인을 그들의 둘러싸는 집단으로 매핑하는 집단 생성 연산자를 정의함으로써 프레임워크는 언어 특화 복수어 형태를 지원한다.
• Grail 파서에 구현된 결과, 이 프레임워크는 계산적으로 실행 가능하며, 문체어에서 수집된 반자동으로 확보된 문법과도 호환됨을 입증한다.