[논문 리뷰] DATR Theories and DATR Models

Bill Keller|ArXiv.org|1995. 05. 02.

Logic, Reasoning, and Knowledge참고 문헌 11인용 수 5

한 줄 요약

이 논문은 자연어 어휘를 표현하기 위한 비단조화적 언어인 DATR에 대한 형식적이고 기호적인 수학적 의미론을 제공한다. DATR를 케이스 기반 규칙을 통해 부분 함수를 정의하는 것으로 모델링하고, 값 기술자를 경로 색인화된 가족으로 해석함으로써 DATR의 전역적 맥락과 기본값 메커니즘에 대한 투명한 설명을 제공한다. 이는 이론적 기초에서 오랫동안 애매하게 여겨졌던 문제를 해결한다.

ABSTRACT

Evans and Gazdar introduced DATR as a simple, non-monotonic language for representing natural language lexicons. Although a number of implementations of DATR exist, the full language has until now lacked an explicit, declarative semantics. This paper rectifies the situation by providing a mathematical semantics for DATR. We present a view of DATR as a language for defining certain kinds of partial functions by cases. The formal model provides a transparent treatment of DATR's notion of global context. It is shown that DATR's default mechanism can be accounted for by interpreting value descriptors as families of values indexed by paths.

연구 동기 및 목표

• DATR에 대한 형식적이고 기호적인 의미론이 부족한 문제를 해결하기 위해, 자연어 어휘를 표현하는 데 널리 사용되지만 이론적으로 명확하지 않은 언어인 DATR에 대해 기초를 마련한다.
• 이전에는 운영적으로 다뤄졌던 DATR의 전역적 맥락 메커니즘에 대해 수학적으로 엄밀한 해석을 제공한다.
• 값 기술자를 경로로 색인화된 값의 가족으로 모델링하여 DATR의 기본값 메커니즘을 형식화한다.
• 케이스 기반 규칙을 통해 부분 함수가 어떻게 계산되는지 명확하게 설명함으로써 의미론의 투명성과 정확성을 확보한다.
• 기존 DATR 구현의 정확성과 일致성을 보장하는 이론적 기초를 확립한다.

제안 방법

• 케이스 구분을 통해 부분 함수를 정의하는 언어로 DATR를 모델링하고, 규칙 적용을 형식적 논리로 표현한다.
• 값 기술자를 경로로 색인화된 값의 가족으로 정의함으로써 기본값의 체계적인 해석을 가능하게 한다.
• 전역 맥락을 함수 정의 도메인의 일부로 간주하는 형식적 의미론을 도입함으로써 맥락에 민감한 평가를 보장한다.
• 경로 기반 색인화를 사용하여 상속과 기본값 해석을 모델링함으로써 비단조화적 행동을 수학적으로 투명하게 표현한다.
• 모듈러하고 조합적인 추론을 지원하는 조합적 의미론을 제공한다.
• 기존 DATR 행동과 구현과의 일致성을 입증함으로써 모델을 검증한다.

실험 결과

연구 질문

• RQ1 DATR의 비단조화적 행동은 어떻게 기호적 의미론을 통해 형식적으로 포착할 수 있는가?
• RQ2 DATR의 전역 맥락 메커니즘은 정확히 어떤 수학적 해석을 가질 수 있는가?
• RQ3 DATR의 기본값 메커니즘은 어떻게 경로로 색인화된 값의 가족으로 모델링할 수 있는가?
• RQ4 DATR의 규칙 기반 계산은 부분 함수 정의로 형식화될 수 있는가?
• RQ5 제안된 의미론은 기존 DATR 구현의 동작을 유지하는가?

주요 결과

• 논문은 DATR에 대한 형식적이고 기호적인 의미론을 확립하여 오랫동안 애매하게 여겨졌던 이론적 기초의 모순을 해결한다.
• DATR의 전역 맥락은 함수 정의 도메인의 일부로 공식적으로 해석되어 투명하고 일관된 맥락에 민감한 평가를 가능하게 한다.
• 값 기술자를 경로로 색인화된 값의 가족으로 간주함으로써 기본값 메커니즘이 체계적으로 모델링된다.
• 케이스 기반 함수 정의를 통해 비단조화적 행동을 의미론적으로 설명함으로써 DATR의 의도된 계산 행동을 유지한다.
• 모델은 DATR 구현의 검증과 그 정확성에 대한 추론을 위한 기초를 제공한다.
• 형식화는 조합적 추론을 지원하고 DATR 기반 어휘 표현의 이론적 신뢰성을 향상시킨다.