자연언어 의미론을 위한 강타입 온톨로지 기반 구성주의

초록

이 논문은 인간의 상식적 세계관을 반영한 강타입 온톨로지를 도입해 의미론을 구성하면, 복잡한 자연언어 현상들을 거의 자동적으로 해석할 수 있음을 보인다. 타입 통합(type unification) 규칙을 통해 명사·형용사·명사구의 의미를 형식화하고, 실제·추상 존재 구분을 명시함으로써 ‘존재‑정체성’ 문제와 명사 복합어 해석을 간단히 해결한다.

상세 분석

논문은 먼저 기존 의미론이 “트리비얼한 온톨로지(예: 단순한 개체와 관계만 존재)”에 머물러 있어 일상 언어의 복잡성을 포착하지 못한다는 점을 지적한다. 이를 극복하기 위해 저자는 강타입 온톨로지(strongly typed ontology) 를 가정한다. 여기서 각 개체는 animal, entity, human 등과 같은 상위 개념에 속하며, 이러한 개념들은 부분집합(subsumption) 관계 로 연결된다.

핵심 기호는 x :: t 로, 변수 x가 타입 t에 속함을 나타낸다. 속성(property)이나 관계는 해당 타입에만 적용 가능하도록 정의한다. 예를 들어 Articulate(x :: human) 은 ‘x가 인간이며, 인간에게만 적용되는 ‘articulate’ 속성을 가진다’를 의미한다.

다음으로 타입 통합(type unification) 규칙을 제시한다. 두 타입 s와 t가 동일 스코프 내에서 결합될 때, 가장 구체적인 공통 상위 타입(lub, least upper bound) s • t 로 통합한다. 부분집합 관계에서는 human • entity = human 과 같이 단순히 하위 타입을 선택한다. 그러나 명사 복합어와 같이 부분집합이 아닌 관계에서는 별도의 규칙이 필요하다. 예를 들어 book review는 ReviewOf(book, x) 형태로 변환되며, 여기서 book은 실제 존재해야 하는 객체이고 review는 활동이다. 반면 book proposal은 ProposalFor(book, x) 로, 제안 대상인 책은 아직 존재하지 않을 수도 있음을 허용한다.

논문은 추상 존재(abstract existence) 와 실제 존재(actual existence) 를 구분한다. Imminent(e :: event) 와 같이 사건이 아직 일어나지 않았을 때는 event 타입을 추상적으로 취급한다. 타입 통합 규칙에 따라 important ∧ imminent 와 같이 두 속성이 결합될 경우, 결과는 여전히 event 타입이며 추상 존재로 남는다. 실제 존재로 전환하려면 추가 문맥(예: “the event was lengthy”)이 제공되어야 한다.

또한 정체성(identity) 문제를 다룬다. William H. Bonney is Billy the Kid 와 같은 동등성 선언은 두 개체가 동일한 실체임을 나타내며, 타입 통합을 통해 whb(William H. Bonney)와 btk(Billy the Kid) 모두 entity 타입으로 결합된다. 반면 William H. Bonney is William H. Bonney 은 단순히 동일성을 재진술하는 것이므로 의미적 내용이 거의 없다.

명사구 해석에서 첫 번째(ontological) 개념과 두 번째(logical) 개념을 구분한다. human 은 첫 번째 개념으로 존재론적 실체이며, Artist, Young 와 같은 속성은 두 번째 개념으로, 문화·시점에 따라 정의가 변할 수 있다. 이러한 구분은 속성의 우발성(accidental) 과 본질성(essential) 을 명확히 구분하게 해준다.

마지막으로, 타입 통합이 실패할 경우를 논한다. Artificial car와 같이 Artificial :: naturalObj 와 car :: artifact 사이에 관계가 없으면 통합이 불가능하고, 이는 상식에 어긋나는 표현으로 판정된다. 이러한 실패는 논리 수준에서 추가 검증을 통해 잡을 수 있다.

전체적으로 논문은 형식 논리에 온톨로지적 정보를 삽입함으로써, 기존 의미론이 겪던 ‘의미와 존재의 불일치’를 해소하고, 복합어·속성·동등성 등 다양한 언어 현상을 거의 자동적으로 해석할 수 있는 프레임워크를 제시한다.