[논문 리뷰] A Computational Approach to Aspectual Composition

Michael Wood White|ArXiv.org|1995. 07. 01.

Syntax, Semantics, Linguistic Variation참고 문헌 18인용 수 25

한 줄 요약

이 논문은 히히르스, 크리프카, 잭엔도프의 통합적 통찰을 기반으로 한 잭엔도프의 횡단(sortal) 차이를 바탕으로 한 종류적 접근을 사용하여 목적어 구성의 계산적 프레임워크를 제시한다. 이는 경계성, 측정 구문, 사건 대 비과정의 구분과 같은 목적어 현상들을 설명할 수 있음을 보여주며, 결과적 실체의 계산법을 구현하여 주요 언어적 추론을 생성한다.

ABSTRACT

In this paper, I argue, contrary to the prevailing opinion in the linguistics and philosophy literature, that a sortal approach to aspectual composition can indeed be explanatory. In support of this view, I develop a synthesis of competing proposals by Hinrichs, Krifka and Jackendoff which takes Jackendoff's cross-cutting sortal distinctions as its point of departure. To show that the account is well-suited for computational purposes, I also sketch an implemented calculus of eventualities which yields many of the desired inferences. Further details on both the model-theoretic semantics and the implementation can be found in (White, 1994).

연구 동기 및 목표

• 언어학과 철학에서 지배적인 견해인 종류적 접근이 목적어 구성에 있어 본질적으로 설명력이 없다는 데 도전하기 위해.
• 히히르스, 크리프카, 잭엔도프의 경쟁적 목적어 이론을 잭엔도프의 횡단 종류적 차이를 기반으로 통합하는 통일된 프레임워크를 개발하기 위해.
• 종류적 차이가 목적어 구성의 설명력 있고 계산적으로 타당한 모델을 뒷받침할 수 있음을 보여주기 위해.
• 경계성, 지속성, 측정 구문 등과 같은 핵심 목적어 추론을 포괄하는 결과적 실체의 계산법을 구현하기 위해.
• 결과적 실체 기반 표현이 목적어 구성에서 시간적·공간적 부사어의 문법성과 해석을 자연스럽게 설명할 수 있음을 보여주기 위해.

제안 방법

• 결과적 실체를 사건, 과정, 기타 유형으로 분류하기 위한 핵심 의미 프레임워크로 잭엔도프의 횡단 종류적 차이를 사용한다.
• 구조화된 속성-값 표현을 사용하여 결과적 실체를 표현하며, 종류(사건, 과정, 물체, 물질 등)에 대한 명시적 타이핑을 포함한다.
• 복합 결과적 실체를 단순한 실체들의 집합으로 모델링하기 위해 '포함됨' 매핑을 도입한다. 특히 과정에 대해 적용된다.
• 시간적·공간적 측정 구문(예: '이십 분 동안', '두 마일 동안')을 구조화된 측정 구문으로 간주하여 경계성 또는 범위를 부여한다.
• 경계가 있는 경로와 경계가 없는 경로를 구분하여 거리 및 지속 시간 부사어의 문법성을 설명한다.
• 예측에 대한 형식적 제약(예: 거리는 경계가 있는 경로에만 적용됨)을 포함하는 모델 이론적 의미론을 사용하여 타당성 조건을 도출한다.

실험 결과

연구 질문

• RQ1 종류적 접근이 언어학과 철학의 일반적인 공감대와는 반대로, 목적어 구성에 대해 설명력이 있을 수 있는가?
• RQ2 잭엔도프의 횡단 종류적 차이를 어떻게 사용하여 히히르스와 크리프카의 경쟁적 목적어 이론을 통합할 수 있는가?
• RQ3 종류적 차이가 결과적 실체의 경계성 또는 비경계성을 결정하는 데 어떤 역할을 하는가?
• RQ4 왜 일부 맥락에서는 '두 마일 동안'과 같은 특정 측정 구문이 문법적으로 타당하지만 다른 맥락에서는 그렇지 않은가?
• RQ5 실현된 결과적 실체의 계산법이 목적어 구성에 대해 정확한 추론을 생성할 수 있는가?

주요 결과

• 논문은 종류적 차이가 경계성, 특히 시간적·공간적 측정 구문과의 관련에서 목적어 현상을 설명할 수 있음을 성공적으로 보여준다.
• 경계가 없는 경로를 구분함으로써 '잭은 강을 따라 두 마일 동안 달렸다'와 같은 문장의 문법성을 설명한다. 이 경우 근접 거리는 가능하지만 총 거리는 불가능하다.
• '잭은 다리로 두 마일 동안 달렸다'는 문장이 문법적으로 잘못된 이유를 설명하기 위해, '두 마일'이 경로가 이미 지정된 경우 'for'가 경계된 경로의 총 거리를 도입할 수 없다는 점을 보여준다.
• 단일한 과정 표현으로부터 '잭은 이십 초 동안 물을 쟁반 A에倒었다'와 같은 추론을 정확히 생성하는 결과적 실체의 계산법을 실현하였다.
• 모델은 사건과 과정 결과적 실체를 형식적으로 구분하고 조합할 수 있음을 보여주며, 자연어 이해에서의 불명확성과 추론을 지원한다.
• 다른 표현 방식이지만 상호 호환되는 표현을 통해 서로 다른 문장(예: '잭은 강을 따라 두 마일 동안 달렸다' 대비 '잭은 두 마일을 강을 따라 달렸다') 간의 상호 함의 관계를 지원한다.