قواعد اللغة القائمة على نظرية النموذج

تختلف القواعد النحوية القائمة على نظرية النماذج ، والمعروفة أيضًا بالقواعد النحوية القائمة على القيود ، عن القواعد النحوية التوليدية في طريقة تعريفها لمجموعات الجمل: فهي تحدد قيودًا على البنية النحوية بدلًا من توفير عمليات لتوليد الكائنات النحوية. ^{[ 1 ]} توفر القواعد النحوية التوليدية مجموعة من العمليات مثل إعادة الكتابة، والإدراج، والحذف، والنقل، والدمج، وتُفسَّر على أنها تعريف لمجموعة جميع الكائنات التي يمكن لهذه العمليات إنتاجها من خلال تطبيقها بشكل متكرر. أما القواعد النحوية القائمة على نظرية النماذج، فتحدد ببساطة مجموعة من الشروط التي يجب أن يستوفيها الكائن، ويمكن اعتبارها تعريفًا لمجموعة جميع البنى من نوع معين التي تستوفي جميع القيود. ^{[ 2 ]} يطبق هذا النهج التقنيات الرياضية لنظرية النماذج على مهمة الوصف النحوي: فالقواعد النحوية هي نظرية بالمعنى المنطقي (مجموعة متسقة من العبارات)، والبنى السليمة هي النماذج التي تستوفي النظرية.

قدم ديفيد إي. جونسون وبول إم. بوستال فكرة بناء الجملة القائم على نظرية النموذج في كتابهما الصادر عام 1980 بعنوان " قواعد أزواج القوس" . ^{[ 3 ]}

فيما يلي عينة من القواعد النحوية التي تندرج تحت مظلة نظرية النموذج:

• المتغير غير الإجرائي لقواعد التحويل (TG) لجورج لاكوف ، والذي يصوغ قيودًا على تسلسلات الأشجار المحتملة ^{[ 4 ].}
• صياغة جونسون وبوستال للقواعد النحوية العلائقية (RG) (1980)، وقواعد بنية العبارة المعممة (GPSG) في المتغيرات التي طورها غازدار وآخرون (1988)، وبلاكبيرن وآخرون (1993) وروغرز (1997) ^{[ 4 ].}
• القواعد الوظيفية المعجمية (LFG) في صياغة رونالد كابلان (1995) ^{[ 4 ]}
• قواعد بنية العبارة الموجهة بالرأس (HPSG) في صياغة King (1999) ^{[ 4 ]}
• قواعد معالجة القيود (CHR) ^{[ 5 ]}
• النموذج الضمني الذي يقوم عليه كتاب قواعد اللغة الإنجليزية في كامبريدج ^{[ 6 ]}

إحدى مزايا القواعد النحوية النموذجية مقارنةً بالقواعد النحوية التوليدية هي أنها تسمح بالتدرج في صحة القواعد النحوية . فقد ينحرف التركيب قليلاً عن النظرية، أو قد ينحرف عنها انحرافاً كبيراً. في المقابل، "تتضمن القواعد النحوية التوليدية حداً فاصلاً حاداً بين التام وغير الموجود، ولا تسمح حتى بتمثيل التدرج في عدم صحة القواعد النحوية". ^{[ 7 ]}