[논문 리뷰] A variable-free dynamic semantics

Chung-chieh Shan|ArXiv.org|2002. 05. 17.

Logic, Reasoning, and Knowledge참고 문헌 13인용 수 39

한 줄 요약

이 논문은 할당 함수를 사용하지 않고도 구성적 방식으로 당나귀 언어 현상과 관련된 현상을 모델링할 수 있도록 변수 없는 동적 의미론을 제안한다. 비결정성, 입력/출력 처리, 유형 기반의 대화 추적을 통합하여, 변수 할당 함수 없이도 구성적 의미론을 유지한다. 변수 대신 기능적 조합자와 유형 생성자인 $∘$ (in) 및 $∜$ (out)를 사용함으로써, '당나귀 약한 교환'과 같은 새로운 경험적 예측을 도출한다. 이는 구성성과 표현 제약 조건의 제거를 동시에 유지한다.

ABSTRACT

I propose a variable-free treatment of dynamic semantics. By "dynamic semantics" I mean analyses of donkey sentences ("Every farmer who owns a donkey beats it") and other binding and anaphora phenomena in natural language where meanings of constituents are updates to information states, for instance as proposed by Groenendijk and Stokhof. By "variable-free" I mean denotational semantics in which functional combinators replace variable indices and assignment functions, for instance as advocated by Jacobson. The new theory presented here achieves a compositional treatment of dynamic anaphora that does not involve assignment functions, and separates the combinatorics of variable-free semantics from the particular linguistic phenomena it treats. Integrating variable-free semantics and dynamic semantics gives rise to interactions that make new empirical predictions, for example "donkey weak crossover" effects.

연구 동기 및 목표

• 할당 함수 없이도 구성적이고 변수 없는 동적 의미론을 개발하여 대화 언어 현상을 모델링한다.
• 표현 제약 조건에 의존하지 않고도 동적 의미론의 경험적 과제, 예를 들어 당나귀 약한 교환과 전행 접근성 문제를 해결한다.
• 유형 기반의 대화 참조 추적과 계산적 측면 효과를 통합하여 변수 없는 의미론과 동적 의미론을 통합한다.
• 구성적 유형 구조와 기능적 조합을 통해 새로운 언어 현상을 예측할 수 있는 형식적 프레임워크를 제공한다.

제안 방법

• 세트 함자( functor)를 사용하여 의미 유형을 변형함으로써 비결정성을 모델링하여, 구문이 개인의 집합을 의미하도록 한다.
• 입력 의존적 의미를 표현하기 위해 유형 생성자 $∘$ (in)를 도입하여, 표현식이 대화 상태에서 의미 값으로 가는 함수를 의미하도록 한다.
• 출력 효과를 표현하기 위해 유형 생성자 $∜$ (out)를 사용하여, 동적 해석에서 정보 업데이트를 모델링한다.
• 기능적 조합과 바인딩을 다루기 위해 유형 전환 연산 $g^{∘}$ 및 $g^{∜}$를 활용하며, 이는 유형 생성자의 함자성에서 영감을 받는다.
• 모든 유형에 걸쳐 람다 추상화와 적용 표기법을 통일적으로 적용하며, $∘$ 와 $∜$ 를 구분하여 타당하지 않은 조합을 방지한다.
• 유형을 통해 대화 참조를 추적한다: 자유 변수를 포함한 구문은 심지어 상수 함수를 나타내더라도 $e∘1$ 와 같은 유형을 할당함으로써 불법적 언급을 차단한다.

실험 결과

연구 질문

• RQ1 할당 함수 없이도 구성성과 대화 언어 현상 모델링을 유지하면서 동적 의미론을 어떻게 재정의할 수 있는가?
• RQ2 변수 없는 의미론과 동적 의미론을 결합했을 때의 경험적 결과는 무엇이며, 특히 약한 교환 효과와의 관계는 어떠한가?
• RQ3 유형 체계를 사용하여 표현적 방식 없이 대화 참조를 어떻게 추적할 수 있는가?
• RQ4 기능적 조합자와 유형 생성자를 통합된 프레임워크 안에서 입력과 출력 효과를 모두 모델링할 수 있는가?
• RQ5 변수 없는 의미론과 동적 의미론의 상호작용으로부터 도출되는 새로운 예측은 무엇인가? 예를 들어 '당나귀 기능적' 질문은 어떻게 되는가?

주요 결과

• 이 이론은 '당나루 약한 교환' 위반 현상을 성공적으로 도출한다. 예를 들어, *Who loves every farmer who owns a donkey? *His mother*에서 유형 기반의 대화 참조 추적을 통해 불법적 언급을 차단한다.
• 이론은 (16a)의 '당나귀 기능적' 질문-답변 쌍을 예측하며, (16b)에서는 이에 해당하는 약한 교환 위반 현상도 예측한다. 이는 변수 없는 의미론을 동적 맥락으로 확장한 것이다.
• 이론은 *No girl walks. If she talks, she talks.* 와 같은 문장을 차단한다. 이는 두 번째 문장을 $e∘1$ 유형으로 할당함으로써 자유 대화 참조를 추적하며 표현 제약 조건 없이도 가능하다.
• 전체 범위의 바인딩 현상(18)은 동일한 변수 없는 메커니즘이 두 연결어에 모두 적용됨으로써 구성적 유형 구조를 통해 예측된다.
• (15a)의 기능적 질문-답변 쌍은 표준적인 변수 없는 기법을 사용하여 유도되며, (16a)는 동적 의미론으로의 확장을 보여준다.
• 이 프레임워크는 유형 생성자와 함자성을 사용하여 계산적 측면 효과를 모델링함으로써 직접적인 구성성을 달성한다. 이는 할당 함수를 피하고 의미 조합의 명료성을 유지한다.