[part 2 PPT]

advertisement
Models of Grammar Learning
CS 182 Lecture
April 26, 2007
What constitutes learning a language?
 What are the sounds
(Phonology)
 How to make words
(Morphology)
 What do words mean
(Semantics)
 How to put words together
(Syntax)
 Social use of language
(Pragmatics)
 Rules of conversations
(Pragmatics)
2
Language Learning Problem
 Prior knowledge



Initial grammar G (set of ECG constructions)
Ontology (category relations)
Language comprehension model
(analysis/resolution)
 Hypothesis space: new ECG grammar G’


Search = processes for proposing new
constructions
Relational Mapping, Merge, Compose
3
Language Learning Problem
 Performance measure

Goal: Comprehension should improve with training

Criterion: need some objective function to guide
learning…
Probability of Model given Data:
P( X | M ) P( M )
P( X )
P( M | X )    P( X | M ) P( M )
log P( M | X )  log P( X | M )  log P( M )
P( M | X ) 
Minimum Description Length:
 log P( M | X )   log P( X | M )  log P( M )
4
Minimum Description Length
 Choose grammar G to minimize cost(G|D):

cost(G|D) = α • size(G) + β • complexity(D|G)

Approximates Bayesian learning;
cost(G|D) ≈ posterior probability P(G|D)
 Size of grammar = size(G) ≈ prior P(G)

favor fewer/smaller constructions/roles; isomorphic mappings
 Complexity of data given grammar ≈ likelihood P(D|G)

favor simpler analyses
(fewer, more likely constructions)

based on derivation length + score of derivation
5
Size Of Grammar
 Size of the grammar G is the sum of the size of each
construction:
size( G )   size( c)
cG
 Size of each construction c is:
size( c)  nc  mc   length( e)
where
ec

nc = number of constituents in c,

mc = number of constraints in c,

length(e) = slot chain length of element reference e
6
What do we know about
language development?
(focusing mainly on first language acquisition
of English-speaking, normal population)
7
Children are amazing learners
0 mos
6 mos
12 mos
2 yr
3 yrs
4 yrs
5 yrs
8
Phonology: Non-native contrasts
 Werker and Tees (1984)
 Thompson: velar vs. uvular, /`ki/-/`qi/.
 Hindi: retroflex vs. dental, /t.a/-/ta/
20
18
16
14
12
yes
10
no
8
6
4
2
0
6-8 months
8-10 months
10-12 months
9
Finding words: Statistical learning
 Saffran, Aslin and Newport (1996)
pretty baby
 /bidaku/, /padoti/, /golabu/
 /bidakupadotigolabubidaku/
 2 minutes of this continuous speech stream
 By 8 months infants detect the words (vs
non-words and part-words)
10
Word order: agent and patient
 Hirsch-Pasek and Golinkoff (1996)
 1;4-1;7
 mostly still in the
one-word stage
 Where is CM
tickling BB?
11
Early syntax
 agent + action
‘Daddy sit’
 action + object
‘drive car’
 agent + object
‘Mommy sock’
 action + location
‘sit chair’
 entity + location
‘toy floor’
 possessor + possessed
‘my teddy’
 entity + attribute
‘crayon big’
 demonstrative + entity
‘this telephone’
12
From Single Words To Complex Utterances
FATHER:
NAOMI:
NAOMI:
NAOMI:
MOTHER:
NAOMI:
MOTHER:
Nomi are you
climbing up the
books?
up.
climbing.
books.
1;11.3
what are you doing?
I climbing up.
you’re climbing up?
2;0.18
FATHER: what’s the boy doing
to the dog?
NAOMI: squeezing his neck.
NAOMI: and the dog climbed
up the tree.
NAOMI: now they’re both safe.
NAOMI: but he can climb
trees.
4;9.3
Sachs corpus (CHILDES)
13
How Can Children Be So Good At
Learning Language?
 Gold’s Theorem:
No superfinite class of language is identifiable in the
limit from positive data only
 Principles & Parameters
Babies are born as blank slates but acquire language
quickly (with noisy input and little correction) →
Language must be innate:
Universal Grammar + parameter setting
But babies aren’t born as blank slates!
And they do not learn language in a vacuum!
14
Modifications of Gold’s Result
 (Weakly) Ordered Examples, implicit
negatives
 Loosened Identification Conditions
 Complexity Measures, Best Fit
No Theorems will resolve these issues
15
Modeling the acquisition
of grammar:
Theoretical assumptions
16
Language Acquisition
 Opulence of the substrate

Prelinguistic children already have rich sensorimotor
representations and sophisticated social knowledge

intention inference, reference resolution

language-specific event conceptualizations
(Bloom 2000, Tomasello 1995,
Bowerman & Choi, Slobin, et al.)
 Children are sensitive to statistical information

Phonological transitional probabilities

Even dependencies between non-adjacent items
(Saffran et al. 1996, Gomez 2002)
17
Language Acquisition
 Basic Scenes

Simple clause constructions are associated directly
with scenes basic to human experience
(Goldberg 1995, Slobin 1985)
 Verb Island Hypothesis

Children learn their earliest constructions
(arguments, syntactic marking) on a verb-specific basis
(Tomasello 1992)
throw frisbee
throw ball
get ball
get bottle
…
…
throw OBJECT
get OBJECT
this should be
reminiscent of your
model merging
assignment
18
Comprehension
is
partial.
(not just for dogs)
19
What children pick up from what they hear
what did you throw it into?
they’re throwing this in here.
they’re throwing a ball.
don’t throw it Nomi.
well you really shouldn’t throw things Nomi you know.
remember how we told you you shouldn’t throw things.
 Children use rich situational context / cues to fill in the gaps
 They also have at their disposal embodied knowledge and
statistical correlations (i.e. experience)
20
Language Learning Hypothesis
Children learn constructions
that bridge the gap between
what they know from language
and
what they know from the rest of cognition
21
Modeling the acquisition
of (early) grammar:
Comprehension-driven,
usage-based
22
Natural Language
Processing at Berkeley
Dan Klein
EECS Department
UC Berkeley
NLP: Motivation
 It’d be great if machines could





Read text and understand it
Translate languages accurately
Help us manage, summarize, and
aggregate information
Use speech as a UI
Talk to us / listen to us
 But they can’t



Language is complex
Language is ambiguous
Language is highly structured
24
Machine Translation
 Syntactic MT

Learn grammar
mappings between
languages

Fully data-driven
25
Information Extraction
 Unsupervised Coreference
Resolution

Take in lots of text

Learn what the
entities are and how
they corefer

Fully unsupervised,
but gets supervised
performance!
 General research goal:
unsupervised learning of
meaning
26
Syntactic Learning
 Grammar Induction

Raw text in

Learned grammars out

Big result: this can be
done!
 Grammar Refinement

Coarse grammars in

Detailed grammars
out

Gives top parsing
systems
27
Syntactic Inference
 Natural language is very ambiguous


Grammars are huge
Billions of parses
to consider

Milliseconds to do it
Influental members of the House
Ways and Means Committee
introduced legislation that would
restrict how the new S&L bailout
agency can raise capital, creating
another potential obstacle to the
government's sale of sick thrifts.
28
Idea: Learn PCFGs with EM
 Classic experiments on learning PCFGs with Expectation-
Maximization [Lari and Young, 1990]
Xi
{ X1 , X2 … Xn }
Xj

Full binary grammar over n symbols

Parse uniformly/randomly at first

Re-estimate rule expectations off of parses

Repeat
 Their conclusion: it doesn’t really work.
Xk
30
Re-estimation of PCFGs
 Basic quantity needed for re-estimation with EM:
P ( X c | i, j , S ) 

P(T )
T :( X k ,i , j )  yield (T )  S

P(T )
T : yield (T )  S
 Can calculate in cubic time with the Inside-Outside algorithm.
 Consider an initial grammar where all productions have equal weight:
P( X a X b | X c )  1/ n 2
 Then all trees have equal probability initially.
 Therefore, after one round of EM, the posterior over trees will (in the
absence of random perturbation) be approximately uniform over all trees,
31
and symmetric over symbols.
Problem: “Uniform” Posteriors
Tree Uniform
Split Uniform
32
Problem: Model Symmetries
 Symmetries
 How does this relate to trees?
X1? X2?
X1? X2?
NOUN VERB ADJ NOUN
NOUN
VERB
NOUN
VERB
ADJ
NOUN VERB ADJ NOUN
33
Overview: NLP at UCB
 Lots of research and resources:

Dan Klein: Statistical NLP / ML

Marti Hearst: Stat NLP / HCI

Jerry Feldman: Language and Mind

Michael Jordan: Statistical Methods / ML

Tom Griffiths: Statistical Learning / Psychology

ICSI Speech and AI groups (Morgan, Stolcke, Shriberg,
Narayanan…)

Great linguistics and stats departments!
 No better place to solve the hard NLP problems!
34
Other Approaches
 Evaluation: fraction of nodes in gold trees correctly posited in
proposed trees (unlabeled recall)
 Some recent work in learning constituency:

[Adrians, 99] Language grammars aren’t general PCFGs

[Clark, 01] Mutual-information filters detect constituents, then
an MDL-guided search assembles them

[van Zaanen, 00] Finds low edit-distance sentence pairs and
extracts their differences
Adriaans, 1999
16.8
Clark, 2001
34.6
van Zaanen, 2000
35.6
35
36
Embodied Construction Grammar (Bergen and Chang
2005)
construction THROWER-THROW-OBJECT
constructional
constituents
t1 : REF-EXPRESSION
t2 : THROW
t3 : OBJECT-REF
form
t1f before t2f
role-filler
t2f before t3f
bindings
meaning
t2m.thrower ↔ t1m
t2m.throwee ↔ t3m
37
Analyzing “You Throw The Ball”
MEANING (stuff)
FORM (sound)
t1 before t2
t2 before t3
“you”
“throw”
ThrowerThrow-Object
t2.thrower ↔ t1
t2.throwee ↔ t3
you
Addressee
schema
Addressee
subcase of Human
Throw Throw
schema
roles:
thrower
thrower
throwee
throwee
throw
“the”
ball
“ball”
“block”
block
Ball
schema
Ball
subcase of Object
schema Block
subcase of Object
38
Learning-Analysis Cycle
Reorganize
(Utterance, Situation)
Constructions
Analyze
(Chang, 2004)
1. Learner passes input (Utterance
+ Situation) and current
grammar to Analyzer.
2. Analyzer produces SemSpec
and Constructional Analysis.
3. Learner updates grammar:
a. Hypothesize new map.
Semantic
Specification,
Constructional Analysis
Hypothesize
b. Reorganize grammar
(merge or compose).
c. Reinforce
(based on usage).
39
Hypothesizing a new construction
through
relational mapping
40
Initial Single-Word Stage
FORM (sound)
“you”
“throw”
lexical constructions
“block”
schema Addressee
subcase of Human
you
throw
“ball”
ball
block
MEANING (stuff)
schema Throw
roles:
thrower
throwee
schema Ball
subcase of Object
schema Block
subcase of Object
41
New Data: “You Throw The Ball”
FORM
MEANING
SITUATION
throw-ball
Self
“you”
“throw”
you
throw
ball
“ball”
“block”
block
Addressee
schema
Throw Throw
roles:
thrower
thrower
throwee
throwee
Throw
thrower
throwee
role-filler
before
“the”
schema
Addressee
Addressee
subcase of Human
schema
Ball
Ball
subcase of Object
Ball
schema Block
subcase of Object
42
New Construction Hypothesized
construction THROW-BALL
constructional
constituents
t : THROW
b : BALL
form
tf before bf
meaning
tm.throwee ↔ bm
43
Three kinds of meaning relations
1. When B.m fills a role of A.m
throw ball
throw.throwee ↔ ball
2. When A.m and B.m are both filled by X
put ball down
put.mover ↔ ball
down.tr ↔ ball
3. When A.m and B.m both fill roles of X
Nomi ball
possession.possessor ↔ Nomi
possession.possessed ↔ ball
44
Reorganizing the current grammar
through
merge and compose
45
Merging Similar Constructions
throw the block
Throw.throwee = Block
throw before block
throw before Objectf
throw before ball
THROWOBJECT
THROW.throwee = Objectm
Throw.throwee = Ball
throw-ing the ball
throw before-s ing
Throw.aspect = ongoing
46
Resulting Construction
construction THROW-OBJECT
constructional
constituents
t : THROW
o : OBJECT
form
tf before of
meaning
tm.throwee ↔ om
47
Composing Co-occurring Constructions
throw the ball
Throw.throwee = Ball
throw before ball
throw before ball
ball before off
ball before off
ball off
THROWBALLOFF
THROW.throwee = Ball
Motion m
m.mover = Ball
m.path = Off
Motion m
m.mover = Ball
m.path = Off
48
Resulting Construction
construction THROW-BALL-OFF
constructional
constituents
t : THROW
b : BALL
o : OFF
form
tf before bf
bf before of
meaning
evokes MOTION as m
tm.throwee ↔ bm
m.mover ↔ bm
m.path ↔ om
49
Precisely defining the
learning algorithm
50
Example: The Throw-Ball Cxn
construction THROW-BALL
constructional
constituents
t : THROW
b : BALL
form
tf before bf
meaning
tm.throwee ↔ bm
size( c)  nc + mc +  length( e)
ec
size(THROW-BALL)
= 2 + 2 + (2 + 3) = 9
51
Language Learning Problem
 Performance measure

Goal: Comprehension should improve with training

Criterion: need some objective function to guide
learning…
Probability of Model given Data:
P( X | M ) P( M )
P( X )
P( M | X )    P( X | M ) P( M )
log P( M | X )  log P( X | M )  log P( M )
P( M | X ) 
Minimum Description Length:
 log P( M | X )   log P( X | M )  log P( M )
52
Minimum Description Length
 Choose grammar G to minimize cost(G|D):

cost(G|D) = α • size(G) + β • complexity(D|G)

Approximates Bayesian learning;
cost(G|D) ≈ posterior probability P(G|D)
 Size of grammar = size(G) ≈ prior P(G)

favor fewer/smaller constructions/roles; isomorphic mappings
 Complexity of data given grammar ≈ likelihood P(D|G)

favor simpler analyses
(fewer, more likely constructions)

based on derivation length + score of derivation
53
Size Of Grammar
 Size of the grammar G is the sum of the size of each
construction:
size( G )   size( c)
cG
 Size of each construction c is:
size( c)  nc  mc   length( e)
where
ec

nc = number of constituents in c,

mc = number of constraints in c,

length(e) = slot chain length of element reference e
54
Complexity of Data Given Grammar
 Complexity of the data D given grammar G is the sum of the
analysis score of each input token d:
complexity ( D | G)   score( d )
d D
 Analysis score of each input token d is:


score( d )    weight c     typer   height d  semfitd
cd 
rc

where

c is a construction used in the analysis of d

weightc ≈ relative frequency of c,

|typer| = number of ontology items of type r used,

heightd = height of the derivation graph,

semfitd = semantic fit provide by the analyzer
55
Preliminary Results
56
Experiment: Learning Verb Islands
 Subset of the CHILDES database of parent-child
interactions (MacWhinney 1991; Slobin et al.)
 coded by developmental psychologists for

form: particles, deictics, pronouns, locative phrases, etc.

meaning: temporality, person, pragmatic function,
type of motion (self-movement vs. caused movement;
animate being vs. inanimate object, etc.)
 crosslinguistic (English, French, Italian, Spanish)

English motion utterances: 829 parent, 690 child utterances

English all utterances: 3160 adult, 5408 child

age span is 1;2 to 2;6
57
Learning Throw-Constructions
1. Don’t throw the bear.
throw-bear
2. you throw it
you-throw
3. throwing the thing.
throw-thing
4. Don’t throw them on the ground.
throw-them
5. throwing the frisbee.
throw-frisbee
MERGE
throw-OBJ
6. Do you throw the frisbee?
COMPOSE
you-throw-frisbee
7. She’s throwing the frisbee.
COMPOSE
she-throw-frisbee
58
Learning Results
59
Summary
 Cognitively plausible situated learning processes
 What do kids start with?

perceptual, motor, social, world knowledge

meanings of single words
 What kind of input drives acquisition?

Social-pragmatic knowledge

Statistical properties of linguistic input
 What is the learning loop?

Use existing linguistic knowledge to analyze input

Use social-pragmatic knowledge to understand situation

Hypothesize new constructions to bridge the gap
60
2H2O + 2SO2 + O2 → 2H2SO4
In the gas phase sulfur dioxide is oxidized by reaction with the hydroxyl
radical via a termolecular reaction:
SO2 OH· → HOSO2·
which is followed by:
HOSO2· + O2 → HO2· + SO3
In the presence of water sulfur trioxide (SO3) is converted rapidly to sulfuric
acid:
SO3(g) + H2O(l) → H2SO4(l)
61
Download