Categorial grammar is a family of formalisms in natural language syntax that share the central assumption that syntactic constituents combine as functions and arguments. Categorial grammar posits a close relationship between the syntax and semantic composition, since it typically treats syntactic categories as corresponding to semantic types. Categorial grammars were developed in the 1930s by Kazimierz Ajdukiewicz and in the 1950s by Yehoshua Bar-Hillel and Joachim Lambek. It saw a surge of interest in the 1970s following the work of Richard Montague, whose Montague grammar assumed a similar view of syntax. It continues to be a major paradigm, particularly within formal semantics.

Basics

A categorial grammar consists of two parts: a lexicon, which assigns a set of types (also called categories) to each basic symbol, and some type inference rules, which determine how the type of a string of symbols follows from the types of the constituent symbols. It has the advantage that the type inference rules can be fixed once and for all, so that the specification of a particular language grammar is entirely determined by the lexicon.

A categorial grammar shares some features with the simply typed lambda calculus. Whereas the lambda calculus has only one function type ${\displaystyle A\rightarrow B}$, a categorial grammar typically has two function types, one type that is applied on the left, and one on the right. For example, a simple categorial grammar might have two function types ${\displaystyle B/A\,\!}$ and ${\displaystyle A\backslash B}$. The first, ${\displaystyle B/A\,\!}$, is the type of a phrase that results in a phrase of type ${\displaystyle B\,\!}$ when followed (on the right) by a phrase of type ${\displaystyle A\,\!}$. The second, ${\displaystyle A\backslash B\,\!}$, is the type of a phrase that results in a phrase of type ${\displaystyle B\,\!}$ when preceded (on the left) by a phrase of type ${\displaystyle A\,\!}$.

The notation is based upon algebra. A fraction when multiplied by (i.e. concatenated with) its denominator yields its numerator. As concatenation is not commutative, it makes a difference whether the denominator occurs to the left or right. The concatenation must be on the same side as the denominator for it to cancel out.

The first and simplest kind of categorial grammar is called a basic categorial grammar, or sometimes an AB-grammar (after Ajdukiewicz and Bar-Hillel). Given a set of primitive types ${\displaystyle {\text{Prim}}\,\!}$, let ${\displaystyle {\text{Tp}}({\text{Prim}})\,\!}$ be the set of types constructed from primitive types. In the basic case, this is the least set such that ${\displaystyle {\text{Prim}}\subseteq {\text{Tp}}({\text{Prim}})}$ and if ${\displaystyle X,Y\in {\text{Tp}}({\text{Prim}})}$ then ${\displaystyle (X/Y),(Y\backslash X)\in {\text{Tp}}({\text{Prim}})}$. Think of these as purely formal expressions freely generated from the primitive types; any semantics will be added later. Some authors assume a fixed infinite set of primitive types used by all grammars, but by making the primitive types part of the grammar, the whole construction is kept finite.

A basic categorial grammar is a tuple ${\displaystyle (\Sigma ,{\text{Prim}},S,\triangleleft )}$ where ${\displaystyle \Sigma \,\!}$ is a finite set of symbols, ${\displaystyle {\text{Prim}}\,\!}$ is a finite set of primitive types, and ${\displaystyle S\in {\text{Tp}}({\text{Prim}})}$.

The relation ${\displaystyle \triangleleft }$ is the lexicon, which relates types to symbols ${\displaystyle (\triangleleft )\subseteq {\text{Tp}}({\text{Prim}})\times \Sigma }$. Since the lexicon is finite, it can be specified by listing a set of pairs like ${\displaystyle TYPE\triangleleft {\text{symbol}}}$.

Such a grammar for English might have three basic types ${\displaystyle (N,NP,{\text{ and }}S)\,\!}$, assigning count nouns the type ${\displaystyle N\,\!}$, complete noun phrases the type ${\displaystyle NP\,\!}$, and sentences the type ${\displaystyle S\,\!}$. Then an adjective could have the type ${\displaystyle N/N\,\!}$, because if it is followed by a noun then the whole phrase is a noun. Similarly, a determiner has the type ${\displaystyle NP/N\,\!}$, because it forms a complete noun phrase when followed by a noun. Intransitive verbs have the type ${\displaystyle NP\backslash S}$, and transitive verbs the type ${\displaystyle (NP\backslash S)/NP}$. Then a string of words is a sentence if it has overall type ${\displaystyle S\,\!}$.

For example, take the string "the bad boy made that mess". Now "the" and "that" are determiners, "boy" and "mess" are nouns, "bad" is an adjective, and "made" is a transitive verb, so the lexicon is {${\displaystyle NP/N\triangleleft {\text{the}}}$, ${\displaystyle NP/N\triangleleft {\text{that}}}$, ${\displaystyle N\triangleleft {\text{boy}}}$, ${\displaystyle N\triangleleft {\text{mess}}}$, ${\displaystyle N/N\triangleleft {\text{bad}}}$, ${\displaystyle (NP\backslash S)/NP\triangleleft {\text{made}}}$}.

and the sequence of types in the string is

${\displaystyle {{\text{the}} \atop {NP/N,}}{{\text{bad}} \atop {N/N,}}{{\text{boy}} \atop {N,}}{{\text{made}} \atop {(NP\backslash S)/NP,}}{{\text{that}} \atop {NP/N,}}{{\text{mess}} \atop {N}}}$

now find functions and appropriate arguments and reduce them according to the two inference rules ${\displaystyle X\leftarrow X/Y,\;Y}$ and ${\displaystyle X\leftarrow Y,\;Y\backslash X}$:

${\displaystyle .NP/N,N/N,N,}$Zdroj:https://en.wikipedia.org?pojem=Categorial_grammar
Text je dostupný za podmienok Creative Commons Attribution/Share-Alike License 3.0 Unported; prípadne za ďalších podmienok. Podrobnejšie informácie nájdete na stránke Podmienky použitia.