[논문 리뷰] Montague Semantics for Lambek Pregroups

Giovanni de Felice, Konstantinos Meichanetzidis외 1명|arXiv (Cornell University)|2019. 05. 17.

Semantic Web and Ontologies인용 수 1

한 줄 요약

이 논문은 집합과 관계의 범주에서의 분포적 조합 모델(DisCo)과 관계형 데이터베이스 사이의 형식적 연결을 수립하여, 자연어의 일부 분할에서 문장 의미론과 함의 관계가 순수하게 연결 쿼리 평가와 포함성 문제로 감소함을 보여준다. 또한 이 틀에서의 질문 응답이 NP-완전임을 입증하여 조합적 의미론에 복잡도 이론적 기반을 제공한다.

ABSTRACT

Distributional compositional (DisCo) models are functors that compute the meaning of a sentence from the meaning of its words. We show that DisCo models in the category of sets and relations correspond precisely to relational databases. As a consequence, we get complexity-theoretic reductions from semantics and entailment of a fragment of natural language to evaluation and containment of conjunctive queries, respectively. Finally, we define question answering as an NP-complete problem.

연구 동기 및 목표

• 집합과 관계의 범주에서의 DisCo 모델과 관계형 데이터베이스 사이의 연결을 형식화하기 위해.
• 자연어 의미론과 함의 관계를 데이터베이스 쿼리 평가와 포함성 문제로의 복잡도 이론적 감소를 확립하기 위해.
• 이 형식 체계에서 질문 응답의 계산 복잡도를 특성화하기 위해.
• 관계 구조를 사용하여 조합적 분포적 의미론에 대한 범주론적이고 계산 기반의 기초를 제공하기 위해.

제안 방법

• Lambek 전군에서 집합과 관계의 범주로의 함자로서 DisCo 의미론을 모델링하기 위해.
• 단어 의미를 관계로 표현하고, 전군 문법 유형을 통해 문장 의미를 관계적 조합으로 구성하기 위해.
• 문장 함의를 관계형 데이터베이스에서의 연결 쿼리 포함성으로 매핑하기 위해.
• 입력의 관계형 데이터베이스 표현에서 연결 쿼리 평가로 질문 응답을 감소시키기 위해.
• 관계 구조를 활용하여 계산 복잡도를 분석하고, 질문 응답의 NP-완전성을 입증하기 위해.
• 기존의 데이터베이스 쿼리 복잡도 결과를 활용하여 의미 작업의 복잡도 한계를 유도하기 위해.

실험 결과

연구 질문

• RQ1 집합과 관계의 범주에서의 DisCo 모델은 관계형 데이터베이스와 어떻게 관련이 있는가?
• RQ2 이 틀에서 문장 의미 평가가 데이터베이스의 연결 쿼리 평가로 감소할 수 있는가?
• RQ3 이 형식 체계에서 문장 간 함의는 연결 쿼리의 포함성과 동치인가?
• RQ4 이 모델에서 질문 응답의 계산 복잡도는 무엇인가?
• RQ5 Lambek 전군의 범주적 구조를 활용하여 자연어 의미론의 복잡도 이론적 결과를 도출할 수 있는가?

주요 결과

• 집합과 관계의 범주에서의 DisCo 모델은 관계형 데이터베이스와 등장사상(isomorphic)이며, 정확한 범주론적 대응 관계를 수립한다.
• 문장 의미 평가가 관계형 데이터베이스에서의 연결 쿼리 평가로 감소한다.
• 문장 간 함의가 연결 쿼리의 포함성으로 감소한다.
• 이 틀에서의 질문 응답은 NP-완전이며, 날것의 복잡도 경계를 확립한다.
• 이 형식 체계는 자연어 의미론에 데이터베이스 쿼리 최적화 및 복잡도 이론의 적용을 가능하게 한다.