LINGUISTICA GENERALE E COMPUTAZIONALE

45
LINGUISTICA GENERALE E COMPUTAZIONALE ANALISI SINTATTICA (PARSING)

description

LINGUISTICA GENERALE E COMPUTAZIONALE. ANALISI SINTATTICA (PARSING). RECAP: CFG. Bird et al, ch . 8.3. PARSING . Parsing is the process of recognizing and assigning STRUCTURE Parsing a string with a CFG: Finding a derivation of the string consistent with the grammar - PowerPoint PPT Presentation

Transcript of LINGUISTICA GENERALE E COMPUTAZIONALE

Page 1: LINGUISTICA GENERALE E COMPUTAZIONALE

LINGUISTICA GENERALE E COMPUTAZIONALE

ANALISI SINTATTICA (PARSING)

Page 2: LINGUISTICA GENERALE E COMPUTAZIONALE

RECAP: CFG

• Bird et al, ch. 8.3

Page 3: LINGUISTICA GENERALE E COMPUTAZIONALE

PARSING

• Parsing is the process of recognizing and assigning STRUCTURE

• Parsing a string with a CFG: – Finding a derivation of the string consistent with

the grammar– The derivation gives us a PARSE TREE

Page 4: LINGUISTICA GENERALE E COMPUTAZIONALE

EXAMPLE (CFR LAST WEEK)

Page 5: LINGUISTICA GENERALE E COMPUTAZIONALE

PARSING AS SEARCH

• Just as in the case of non-deterministic regular expressions, the main problem with parsing is the existence of CHOICE POINTS

• There is a need for a SEARCH STRATEGY determining the order in which alternatives are considered

Page 6: LINGUISTICA GENERALE E COMPUTAZIONALE

TOP-DOWN AND BOTTOM-UP SEARCH STRATEGIES

• The search has to be guided by the INPUT and the GRAMMAR

• TOP-DOWN search: the parse tree has to be rooted in the start symbol S– EXPECTATION-DRIVEN parsing

• BOTTOM-UP search: the parse tree must be an analysis of the input– DATA-DRIVEN parsing

Page 7: LINGUISTICA GENERALE E COMPUTAZIONALE

AN EXAMPLE OF TOP-DOWN SEARCH(IN PARALLEL)

Page 8: LINGUISTICA GENERALE E COMPUTAZIONALE

RECURSIVE DESCENT IN NLTK

• P. 303: – nltk.RecursiveDescentParser(grammar)– nltk.app.rdparser()

Page 9: LINGUISTICA GENERALE E COMPUTAZIONALE

NON-PARALLEL SEARCH

• If it’s not possible to examine all alternatives in parallel, it’s necessary to make further decisions:– Which node in the current search space to expand

first (breadth-first or depth-first)– Which of the applicable grammar rules to expand

first– Which leaf node in a parse tree to expand next

(e.g., leftmost)

Page 10: LINGUISTICA GENERALE E COMPUTAZIONALE

TOP-DOWN, DEPTH-FIRST, LEFT-TO-RIGHT

Page 11: LINGUISTICA GENERALE E COMPUTAZIONALE

TOP-DOWN, DEPTH-FIRST, LEFT-TO-RIGHT (II)

Page 12: LINGUISTICA GENERALE E COMPUTAZIONALE

TOP-DOWN, DEPTH-FIRST, LEFT-TO-RIGHT (III)

Page 13: LINGUISTICA GENERALE E COMPUTAZIONALE

TOP-DOWN, DEPTH-FIRST, LEFT-TO-RIGHT (IV)

Page 14: LINGUISTICA GENERALE E COMPUTAZIONALE

A T-D, D-F, L-R PARSER

Page 15: LINGUISTICA GENERALE E COMPUTAZIONALE

LEFT-RECURSION

• A LEFT-RECURSIVE grammar may cause a T-D, D-F, L-R parser to never return

• Examples of left-recursive rules:– NP NP PP– S S and S– But also:• NP Det Nom• Det NP’s

Page 16: LINGUISTICA GENERALE E COMPUTAZIONALE

THE PROBLEM WITH LEFT-RECURSION

Page 17: LINGUISTICA GENERALE E COMPUTAZIONALE

LEFT-RECURSION: POOR SOLUTIONS

• Rewrite the grammar to a weakly equivalent one– Problem: may not get correct parse tree

• Limit the depth during search– Problem: limit is arbitrary

Page 18: LINGUISTICA GENERALE E COMPUTAZIONALE

AN EXAMPLE OF BOTTOM-UP SEARCH

Page 19: LINGUISTICA GENERALE E COMPUTAZIONALE

SHIFT-REDUCE PARSING

• P. 305– nltk.app.srparser()– ShiftReduceParser(grammar)

Page 20: LINGUISTICA GENERALE E COMPUTAZIONALE

TOP-DOWN vs BOTTOM-UP

• TOP-DOWN:– Only search among grammatical answers– BUT: suggests hypotheses that may not be

consistent with data– Problem: left-recursion

• BOTTOM-UP:– Only forms hypotheses consistent with data– BUT: may suggest hypotheses that make no sense

globally

Page 21: LINGUISTICA GENERALE E COMPUTAZIONALE

LEFT-CORNER PARSING

• A hybrid of top-down and bottom-up parsing• Strategy: don’t consider any expansion unless

the current input can serve as the LEFT-CORNER of that expansion

Page 22: LINGUISTICA GENERALE E COMPUTAZIONALE

FURTHER PROBLEMS IN PARSING

• Ambiguity – Church and Patel (1982): the number of

attachment ambiguities grows like the Catalan numbers • C(2) = 2, C(3) = 5, C(4) = 14, C(5) = 132, C(6) = 469, C(7)

= 1430, C(8) = 4867

• Avoiding reparsing

Page 23: LINGUISTICA GENERALE E COMPUTAZIONALE

COMMON STRUCTURAL AMBIGUITIES

• COORDINATION ambiguity– OLD (MEN AND WOMEN) vs

(OLD MEN) AND WOMEN• ATTACHMENT ambiguity:– Gerundive VP attachment ambiguity• I saw the Eiffel Tower flying to Paris

– PP attachment ambiguity• I shot an elephant in my pajamas

Page 24: LINGUISTICA GENERALE E COMPUTAZIONALE

PP ATTACHMENT AMBIGUITY

Page 25: LINGUISTICA GENERALE E COMPUTAZIONALE

AMBIGUITY: SOLUTIONS

• Use a PROBABILISTIC GRAMMAR (not covered in this module)

• Use semantics

Page 26: LINGUISTICA GENERALE E COMPUTAZIONALE

AVOID RECOMPUTING INVARIANTS

• Consider parsing with a top-down parser the NP:– A flight from Indianapolis to Houston on TWA

• With the grammar rules:– NP Det Nominal– NP NP PP– NP ProperNoun

Page 27: LINGUISTICA GENERALE E COMPUTAZIONALE

INVARIANTS AND TOP-DOWN PARSING

Page 28: LINGUISTICA GENERALE E COMPUTAZIONALE

THE EARLEY ALGORITHM

Page 29: LINGUISTICA GENERALE E COMPUTAZIONALE

DYNAMIC PROGRAMMING

• A standard T-D parser would reanalyze A FLIGHT 4 times, always in the same way

• A DYNAMIC PROGRAMMING algorithm uses a table (the CHART) to avoid repeating work

• The Earley algorithm also– Does not suffer from the left-recursion problem– Solves an exponential problem in O(n3)

Page 30: LINGUISTICA GENERALE E COMPUTAZIONALE

THE CHART• The Earley algorithm uses a table (the CHART) of size N+1,

where N is the length of the input– Table entries sit in the `gaps’ between words

• Each entry in the chart is a list of – Completed constituents– In-progress constituents– Predicted constituents

• All three types of objects are represented in the same way as STATES

Page 31: LINGUISTICA GENERALE E COMPUTAZIONALE

THE CHART: GRAPHICAL REPRESENTATION

Page 32: LINGUISTICA GENERALE E COMPUTAZIONALE

STATES

• A state encodes two types of information:– How much of a certain rule has been encountered

in the input– Which positions are covered– A , [X,Y]

• DOTTED RULES– VP V NP – NP Det Nominal– S VP

Page 33: LINGUISTICA GENERALE E COMPUTAZIONALE

EXAMPLES

Page 34: LINGUISTICA GENERALE E COMPUTAZIONALE

SUCCESS

• The parser has succeeded if entry N+1 of the chart contains the state– S , [0,N]

Page 35: LINGUISTICA GENERALE E COMPUTAZIONALE

THE ALGORITHM

• The algorithm loops through the input without backtracking, at each step performing three operations:– PREDICTOR: add predictions to the chart– COMPLETER: Move the dot to the right when

looked-for constituent is found– SCANNER: read in the next input word

Page 36: LINGUISTICA GENERALE E COMPUTAZIONALE

THE ALGORITHM: CENTRAL LOOP

Page 37: LINGUISTICA GENERALE E COMPUTAZIONALE

EARLEY ALGORITHM: THE THREE OPERATORS

Page 38: LINGUISTICA GENERALE E COMPUTAZIONALE

EXAMPLE, AGAIN

Page 39: LINGUISTICA GENERALE E COMPUTAZIONALE

EXAMPLE: BOOK THAT FLIGHT

Page 40: LINGUISTICA GENERALE E COMPUTAZIONALE

EXAMPLE: BOOK THAT FLIGHT (II)

Page 41: LINGUISTICA GENERALE E COMPUTAZIONALE

EXAMPLE: BOOK THAT FLIGHT (III)

Page 42: LINGUISTICA GENERALE E COMPUTAZIONALE

EXAMPLE: BOOK THAT FLIGHT (IV)

Page 43: LINGUISTICA GENERALE E COMPUTAZIONALE

CHART PARSING IN NLTK

• 8.4, p. 307 ff

Page 44: LINGUISTICA GENERALE E COMPUTAZIONALE

DEPENDENCY PARSING

• 8.5

Page 45: LINGUISTICA GENERALE E COMPUTAZIONALE

READINGS

• Bird et al, chapter 8