| Categorial Grammar |
Website Links For Grammar |
Information AboutCategorial Grammar |
| CATEGORIES ABOUT CATEGORIAL GRAMMAR | |
| grammar frameworks | |
| SHOPPER'S DELIGHT | |
|
BASICS OF CATEGORIAL GRAMMAR A categorial grammar shares some features with the simply-typed Lambda Calculus . Whereas the s in the category ''N'', Adjective s in the category ''N/N'', Determiner s in the category ''NP/N'', names in the category ''NP'', intransitive Verb s in the category ''S\NP'', and transitive verbs in the category ''(S\NP)/NP''. Categorial grammars of this form (having only function application rules) are equivalent in generative capacity to Context-free Grammar and are thus often considered inadequate for theories of natural language syntax. Unlike CFGs, categorial grammars are Lexicalized , meaning that only a small number of (mostly language-independent) rules are employed, and all other syntactic phenomena derive from the lexical entries of specific words. Another appealing aspect of categorial grammars is that it is often easy to assign them a compositional semantics, by first assigning Interpretation Type s to all the Basic Categories , and then associating all the Derived Categories with appropriate Function types. The interpretation of any constituent is then simply the value of a function at an argument. With some modifications to handle Intensionality and Quantification , this approach can be used to cover a wide variety of semantic phenomena. HISTORICAL NOTES The basic ideas of categorial grammar date from work by Kazimierz Ajdukiewicz (in 1935) and Yehoshua Bar-Hillel (in 1953). In 1958, Joachim Lambek introduced a Syntactic Calculus that formalized the function type constructors along with various rules for the combination of functions. This calculus is a forerunner of Linear Logic in that it is a Substructural Logic . Montague Grammar uses an ad hoc syntactic system for English that is based on the principles of categorial grammar. Although Montague's work is sometimes regarded as syntactically uninteresting, it helped to bolster interest in categorial grammar by associating it with a highly successful formal treatment of natural language Semantics . More recent work in categorial grammar has focused on the improvement of syntactic coverage. One formalism which has received considerable attention in recent years is Steedman and Szabolcsi's Combinatory Categorial Grammar which builds on Combinatory Logic invented by Moses Schonfinkel and Haskell Curry . There are a number of related formalisms of this kind in linguistics. Another one is Type logical grammar. SOME DEFINITIONS
A derivation is a binary tree that encodes a proof.
In a left (right) function application, the node of the type A\B (A/B) is called the functor, and the node of the type A is called an argument.
REFINEMENTS OF CATEGORIAL GRAMMAR A variety of changes to categorial grammar have been proposed to improve syntactic coverage. Some of the most common ones are listed below. Features and subcategories Most systems of categorial grammar subdivide categories. The most common way to do this is by tagging them with Features , such as Person , Gender , Number , and Tense . Sometimes only atomic categories are tagged in this way. In Montague grammar, it is traditional to subdivide function categories using a multiple slash convention, so ''A/B'' and ''A//B'' would be two distinct categories of left-applying functions, that took the same arguments but could be distinguished between by other functions taking them as arguments. Function composition Rules of function composition are included in many categorial grammars. An example of such a rule would be one that allowed the concatenation of a constituent of type ''A/B'' with one of type ''B/C'' to produce a new constituent of type ''A/C''. The semantics of such a rule would simply involve the composition of the functions involved. Function composition is important in categorial accounts of Conjunction and Extraction , especially as they relate to phenomena like Right Node Raising . The introduction of function composition into a categorial grammar leads to many kinds of derivational ambiguity that are vacuous in the sense that they do not correspond to semantic ambiguities. Conjunction Many categorial grammars include a typical conjunction rule, of the general form ''X CONJ X → X'', where ''X'' is a category. Conjunction can generally be applied to nonstandard constituents resulting from type raising or function composition. Type raising Rules of type raising allow one to convert an expression of category ''X'' into one of category ''Y/(Y\X)'' or ''Y\(Y/X)'', for some other category ''Y''. These rules essentially reverse the function-argument relationship. |