재화(언어학)
Reification (linguistics) |
자연어 처리에서 재화는 자연어 문장이 변형되어 그 안의 작용과 사건이 수량화할 수 있는 변수가 되는 것을 말한다.예를 들어 "존이 오리를 맹렬히 쫓았다"는 것은 다음과 같은 것으로 변형될 수 있다.
- (Exists e)(e) & past_tense(e) & 배우(e, John) & 격앙된(e) & 환자(e,duck)
또 다른 예로는 "샐리 말로는 존이 비열하다고 했다"가 있을 것인데, 이것은 다음과 같은 것으로 표현될 수 있다.
- (Exists u,v)(saying(u) & past_tense(u) & u,sally) & un(u,v) & aly(v) & door(v) & mane(v)
이러한 표현은 긴장성, 형식성, 부사구축, 명제적 주장(예: "X"라고 하는 명제적 주장) 등을 사용했기 때문에 난해해해 보였을 진술에도 고전적 1차 술어 미적분학의 도구를 사용할 수 있게 한다.이는 술어 미적분학이 더 복잡한 대안(고차 로직, 모달 로직, 시간 로직 등)보다 더 잘 이해되고 단순하며 이를 조작할 수 있는 더 나은 자동화 도구(예: 자동화된 정리 프로버 및 모델 체커)가 존재하기 때문에 장점이다.
수정된 형태는 1차 논리 적용 외에 다른 용도로 사용될 수 있다. 한 예는 동의어 구문의 자동 발견이다.[1][2]
재조정된 형태를 준논리적 형태라고 부르기도 하고 실존변수를 스콜렘 상수로 취급하기도 한다.[2]
모든 자연어 구문이 일차적으로 논리적으로 통일된 번역을 인정하는 것은 아니다.예시와 토론을 위해 당나귀 문장을 보라.
