모형-이론적 문법
Model-theoretic grammar| 다음에 대한 시리즈 일부 |
| 언어학 |
|---|
 포털 |
제약 조건 기반 그래머라고도 알려진 모델-이론적 그래머는 문장 집합을 정의하는 방식에서 생성적 그래머와 대조된다. 모델-이러티브 그래머는 구문적 객체를 생성하기 위한 연산을 제공하기보다는 구문 구조에 대한 제약을 설명한다.[1]생성문법은 재작성, 삽입, 삭제, 이동 또는 조합과 같은 일련의 작업을 제공하며, 이러한 작전이 반복적 응용을 통해 생산할 수 있는 모든 대상과 오직 하나의 대상의 집합에 대한 정의로 해석된다.모델이론적 문법은 단순히 어떤 물체가 충족해야 하는 일련의 조건들을 기술하고 있으며, 모든 제약을 만족시키는 특정한 종류의 모든 구조와 유일한 구조들의 집합을 정의하는 것으로 간주될 수 있다.[2]접근방식은 모델 이론의 수학적 기법을 통사적 서술의 과제에 적용한다: 문법은 논리학자의 의미에서의 이론(일관적인 진술 집합)이며, 잘 형성된 구조는 이론을 만족시키는 모델이다.
모델 이데아틱 그래머의 예
다음은 모델-이식 우산 아래에 있는 그래머의 표본이다.
- 잠재적 트리 시퀀스에[3] 대한 제약을 형성하는 조지 라코프의 변형 문법(TG)의 비절차적 변종
- 존슨 앤 포스트의 관계형 문법(RG) 공식화(1980), 가즈다르 외 연구진(1988), 블랙번 외 연구진(1993)과 로저스(1997)가 개발한 변종에서 일반화된 문구 구조 문법(GPSG)이다.[3]
- 로널드 카플란(1995)[3]의 공식화에 있어서 어휘 기능 문법(LFG)
- 킹의 공식화에 있어서 머리구조의 구조문법(HPSG)(1999)[3]
- 제약 조건 처리 규칙(CHR) 그래머[4]
힘
모델-이식성 그래머의 한 가지 이점은 모델-이식성 그래머티컬리티를 허용한다는 것이다.구조는 이론에서 약간만 벗어나거나 매우 이탈할 수 있다.이와는 대조적으로, 생성형 문법들은 "완벽한 것과 존재하지 않는 것 사이의 분명한 경계를 의미하며, 문법에 맞지 않는 그라데이션이 표현되는 것조차 허용하지 않는다."[5]
참조
- ^ Pullum, Geoffrey Keith; Scholz, Barbara C. (2001). "On the distinction between generative-enumerative and model-theoretic syntactic frameworks" (PDF). In de Groote, Philippe; Morrill, Glyn; Retor, Christian (eds.). Logical Aspects of Computational Linguistics: 4th International Conference. Springer Verlag. pp. 17–43.
- ^ Pullum, Geoffrey Keith (2007). "The evolution of model-theoretic frameworks in linguistics" (PDF). In Rogers, James; Kepser, Stephan (eds.). Model-theoretic syntax at 10 – Proceedings of the ESSLLI2007 MTS@10Workshop. Trinity College Dublin. pp. 1–10.
- ^ a b c d Müller, Stefan (2016). Grammatical theory: From transformational grammar to constraint-based approaches. Berlin: Language Science Press. pp. 490–491.
- ^ 크리스티안슨, 헤닝"여러 제약 상점이 있는 CHR 그래머."제약 조건 처리 규칙에 대한 첫 번째 워크샵: 선택된 기여.Ulm, Fakultet für Informatik, 2004.
- ^ Pullum, Geoffrey K. (2013). "The Central Question in Comparative Syntactic Metatheory". Mind & Language. 28 (4): 492–521. doi:10.1111/mila.12029.
