Modellteoretisk grammatik

Modellteoretisk grammatik , även känd som begränsningsbaserad grammatik, kontrasterar mot generativ grammatik på det sätt de definierar uppsättningar meningar: de anger begränsningar för syntaktisk struktur snarare än att tillhandahålla operationer för att generera syntaktiska objekt. En generativ grammatik tillhandahåller en uppsättning operationer såsom omskrivning, infogning, radering, rörelse eller kombination, och tolkas som en definition av uppsättningen av alla och endast de objekt som dessa operationer kan producera genom iterativ tillämpning. En modellteoretisk grammatik anger helt enkelt en uppsättning villkor som ett objekt måste uppfylla, och kan betraktas som en definition av mängden av alla och endast strukturer av en viss sort som uppfyller alla begränsningar. Tillvägagångssättet tillämpar modellteorins matematiska tekniker för uppgiften att syntaktisk beskrivning: en grammatik är en teori i logikerns mening (en konsekvent uppsättning påståenden) och de välformade strukturerna är de modeller som uppfyller teorin.

Exempel på modellteoretisk grammatik

Följande är ett urval av grammatiker som faller under det modellteoretiska paraplyet:

den icke-procedurmässiga varianten av Transformational grammatik (TG) av George Lakoff , som formulerar begränsningar för potentiella trädsekvenser
Johnson och Postals formalisering av Relational grammatik (RG) (1980), Generalized phrase structure grammatik (GPSG) i varianterna utvecklade av Gazdar et al. (1988), Blackburn et al. (1993) och Rogers (1997)
Lexikal funktionell grammatik (LFG) i formaliseringen av Ronald Kaplan (1995)
Huvuddriven frasstrukturgrammatik (HPSG) i formaliseringen av King (1999)
Grammatik för Constraint Handling Rules (CHR).

Styrkor

En fördel med modellteoretisk grammatik framför generativ grammatik är att de tillåter gradient i grammatik. En struktur kan avvika endast något från en teori eller den kan vara mycket avvikande. Generativa grammatiker däremot "innebär en skarp gräns mellan det perfekta och det obefintliga, och tillåter inte ens lutning i ogrammatikaliteten att representeras."