담화 표현 이론

Discourse representation theory

형식 언어학에서 담화 표현 이론(DRT)은 형식 의미론적 접근법에 따라 의미를 탐구하는 틀이다. DRT 스타일 접근법과 전통적인 몬타고비아 접근법의 주요한 차이점 중 하나는 DRT가 그것의 형식주의 안에 추상적인 정신적 표현 수준(장애 표현 구조, DRS)을 포함하고 있다는 것이며, 이것은 문장 경계를 가로질러 의미를 처리할 수 있는 내재적 능력을 부여한다. DRT는 1981년 Hans Kamp에 의해 만들어졌다.[1] 매우 유사한 이론이 1982년 아이린 헤임의해 파일 변경 의미론(FCS)이라는 이름으로 독자적으로 개발되었다.[2] 담화 표현 이론은 의미 파서[3]자연 언어 이해 시스템을 구현하기 위해 사용되어 왔다.[4][5][6]

담화 표현 구조

DRT는 담화 표현 구조(DRS)를 사용하여 시간에 따라 펼쳐지는 담화에 대한 착용자의 정신적 표현을 나타낸다. DRS에는 다음과 같은 두 가지 중요한 구성 요소가 있다.

  • 논의 중인 실체를 나타내는 일련의 담화 참조자.
  • 담화 참조인에 대해 제공된 정보를 나타내는 DRS 조건 집합.

아래의 문장(1)을 고려하십시오.

(1) 농부는 당나귀를 소유하고 있다.

(1)의 DRS는 아래 (2)로 표기할 수 있다.

(2) [x,y:농부(x), 당나귀(y), 소유주(x,y)]

(2)가 말하는 것은 x와 y라는 두 개의 담화 참조자가 있고, 농부와 당나귀, 소유자가 세 가지 담화 조건이 있는데, 이는 농부가 x를, 당나귀가 y를, 쌍 x와 y를 소유하는 조건이다.

비공식적으로 (2)의 DRS는 해당 모델에 조건을 충족하는 실체가 있는 경우에만 해당 평가 모델에 적용된다. 따라서 한 모델에 두 명의 개인이 포함되어 있고, 한 명은 농부, 다른 한 명은 당나귀, 그리고 첫 번째 소유자가 두 번째 소유자인 경우, (2)의 DRS는 그 모델에서 사실이다.

후속 문장을 변경하면 기존 DRS가 업데이트된다.

(3) 그는 그것을 친다.

(1) 이후(3)를 뱉으면 (2)에서 DRS가 (4)에서 다음과 같이 업데이트된다(어느 대명사가 어떤 개인을 지칭하는지 설명하는 방법을 가정한다).

(4) [x,y:농부(x), 당나귀(y), 자기(x,y), 비트(x,y)]

부정이 담긴 문장, 조건부 등 좀 더 복잡한 문장의 경우 과정이 다소 복잡하지만 문장의 연속적인 발음은 비슷한 방식으로 작용한다.

당나귀 아나포라

어떤 의미에서, DRT는 1차 공식과 그 안에서 발생하는 자유 변수들의 쌍인 1차 공식 미적분의 변화를 제공한다. 전통적인 자연어 의미론에서는 개별 문장만 검토하지만, 대화의 문맥은 의미에서도 역할을 한다. 예를 들어, 그녀와 같은 문어 대명사들은 의미를 가지기 위해 이전에 소개된 개별 상수에 의존한다. DRT는 이 문제를 설명하기 위해 모든 개별 상수에 대한 변수를 사용한다. 담론은 담화표현구조(DRS)로, 변수는 상단에, 문장은 아래 형식 언어로 된 담화 순서에 따라 표현된다. 하위 DRS는 다양한 유형의 문장에 사용될 수 있다.

DRT의 주요 장점 중 하나는 당나귀 문장(Geach 1962)을 원칙적인 방식으로 설명하는 능력이다.

(5) 당나귀를 소유한 모든 농부가 당나귀를 때린다.

문장(5)은 다음과 같이 구문 분석할 수 있다. 당나귀를 소유한 모든 농부는 자신이 소유한 당나귀를 때린다. 몬타고비아식 접근법에 따르면, 본질적으로 실존적 정량자로 가정되는 무한정 당나귀는 결국 보편적 정량자가 되고, 정량적 힘의 변화는 어떠한 원칙적인 방법으로도 설명할 수 없기 때문에 달갑지 않은 결과인, 달갑지 않은 결과가 된다.

DRT는 변증인들이 정신 표현에 저장되고 대명사 및 기타 양극 요소와 같은 표현에 접근할 수 있는(또는 조건에 따라) 담화 참조자(DR)를 도입한다고 가정함으로써 이 문제를 회피한다. 더욱이, 그것들은 본질적으로 비정량적이며, 맥락에 따라 정량적 힘을 취한다.

반면에 진정한 정량자(예: '모든 교수')는 범위가 있다. 'ever-NP'는 K1 → K2 형식의 복잡한 조건의 도입을 유발하며, 여기서 K1과 K2는 각각 정량화의 제한과 범위를 나타내는 하위 DRS이다.

실제 정량자와 달리, 무한정 NP는 새로운 DR(DR 조건 측면에서 일부 설명 자료와 함께)을 제공하는데, 이는 더 큰 구조로 배치된다. 이 더 큰 구조는 분석된 NP의 문장-내부 환경에 따라 최상위 DRS 또는 일부 하위 DRS가 될 수 있다. 즉, 나중에 나오는 양극이 접근할 수 있는 수준이 될 수 있다.

참고 항목

참조

  1. ^ 1993년 미국 캄프, 한스, 레이일. 담론에서 논리학으로. 클루워, 도드레흐트.
  2. ^ Javier Gutiérrez-Rexach (2003). Semantics: Noun phrase classes. Taylor & Francis. ISBN 978-0-415-26635-2.
  3. ^ 구즈만, 프란시스코 등 "담론 구조를 사용하면 기계번역 평가가 향상된다." 제52회 연산언어학협회 연차총회(제1권: 장편논문)의 진행. 2014년 1권
  4. ^ 아렌베르크, 라르스, 아르네 욘손, 닐스 달벡. 자연어 대화 시스템을 위한 담화 표현 담화 관리. Universitetet i Linköping/Tekniska Högskolan i Linköping. Instituten för Databetenskap, 1991.
  5. ^ 라파포트, 윌리엄 J. "합성 의미론: 계산적 자연어 이해의 기초." 생각하는 컴퓨터와 가상의 사람들. 1994. 225-273.
  6. ^ Juan Carlos Augusto; Reiner Wichert; Rem Collier; David Keyson, Albert A. Salah and Ah-Hwee Tan (23 November 2013). Ambient Intelligence: 4th International Joint Conference, AmI 2013, Dublin, Ireland, December 3–5, 2013. Proceedings. Springer. ISBN 978-3-319-03647-2.

외부 링크