[논문 리뷰] An Implemented Formalism for Computing Linguistic Presuppositions and Existential Commitments

Daniel Marcu, Graeme Hirst|ArXiv.org|1995. 04. 26.

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

한 줄 요약

이 논문은 마이논지안 철학적 체계와 그리스의 대화 원칙을 기반으로 한 계층적 논리에 기초하여 언어적 전제와 존재적 약속을 균일하게 계산할 수 있는 계산적으로 구현된 형식 체계를 제시한다. 풍부한 온톨로지와 제약 없는 양화사 해석을 통합함으로써, 이 프레임워크는 단일이고 일관된 논리 체계 내에서 비존재적이고 존재적인 전제를 모두 다루는 계산 가능하고 체계적인 유도를 가능하게 하며, 전제 계산의 완전한 자동화를 달성한다.

ABSTRACT

We rely on the strength of linguistic and philosophical perspectives in constructing a framework that offers a unified explanation for presuppositions and existential commitment. We use a rich ontology and a set of methodological principles that embed the essence of Meinong's philosophy and Grice's conversational principles into a stratified logic, under an unrestricted interpretation of the quantifiers. The result is a logical formalism that yields a tractable computational method that uniformly calculates all the presuppositions of a given utterance, including the existential ones.

연구 동기 및 목표

• 비존재적 전제와 존재적 약속을 포함한 모든 유형의 언어적 전제를 식별하고 계산할 수 있는 통합된 계산 프레임워크를 개발하는 것.
• 마이논의 온톨로지와 그리스의 대화 원칙에서 비롯된 철학적 통찰을 자연어 처리를 위한 형식적 논리 기반 시스템에 통합하는 것.
• 제약 없는 양화사 해석 하에서 전제 계산이 계산 가능하고 자동화될 수 있도록 하는 것.
• 단일 논리 형식 체계 내에서 비존재적 전제와 존재적 전제를 구분할 수 있는 체계적인 방법을 제공하는 것.
• 실제 응용에 활용 가능한 계산 의미론 분야에서의 실용적 적용을 지원할 수 있도록 형식 체계를 구현하는 것.

제안 방법

• 다양한 유형의 의미적 약속(예: 양화사 및 참조 표현과 관련된 것들)을 표현하기 위해 다수의 수준을 가진 계층적 논리를 사용하는 형식 체계.
• 존재, 비존재, 불가능한 존재 방식을 포함한 물체와 그 존재 방식에 대한 마이논지안 원칙을 전제 추론을 지원하는 논리적 구조에 통합.
• 대화 원칙을 기반으로 한 그리스 원칙을 활용하여 추론 과정을 이끌어내어 전제가 담론의 실용적 기대와 일치하도록 보장.
• 엔티티와 그 성질을 정확히 추적할 수 있도록 참조적 약속과 존재적 약속을 위한 풍부한 수동 작성 온톨로지를 사용.
• 형식 체계를 계산 시스템에 구현하여 언어적 표현을 처리하고 제약 없는 양화사 해석 하에서 논리적 추론을 통해 모든 전제를 도출.
• LaTeX 기반의 구현으로 특정 소스 파일과 경고 처리를 포함하여, 계산 의미론 분야에서의 테스트를 위한 프로토타입 시스템임을 나타냄.

실험 결과

연구 질문

• RQ1 어떻게 단일 형식 체계가 비존재적 전제와 존재적 전제를 균일하게 계산할 수 있는가?
• RQ2 마이논지안적 존재성과 존재적 약속을 계산 환경에서 모델링하기 위해 필요한 논리적 및 온톨로지적 기초는 무엇인가?
• RQ3 그리스 원칙은 어떻게 형식적 논리 기반 시스템에 공식적으로 통합되어 전제 추론을 이끌 수 있는가?
• RQ4 제약 없는 양화사를 가진 계층적 논리는 계산 가능하고 완전한 전제 계산을 지원할 수 있는가?
• RQ5 풍부한 온톨로지는 정확하고 체계적인 전제 유도를 가능하게 하는 데 어떤 역할을 하는가?

주요 결과

• 형식 체계는 비존재하거나 불가능한 존재를 포함한 모든 전제를 단일한 통합 메커니즘을 통해 성공적으로 계산한다.
• 시스템은 확정적 서술어에 의해 유도되는 존재적 약속과 같은 존재적 약속도 다른 전제들과 동일한 논리 프레임워크를 사용하여 체계적으로 도출할 수 있음을 보여준다.
• 마이논지안 온톨로지의 통합은 실제 세계에 존재하지 않는 엔티티의 일관된 표현을 가능하게 하여 의미적 일관성을 유지한다.
• 그리스 원칙의 활용은 전제 추론이 담론의 실용적 기대와 일치하도록 보장하여 자연스럽고 관련성이 높은 결과를 도출한다.
• 구현은 완전히 기능하며, 국제 컴퓨팅 의미학 워크숍의 발표 자료에서 보여지듯이 언어 입력을 처리하여 완전한 전제 집합을 도출할 수 있다.
• 논리적으로 일관되고 공식적으로 기반된 프레임워크 내에서 특수한 규칙 없이도 전제 계산의 완전한 자동화를 달성한다.