Zen and The Art of Grammar Maintenance

Transcription

1 LIFO, Université d Orléans 6 June 2008 / TAG+9 Tutorial

2 Outline 1 2 3

3 Factorization and Reuse N N N N V N N V N V V Cl V V Jean mange une pomme Jean la mange la pomme que Jean mange

4 Jean mange une pomme N V N V V N V V V N Canonical ubject Active Verb Form Canonical Object

5 Jean la mange N V Cl V N V V Cl V V V Canonical ubject Clitic Object Active Verb Form

6 La pomme que Jean mange N N N N N V N V V N N V V Relative Object Canonical ubject Active Verb Form

7 Jean qui mange la pomme N N N N V N N V V N V V V N Relative ubject Active Verb Form Canonical Object

8 Jean qui la mange N N N N V N V V Cl V N V Cl V V Relative ubject Clitic Object Active Verb Form

9 Outline 1 2 3

10 ubject ubjectcanonical N V N N ubjectrelative N V ubject ubjectcanonical ubjectrelative

11 Object ObjectCanonical V V N ObjectClitic Cl N V N ObjectRelative N Object ObjectCanonical ObjectClitic ObjectRelative

12 Transitive Active Verb VerbActiveMorph V VerbActiveTransitive ubject VerbActiveMorph Object V

13 Metagrammars as DCGs a metagrammar is a DCG terminals are tree descriptions a metagrammar is the grammar of a grammar

14 Metagrammars as DCGs a metagrammar is a DCG terminals are tree descriptions a metagrammar is the grammar of a grammar

15 Model-Theoretic View et of tree descriptions = Metagrammar Lexical entry = et of tree descriptions

16 Operational View a metagrammar is a logic program its execution accumulates tree descriptions which are then processed by a solver resulting in the production of a lexical entry backtrack to obtain the rest of the lexicon

17 Outline 1 2 3

18 Type definitions type CAT={n,v,p} type PER=[1..3] type FLEX=[num:NUMBER, gen:gender, pers:per]

19 Property definitions property extraction : bool

20 Property definitions property extraction : bool {extra = +} extra extraction = +

21 Feature definitions feature num : NUMBER

22 Class definitions class C1 import C2[] export?x?y declare?x?y!z { tatement }

23 Restricted imports class C1 import C2[] as [?X1,...,?Xn] export?x?y declare?x?y!z { tatement }

24 Renamings class C1 import C2[] as [?X1=?Y1,...,?Xn] export?x=?u?y declare?x?y!z { tatement }

25 tatements ::= 1 ; E 1 = E 2 Class[E 1,..., E n ] Dim {... } = [f = E,...]

26 Expressions E ::=?X!X Atom Int Atom}?X = [f 1 = E 1,..., f n = E n ] E 1.E 2 E(E 1,..., E n ) E 1 E 2 (E)

27 Dimension-specific description languages Dim {... } tree descriptions hole semantics AVM, (semi-)lattices There are currently 3 built-in dimensions: <syn> <sem> <dyn>

28 Tree Description Language <syn> { yn } yn ::= yn; yn yn yn node?x (p = E,...) [f = E,...] E -> E E -> + E E -> E E >> E E >> + E E >> E E = E E<E 1,..., E n >

29 Alternative yntax dominance node { node } node {...+ node } node {... node } precedence node node node,,,+ node node,,, node

30 Flat emantics Description Language <sem> { em } em ::= em; em em em Var : E(E,..., E) Var : E(E,..., E) Var << Var

31 Mutual Exclusion ets mutex UBJ-INV mutex UBJ-INV += CanonicalObject mutex UBJ-INV += InvertedNominalubject 2 classes in the same mutex cannot both be used in the same derivation

32 Principles