Montague Grammar
범주문법 (Categorical Grammar) 은 폴란드의 논리수학자 아이두키에비치(Kazimierz Ajdukiewicz)가 인공언어와 자연언어 표현의 문법성을 판단할 수 있는 하나의 규칙체계를 찾아 내기 위해 고안한 문법이론이다. 이 이론은 Frege 원리를 따르면서 내포의미론을 가능케 해 주는 체계를 갖춘 형식화된 문법이론으로, Yehoshua Bar-Hillel이 Chomsky의 구구조문법과 구별하기 위하여 처음으로 이 용어를 사용하기 시작하였으며, Richard Montague 에 이르러 더욱 구체화되어 Motague Grammar로도 불려진다. .......... (언어학사전 : 김형주의 글말닷컴)
자연어를 논리식으로 표현하려는 것이 Montague Grammar의 발상이다. 단, 이때 자연어란 정상적인 (진위를 논할 수 있는) 문장이어야 한다. 예를 들면, 다음 문장을 논리식으로 변환하는 것을 생각해 보자. .......... (최기선 1992)
모든 사람은 잠을 잔다.
이 문장은 다음과 같이 바꾸어 말할 수 있다.
만약 x가 사람이라면, x는 잠을 잔다.
이것을 이론식으로 나타내면 다음과 같다.
∀x[사람(x)→잠을 잔다(x)]
term :
언어학 (Linguistics) 인공지능 (Artificial Intelligence) 자연어처리 (Natural Language Processing) 몬태규 문법 (Montague Grammar)
site :
paper :