Model-theoretic grammars, also known as constraint-based grammars, contrast with generative grammars in the way they define sets of sentences: they state constraints on syntactic structure rather than providing operations for generating syntactic objects. A generative grammar provides a set of operations such as rewriting, insertion, deletion, movement, or combination, and is interpreted as a definition of the set of all and only the objects that these operations are capable of producing through iterative application. A model-theoretic grammar simply states a set of conditions that an object must meet, and can be regarded as defining the set of all and only the structures of a certain sort that satisfy all of the constraints. The approach applies the mathematical techniques of model theory
Attributes | Values |
---|
rdf:type
| |
rdfs:label
| - القواعد النظرية للنموذج (ar)
- Unifikační gramatika (cs)
- Grammaire d'unification (fr)
- Model-theoretic grammar (en)
|
rdfs:comment
| - Unifikační gramatika (anglicky unification grammar nebo model-theoretic grammar) je bezkontextová gramatika doplněná o pravidla popisující unifikaci nad vázanými na každý vrchol derivačního stromu. Jedná se o zobecnění atributových gramatik. Každý terminál (potažmo ) má přiřazenu strukturu rysů a každé pravidlo přidává do derivačního stromu rovnice nad těmito strukturami.Jednoduchý příkladem je například tato gramatika fragmentu angličtiny: Zvláštností unifikačních gramatik je, že přijímají i kontextové jazyky a algoritmus pro jejich parsing je NP-těžký. (cs)
- القواعد النظرية للنموذج، تعرف أيضًا باسم القواعد النحوية القائمة على القيد، تختلف مع القواعد النحوية التوليدية في الطريقة التي تحدد بها مجموعات الجمل: هي تحدد القيود على البنية النحوية بدلاً من توفير عمليات لتوليد الكائنات النحوية. توفر القواعد التوليدية مجموعة من العمليات مثل إعادة الكتابة، أو الإدراج، أو الحذف، أو الحركة، أو التوليفه ويتم تعريفها لمجموعة الكل والأشياء فقط التي يمكن لهذه العمليات إنتاجها من خلال التطبيق التكراري. ببساطة تنص القواعد النحوية للنموذج على مجموعة من الشروط التي يجب أن يستوفيها الكائن، تعتبر بمثابة تحديد لمجموعة الكل وفقط من نوع معين يفي بجميع القيود يطبق النهج الأساليب الرياضية لنظرية النماذج على مهمة الوصف النحوي: القواعد هي نظرية بمعنى المنطق (مجموعة متناسقة من العبارات) تتميز النماذج التي ترضي النظرية ببنية جيدة التشكيل. (ar)
- Model-theoretic grammars, also known as constraint-based grammars, contrast with generative grammars in the way they define sets of sentences: they state constraints on syntactic structure rather than providing operations for generating syntactic objects. A generative grammar provides a set of operations such as rewriting, insertion, deletion, movement, or combination, and is interpreted as a definition of the set of all and only the objects that these operations are capable of producing through iterative application. A model-theoretic grammar simply states a set of conditions that an object must meet, and can be regarded as defining the set of all and only the structures of a certain sort that satisfy all of the constraints. The approach applies the mathematical techniques of model theory (en)
- Les grammaires d'unification (ou grammaires de contraintes) sont des grammaires formelles apparues à partir des années 1980 pour analyser le langage naturel. Elles sont essentiellement caractérisées par le recours à des représentations syntaxiques sous forme de structures de traits. Ces structures de traits sont manipulées à l'aide de l'opération d'unification. Les grammaires d'unification sont facilement implémentables et donc bien adaptées au traitement automatique du langage naturel. (fr)
|
differentFrom
| |
dcterms:subject
| |
Wikipage page ID
| |
Wikipage revision ID
| |
Link from a Wikipage to another Wikipage
| |
sameAs
| |
dbp:wikiPageUsesTemplate
| |
has abstract
| - Unifikační gramatika (anglicky unification grammar nebo model-theoretic grammar) je bezkontextová gramatika doplněná o pravidla popisující unifikaci nad vázanými na každý vrchol derivačního stromu. Jedná se o zobecnění atributových gramatik. Každý terminál (potažmo ) má přiřazenu strukturu rysů a každé pravidlo přidává do derivačního stromu rovnice nad těmito strukturami.Jednoduchý příkladem je například tato gramatika fragmentu angličtiny: Zvláštností unifikačních gramatik je, že přijímají i kontextové jazyky a algoritmus pro jejich parsing je NP-těžký. (cs)
- القواعد النظرية للنموذج، تعرف أيضًا باسم القواعد النحوية القائمة على القيد، تختلف مع القواعد النحوية التوليدية في الطريقة التي تحدد بها مجموعات الجمل: هي تحدد القيود على البنية النحوية بدلاً من توفير عمليات لتوليد الكائنات النحوية. توفر القواعد التوليدية مجموعة من العمليات مثل إعادة الكتابة، أو الإدراج، أو الحذف، أو الحركة، أو التوليفه ويتم تعريفها لمجموعة الكل والأشياء فقط التي يمكن لهذه العمليات إنتاجها من خلال التطبيق التكراري. ببساطة تنص القواعد النحوية للنموذج على مجموعة من الشروط التي يجب أن يستوفيها الكائن، تعتبر بمثابة تحديد لمجموعة الكل وفقط من نوع معين يفي بجميع القيود يطبق النهج الأساليب الرياضية لنظرية النماذج على مهمة الوصف النحوي: القواعد هي نظرية بمعنى المنطق (مجموعة متناسقة من العبارات) تتميز النماذج التي ترضي النظرية ببنية جيدة التشكيل. (ar)
- Model-theoretic grammars, also known as constraint-based grammars, contrast with generative grammars in the way they define sets of sentences: they state constraints on syntactic structure rather than providing operations for generating syntactic objects. A generative grammar provides a set of operations such as rewriting, insertion, deletion, movement, or combination, and is interpreted as a definition of the set of all and only the objects that these operations are capable of producing through iterative application. A model-theoretic grammar simply states a set of conditions that an object must meet, and can be regarded as defining the set of all and only the structures of a certain sort that satisfy all of the constraints. The approach applies the mathematical techniques of model theory to the task of syntactic description: a grammar is a theory in the logician's sense (a consistent set of statements) and the well-formed structures are the models that satisfy the theory. (en)
- Les grammaires d'unification (ou grammaires de contraintes) sont des grammaires formelles apparues à partir des années 1980 pour analyser le langage naturel. Elles sont essentiellement caractérisées par le recours à des représentations syntaxiques sous forme de structures de traits. Ces structures de traits sont manipulées à l'aide de l'opération d'unification. Les grammaires d'unification sont facilement implémentables et donc bien adaptées au traitement automatique du langage naturel. Le terme est ambigu. Il peut désigner n'importe quelle grammaire formelle qui utilise l'unification. L'accent est alors plutôt mis sur le formalisme. Ou bien il désigne les grammaires d'unification qui ont été optimisées pour formaliser une théorie linguistique particulière. C'est le cas par exemple de LFG et HPSG. L'accent est alors mis autant sur le formalisme que sur la théorie linguistique formalisée, au point que ces grammaires sont désignées comme des théories linguistiques. (fr)
|
prov:wasDerivedFrom
| |
page length (characters) of wiki page
| |
foaf:isPrimaryTopicOf
| |
is Link from a Wikipage to another Wikipage
of | |
is Wikipage redirect
of | |
is foaf:primaryTopic
of | |