Top Banner
CATEGORIAL GRAMMAR 1
22

WSD and meaning - linguistics.byu.edulinguistics.byu.edu/classes/Ling654dl/catgra.pdf3 (Morpho)syntax semantics • The interpretive approach • Morphology, syntax are prior • Map

May 28, 2018

Download

Documents

hatram
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Page 1: WSD and meaning - linguistics.byu.edulinguistics.byu.edu/classes/Ling654dl/catgra.pdf3 (Morpho)syntax semantics • The interpretive approach • Morphology, syntax are prior • Map

CATEGORIAL GRAMMAR

1

Page 2: WSD and meaning - linguistics.byu.edulinguistics.byu.edu/classes/Ling654dl/catgra.pdf3 (Morpho)syntax semantics • The interpretive approach • Morphology, syntax are prior • Map

Categorial Grammar• Lexicalized grammatical formalism• Since early 1940’s, mostly in Europe• Type-driven, combinatorial, categorial• Particularly well suited for languages with complex

morphosyntax• Computational implementations

2

Page 3: WSD and meaning - linguistics.byu.edulinguistics.byu.edu/classes/Ling654dl/catgra.pdf3 (Morpho)syntax semantics • The interpretive approach • Morphology, syntax are prior • Map

3

(Morpho)syntax semantics• The interpretive approach

• Morphology, syntax are prior• Map meaning from: morpho syn sem• Most current linguistic theories

• The tandem approach• Semantics emerges in tandem with morpho, syn• Map meaning while: morpho + syn + sem• Less widely practiced here in North America

Page 4: WSD and meaning - linguistics.byu.edulinguistics.byu.edu/classes/Ling654dl/catgra.pdf3 (Morpho)syntax semantics • The interpretive approach • Morphology, syntax are prior • Map

A tandem approach• Versus interpretive

• Syntax and semantics in parallel, at the same time

• Can assign categories to morphemes

4

Page 5: WSD and meaning - linguistics.byu.edulinguistics.byu.edu/classes/Ling654dl/catgra.pdf3 (Morpho)syntax semantics • The interpretive approach • Morphology, syntax are prior • Map

Categorial Grammar categories• Basic categories : np, n, and s• Complex categories: composition of basic categories

• α/β is a valid category if α and β are basic or complex categories• α\β is a valid category if α and β are basic or complex categories

• Delimiting slash either backward (\) or forward (/) specifies the appropriate directionality of application

5

Page 6: WSD and meaning - linguistics.byu.edulinguistics.byu.edu/classes/Ling654dl/catgra.pdf3 (Morpho)syntax semantics • The interpretive approach • Morphology, syntax are prior • Map

Backward application

6

Page 7: WSD and meaning - linguistics.byu.edulinguistics.byu.edu/classes/Ling654dl/catgra.pdf3 (Morpho)syntax semantics • The interpretive approach • Morphology, syntax are prior • Map

Forward application

7

Page 8: WSD and meaning - linguistics.byu.edulinguistics.byu.edu/classes/Ling654dl/catgra.pdf3 (Morpho)syntax semantics • The interpretive approach • Morphology, syntax are prior • Map

Example categories (syntax)• determiner: np/n• predicate: s\np• adjective: n/n• verbs: s\np (intrans.), (s\np)/np (trans.)• preposition: (n\n)/np or ((s\np)\(s\np))/np• zero anaphor: np

8

Page 9: WSD and meaning - linguistics.byu.edulinguistics.byu.edu/classes/Ling654dl/catgra.pdf3 (Morpho)syntax semantics • The interpretive approach • Morphology, syntax are prior • Map

Example categories (semantics)• Noun: dog(x)• Intransitive: λP[Psneezed(x)]• Adjective: λP[P & big(x)]

9

Page 10: WSD and meaning - linguistics.byu.edulinguistics.byu.edu/classes/Ling654dl/catgra.pdf3 (Morpho)syntax semantics • The interpretive approach • Morphology, syntax are prior • Map

A parsed sentence

10

Page 11: WSD and meaning - linguistics.byu.edulinguistics.byu.edu/classes/Ling654dl/catgra.pdf3 (Morpho)syntax semantics • The interpretive approach • Morphology, syntax are prior • Map

More categories• complementizer: ((s/np)\(s/np))/s (or just s’)• object relative pronoun: (n\n)/(s/np)• subject relative pronoun: (guess!)

11

Page 12: WSD and meaning - linguistics.byu.edulinguistics.byu.edu/classes/Ling654dl/catgra.pdf3 (Morpho)syntax semantics • The interpretive approach • Morphology, syntax are prior • Map

Type raising• Tom:np

is equivalent to:

• Tom:s/(s\np)

12

Page 13: WSD and meaning - linguistics.byu.edulinguistics.byu.edu/classes/Ling654dl/catgra.pdf3 (Morpho)syntax semantics • The interpretive approach • Morphology, syntax are prior • Map

Incremental parsing

13

Page 14: WSD and meaning - linguistics.byu.edulinguistics.byu.edu/classes/Ling654dl/catgra.pdf3 (Morpho)syntax semantics • The interpretive approach • Morphology, syntax are prior • Map

Another operation• Function composition:

α/β β/γ α/γ

14

Page 15: WSD and meaning - linguistics.byu.edulinguistics.byu.edu/classes/Ling654dl/catgra.pdf3 (Morpho)syntax semantics • The interpretive approach • Morphology, syntax are prior • Map

Implementing a grammar• Attribute Logic Engine (ALE) for instantiating categorial

grammars• Define syntactic categories• Encode lexical items

• Parses and generates sentences

15

Page 16: WSD and meaning - linguistics.byu.edulinguistics.byu.edu/classes/Ling654dl/catgra.pdf3 (Morpho)syntax semantics • The interpretive approach • Morphology, syntax are prior • Map

Sample CG applications• Parsing languages

• Including complex ones: Korean, Turkish, Salish• Modeling human incremental parsing

16

Page 17: WSD and meaning - linguistics.byu.edulinguistics.byu.edu/classes/Ling654dl/catgra.pdf3 (Morpho)syntax semantics • The interpretive approach • Morphology, syntax are prior • Map

Sample NP applications

17

Page 18: WSD and meaning - linguistics.byu.edulinguistics.byu.edu/classes/Ling654dl/catgra.pdf3 (Morpho)syntax semantics • The interpretive approach • Morphology, syntax are prior • Map

S and conjunction

18

Page 19: WSD and meaning - linguistics.byu.edulinguistics.byu.edu/classes/Ling654dl/catgra.pdf3 (Morpho)syntax semantics • The interpretive approach • Morphology, syntax are prior • Map

Turkish example

19

Page 20: WSD and meaning - linguistics.byu.edulinguistics.byu.edu/classes/Ling654dl/catgra.pdf3 (Morpho)syntax semantics • The interpretive approach • Morphology, syntax are prior • Map

20

Sample rule and parse

tv(Rel) macro rec[7ugWECEd,CEL,ti7E7,hikW,spa7c].synsem:(forward, QSTORE e_listarg:(syn:np, SYNSEM basic

sem:Y), SEM DEFres:(forward, RESTR and

arg:(syn:np, CONJ1 BEARsem:X), ARG1 [0] indiv.

res:(syn:s, CONJ2 BIGsem:(Rel, ARG1 [0]

agent:Y, SCOPE SEEKtheme:X)))), AGENT pro1p

@ quantifier_free. THEME [0]VAR [0]

SYN s

Page 21: WSD and meaning - linguistics.byu.edulinguistics.byu.edu/classes/Ling654dl/catgra.pdf3 (Morpho)syntax semantics • The interpretive approach • Morphology, syntax are prior • Map

Simple Lushootseed derivation

21