[논문 리뷰] Compositionality, Synonymy, and the Systematic Representation of Meaning

Shalom Lappin, Wlodek Zadrozny|ArXiv.org|2000. 01. 09.

Logic, Reasoning, and Knowledge참고 문헌 6인용 수 10

한 줄 요약

이 논문은 Zadrozny의 정리인 의미 함수는 항상 동형 사상 µ를 통한 조합적 표현으로 가능하다는 것을 방어하며, 이 표현 방식에서 동의어 관계가 유지됨을 보여준다. Kasmi & Pelletier 및 Westerståhl의 반론을 반박하기 위해, µ가 동의어를 정확히 표현하며, 조합성은 체계적 의미 이론에 필수 조건이 아니라는 점을 입증한다. 관계 이론은 기능적 동형 사상 없이도 체계적 의미 계산을 달성할 수 있다.

ABSTRACT

In a recent issue of Linguistics and Philosophy Kasmi and Pelletier (1998) (K&P), and Westerstahl (1998) criticize Zadrozny's (1994) argument that any semantics can be represented compositionally. The argument is based upon Zadrozny's theorem that every meaning function m can be encoded by a function μsuch that (i) for any expression E of a specified language L, m(E) can be recovered from μ(E), and (ii) μis a homomorphism from the syntactic structures of L to interpretations of L. In both cases, the primary motivation for the objections brought against Zadrozny's argument is the view that his encoding of the original meaning function does not properly reflect the synonymy relations posited for the language. In this paper, we argue that these technical criticisms do not go through. In particular, we prove that μproperly encodes synonymy relations, i.e. if two expressions are synonymous, then their compositional meanings are identical. This corrects some misconceptions about the function μ, e.g. Janssen (1997). We suggest that the reason that semanticists have been anxious to preserve compositionality as a significant constraint on semantic theory is that it has been mistakenly regarded as a condition that must be satisfied by any theory that sustains a systematic connection between the meaning of an expression and the meanings of its parts. Recent developments in formal and computational semantics show that systematic theories of meanings need not be compositional.

연구 동기 및 목표

• Zadrozny의 의미 함수의 조합적 인코딩에 대한 Kasmi & Pelletier 및 Westerståhl의 비판을 반박하기 위해.
• 인코딩 함수 µ가 동의어 관계를 정확히 유지함을 명확히 하여, 그것이 의미 동치성을 왜곡한다는 주장에 반박하기 위해.
• 조합성, 즉 동형 사상 조건이 체계적 의미 이론에 필수적인 조건이 아니라는 것을 주장하기 위해.
• 의미가 해석 집합으로서 표현되는 관계 이론적 프레임워크가 기능적 동형 사상 없이도 체계적 의미 계산을 달성할 수 있음을 보여주기 위해.
• 원래 의미 함수 m이 µ에 의해 완전히 복원될 수 있음을 보여주기 위해, 비록 µ가 표현식을 의미의 원래 값이 아닌 함수로 매핑하더라도.

제안 방법

• 정리 1 증명: 임의의 언어 L에서 연결이 닫혀 있는 의미 함수 m: S → M에 대해, µ(s.t) = µ(µ(s), µ(t)) 및 µ(µ(s)) = m(s)를 만족하는 유일한 동형 사상 µ: S → M* 가 존재함을 보이기.
• 원래 의미를 함수로 매핑하기 위해 유형 상승(type-raising)을 사용하여, µ가 조합성에 필요한 기능적 구조를 유지함을 보장하기.
• 동의어가 유지됨을 보여주기: m(A) = m(B) 이면, µ(A)와 µ(B)는 모든 x에 대해 동일한 값을 반환하는 함수이므로, µ(A)(x) = µ(B)(x) 를 만족하며, 이는 의미 정체성을 유지함을 의미함.
• m(E)가 µ(E)로부터 평가를 통해 복원될 수 있음을 보여주기: m(E) = µ(E)(x) 를 만족하는 고정된 x 가 존재함으로써 의미의 완전성을 확보함.
• 의미 값이 해석 집합인 관계 이론적 프레임워크 도입: 구성 요소 의미에서 복합 표현의 가능한 해석으로 연결하는 관계 R을 통해 의미 값을 생성함.
• 기능적 조합성과 관계적 체계성 간의 대비를 제시하며, 후자가 동형 사상 조건을 필요로 하지 않지만 여전히 체계적 의미 계산을 보장함을 보여줌.

실험 결과

연구 질문

• RQ1 Zadrozny의 조합적 인코딩 µ가 m(A) = m(B) 인 서로 다른 표현 A와 B에 대해 동의어 관계를 유지할 수 있는가?
• RQ2 Kasmi & Pelletier 및 Westerståhl의 반론이 µ가 의미의 조합적 인코딩으로서의 타당성이나 적합성에 실제로 영향을 미치는가?
• RQ3 조합성, 즉 동형 사상 조건으로 정의되는 것처럼, 체계적 의미 이론에 필수적인 조건인가?
• RQ4 관계 이론적 의미 체계는 동형 사상 조건을 만족하지 않더라도 체계적 의미 계산을 달성할 수 있는가?
• RQ5 µ가 m과 동일하지 않더라도 원래 의미 함수 m을 조합적 인코딩 µ로부터 복원할 수 있는가?

주요 결과

• 정리 1은 임의의 의미 함수 m이 유일한 동형 사상 µ로 표현될 수 있음을 보여주며, µ(s.t) = µ(µ(s), µ(t)) 및 µ(µ(s)) = m(s) 를 만족함으로써 완전한 조합적 재구성 가능성을 보장함.
• 동의어는 µ 하에서 유지됨: m(A) = m(B) 이면, µ(A)와 µ(B)는 모든 입력에 대해 동일한 출력을 내는 함수이므로, 동일한 의미를 나타냄.
• Kasmi & Pelletier의 주장, 즉 µ가 의미 함수로서 '진짜'가 아니며 의미를 함수로 올리는 것이 잘못되었다는 비판은 잘못되었으며, 이는 형식 의미 이론에서 표준적인 절차이기 때문이다 (예: Montague 문법).
• 정체 함수 i(E) = E 가 µ를 대체할 수 있다는 주장은 오류이며, i는 의미 값으로 매핑하지 않으며, µ와 달리 m(E)를 i(E)로부터 복원할 수 없기 때문이다.
• 의미가 단일 값이 아닌 해석 집합으로 표현되는 관계 이론적 의미 체계는 동형 사상 조건 없이도 체계적 의미 계산을 달성할 수 있으며, 이는 조합성이 체계성의 필수 조건이 아니라는 것을 보여줌.
• 논문은 조합성, 즉 동형 사상 조건이 의미 이론의 적합성 조건이 아니라는 결론을 내리며, 체계성은 비조합적 관계적 프레임워크를 통해 달성될 수 있음을 보여줌.