Understanding • I Hear and I Forget

advertisement
Understanding
• I Hear and I Forget
• I See and I Remember
• I Do and I Understand
Attributed to Confucius, ~500 BCE
How could a mass of chemical cells produce
language and thought?
Will computers think and speak?
How much can we know about our own experience?
How do we learn new concepts?
Does our language determine how we think?
Is language Innate?
How do children learn grammar?
How did languages evolve?
Why do we experience everything the way that we do?
Constrained Best Fit in Nature
inanimate
physics
chemistry
biology
vision
language
animate
lowest energy
state
molecular
minima
fitness, MEU
Neuroeconomics
threats,
friends
errors,
NTL
Embodiment
Of all of these fields, the learning of
languages would be the most impressive,
since it is the most human of these
activities. This field, however, seems to
depend rather too much on the sense
organs and locomotion to be feasible.
Alan Turing (Intelligent Machines,1948)
Pre-Natal Tuning: Internally
generated tuning signals
• But in the womb, what provides the feedback to establish which
neural circuits are the right ones to strengthen?
– Not a problem for motor circuits - the feedback and control networks for
basic physical actions can be refined as the infant moves its limbs and
indeed, this is what happens.
– But there is no vision in the womb. Recent research shows that
systematic moving patterns of activity are spontaneously generated prenatally in the retina. A predictable pattern, changing over time, provides
excellent training data for tuning the connections between visual maps.
• The pre-natal development of the auditory system is also interesting
and is directly relevant to our story.
– Research indicates that infants, immediately after birth, preferentially
recognize the sounds of their native language over others. The
assumption is that similar activity-dependent tuning mechanisms work
with speech signals perceived in the womb.
Post-natal environmental tuning
• The pre-natal tuning of neural connections using simulated
activity can work quite well –
– a newborn colt or calf is essentially functional at birth.
– This is necessary because the herd is always on the move.
– Many animals, including people, do much of their development after
birth and activity-dependent mechanisms can exploit experience in
the real world.
• In fact, such experience is absolutely necessary for normal
development.
• As we saw, early experiments with kittens showed that there
are fairly short critical periods during which animals deprived
of visual input could lose forever their ability to see motion,
vertical lines, etc.
– For a similar reason, if a human child has one weak eye, the doctor
will sometimes place a patch over the stronger one, forcing the
weaker eye to gain experience.
Freud’s Original Connectionist Model
Connectionist Model of
Word Recognition (Rumelhart
and McClelland)
Interactive Activation Reading Model
Modeling lexical access errors
•
•
•
•
Semantic error
Formal error (i.e. errors related by form)
Mixed error (semantic + formal)
Phonological access error
Phonological access error: Selection of
incorrect phonemes
Syl
FOG
f
r
d
Onsets
DOG
k
CAT
m
ae
RAT
MAT
o
t
Vowels
On Vo Co
g
Codas
Adapted from Gary Dell, “Producing words from pictures or from other words”
Representing concepts using
triangle nodes
Connectionist Circuit for Gender(RD5) = female
RD5
2
gender
female
Also shown as a triangle node
The ICSI/Berkeley
Neural Theory of Language Project
The Binding Problem
 Massively Parallel Brain
 Unitary Conscious Experience
 Many Variations and Proposals
 Our focus: The Variable Binding Problem
Problem
• Binding problem
– In vision
• You do not exchange the colors of the shapes
below
– In behavior
• Grasp motion depends on object to grasp
– In inference
• Human(x) -> Mortal(x)
• Must bind a variable to x
Automatic Inference
• Inference needed for many tasks
– Reference resolution
– General language understanding
– Planning
• Humans do this quickly and without
conscious thought
– Automatically
– No real intuition of how we do it
SHRUTI
• SHRUTI does
inference by
connections between
simple computation
nodes
• Nodes are small
groups of neurons
• Nodes firing in sync
reference the same
object
Dynamic representation of relational
instances
giver:
John
recipient:
Mary
given-object: a-book
“John gave Mary a book”
recipient
giver
*
Mary
John
a-book
given-object
Focal-cluster of an entity
focal-clusters of perceptual
schemas and sensory
representations associated
with John
John
focal-clusters of other
entities and categories
semantically related
to John
+
focal-clusters of motor schemas
associated with John
?
episodic memories
where John is one
of the role-fillers
focal-clusters of lexical knowledge associated with John
“John fell in the hallway”
-
+
?
fall-pat
fall-loc
Fall
Hallway
+
?
John
+
?
“John fell in the hallway”
-
+
?
fall-pat
fall-loc
Fall
Hallway
+
?
John
+
?
“John fell in the hallway”
Fall
+ -- ?
fall-pat
fall-loc
+:Fall
fall-loc
Hallway
+
fall-pat
?
+:Hallway
+
John
?
+:John
Encoding “slip => fall” in Shruti
SLIP
+
-
mediator
?
slip-pat
+
?
+
FALL
slip-loc
-
r1
?
Such rules are
learned gradually
via observations,
by being told …
r2
fall-pat
fall-loc
“John slipped in the hallway” → “John fell in the hallway”
Slip
+
-
?
+:Fall
slip-pat slip-loc
fall-loc
fall-pat
mediator
+
?
r1
r2
+:slip
slip-loc
slip-pat
Fall
+
-
?
fall-pat fall-loc
+:Hallway
+:John
Hallway
+
?
John
+
?
Encoding Xschema
Rods and Cones in the Retina
http://www.iit.edu/~npr/DrJennifer/visual/retina.html
Color Naming
Basic Color Terms (Berlin & Kay)
Criteria:
1. Single words -- not “light-blue” or “blue-green”
2. Frequently used -- not “mauve” or “cyan”
3. Refer primarily to colors -- not “lime” or “gold”
4. Apply to any object -- not “roan” or “blond”
© Stephen E. Palmer, 2002
The WCS Color Chips
• Basic color terms:
–
–
–
–
Single word (not blue-green)
Frequently used (not mauve)
Refers primarily to colors (not lime)
Applies to any object (not blonde)
FYI:
English has 11
basic color terms
Results of Kay’s Color Study
Stage I
II
IIIa / IIIb
IV
V
VI
VII
W or R or Y
W
W
W
W
W
W
Bk or G or Bu
R or Y
R or Y
R
R
R
R
Y
Y
Y
Y
G or Bu
G
G
G
Bk
Bu
Bu
Bu
Bk
Bk
Bk
Y+Bk (Brown)
Y+Bk (Brown)
Bk or G or Bu G or Bu
Bk
W
R
Y
R+W (Pink)
Bk or G or Bu
R + Bu (Purple)
R+Y (Orange)
B+W (Grey)
If you group languages into the number of basic
color terms they have, as the number of color
terms increases, additional terms specify focal
colors
Ideas from Cognitive Linguistics
• Embodied Semantics (Lakoff, Johnson, Sweetser, Talmy
• Radial categories
(Rosch 1973, 1978; Lakoff 1985)
– mother: birth / adoptive / surrogate / genetic, …
• Profiling (Langacker 1989, 1991; cf. Fillmore XX)
– hypotenuse, buy/sell (Commercial Event frame)
• Metaphor and metonymy
(Lakoff & Johnson 1980, …)
– ARGUMENT IS WAR, MORE IS UP
– The ham sandwich wants his check.
• Mental spaces (Fauconnier 1994)
– The girl with blue eyes in the painting really has green eyes.
• Conceptual blending (Fauconnier & Turner 2002, inter alia)
– workaholic, information highway, fake guns
– “Does the name Pavlov ring a bell?” (from a talk on ‘dognition’!)
Concepts are not categorical
Radial Structure of Mother
Genetic
mother
Stepmother
Unwed
mother
Surrogate
mother
Biological
mother
Adoptive
mother
Central
Case
Foster
mother
Birth
mother
Natural
mother
The radial structure of this category is
defined with respect to the different
models
Language, Learning and Neural Modeling
www.icsi.berkeley.edu/AI
• Scientific Goal
Understand how people learn and use language
• Practical Goal
Build systems that analyze and produce language
• Approach
Embodied linguistic theories with advanced
biologically-based computational methods
General and Domain Knowledge
• Conceptual Knowledge and Inference
–
–
–
–
Embodied
Language and Domain Independent
Powerful General Inferences
Ubiquitous in Language
• Domain Specific Frames and Ontologies
– Framenet (www.icsi.berkeley.edu/framenet)
• Metaphor links domain specific to general
– E.g., France slipped into recession.
Image schemas
• Trajector / Landmark (asymmetric)
– The bike is near the house
– ? The house is near the bike
TR
• Boundary / Bounded Region
– a bounded region has a closed boundary
LM
boundary
bounded region
• Topological Relations
– Separation, Contact, Overlap, Inclusion, Surround
• Orientation
– Vertical (up/down), Horizontal (left/right, front/back)
– Absolute (E, S, W, N)
Learning
System
dynamic relations
(e.g. into)
structured connectionist
network (based on
visual system)
We’ll look at the
details next lecture
Simulation-based language
understanding
“Harry walked to the cafe.”
Utterance
Constructions
Analysis Process
General
Knowledge
Belief State
Schema
walk
Trajector
Harry
Cafe
Goal
cafe
Simulation
Specification
Simulation
Simulation Semantics
• BASIC ASSUMPTION: SAME REPRESENTATION FOR
PLANNING AND SIMULATIVE INFERENCE
– Evidence for common mechanisms for recognition and
action (mirror neurons) in the F5 area (Rizzolatti et al (1996),
Gallese 96, Boccino 2002) and from motor imagery
(Jeannerod 1996)
• IMPLEMENTATION:
– x-schemas affect each other by enabling, disabling or
modifying execution trajectories. Whenever the
CONTROLLER schema makes a transition it may set, get,
or modify state leading to triggering or modification of other
x-schemas. State is completely distributed (a graph marking)
over the network.
• RESULT: INTERPRETATION IS IMAGINATIVE SIMULATION!
Active representations
• Many inferences about actions derive from what we
know about executing them
• Representation based on stochastic Petri nets
captures dynamic, parameterized nature of actions
• Models linguistic aspect
walker at goal
energy
walker=Harry
goal=home
Walking:
bound to a specific walker with a
direction or goal
consumes resources (e.g.,
energy)
may have termination condition
(e.g., walker at goal)
ongoing, iterative action
Learning Verb Meanings
David Bailey
A model of children learning their first verbs.
Assumes parent labels child’s actions.
Child knows parameters of action, associates with word
Program learns well enough to:
1) Label novel actions correctly
2) Obey commands using new words (simulation)
System works across languages
Mechanisms are neurally plausible.
cow
apple
ball
juice
bead
girl
bottle
truck
baby
w oof
yum
go
up
this
no
m ore
m ore
spoon
ham m er
shoe
d ad d y
m oo
w hee
get
out
there
bye
banana
box
eye
m om y
uhoh
sit
in
here
hi
cookie
horse
d oor boy
choochoo
boom
oh
open
on
that
no
food
toys
yes
misc.
people
d ow n
sound emotion action
prep.
demon. social
Words learned by most 2-year olds in a play school (Bloom 1993)
System Overview
Learning Two Senses of PUSH
Model merging based on Bayesian MDL
Training Results
David Bailey
English
• 165 Training Examples, 18 verbs
• Learns optimal number of word senses (21)
• 32 Test examples : 78% recognition, 81% action
• All mistakes were close lift ~ yank, etc.
• Learned some particle CXN,e.g., pull up
Farsi
• With identical settings, learned senses not in
English
Task: Interpret simple discourse
fragments/ blurbs
France fell into recession. Pulled out by Germany
US Economy on the verge of falling back into recession
after moving forward on an anemic recovery.
Indian Government stumbling in implementing
Liberalization plan.
Moving forward on all fronts, we are going to be ongoing
and relentless as we tighten the net of justice.
The Government is taking bold new steps. We are
loosening the stranglehold on business, slashing
tariffs and removing obstacles to international trade.
Probabilistic inference
– Filtering
• P(X_t | o_1…t,X_1…t)
• Update the state based on the observation sequence and state
set
– MAP Estimation
• Argmaxh1…hnP(X_t | o_1…t, X_1…t)
• Return the best assignment of values to the hypothesis
variables given the observation and states
– Smoothing
• P(X_t-k | o_1…t, X_1…t)
• modify assumptions about previous states, given observation
sequence and state set
– Projection/Prediction/Reachability
• P(X_t+k | o_1..t, X_1..t)
Metaphor Maps
• Static Structures that project bindings from source
domain f- struct to target domain Bayes net nodes by
setting evidence on the target network.
• Different types of maps
– PMAPS project X- schema Parameters to abstract domains
– OMAPS connect roles between source and target domain
– SMAPS connect schemas from source to target domains.
• ASPECT is an invariant in projection.
Results
• Model was implemented and tested on discourse fragments
from a database of 50 newspaper stories in international
economics from standard sources such as WSJ, NYT, and the
Economist.
• Results show that motion terms are often the most effective
method to provide the following types of information about
abstract plans and actions.
– Information about uncertain events and dynamic changes in goals and
resources. (sluggish, fall, off-track, no steam)
– Information about evaluations of policies and economic actors and
communicative intent (strangle-hold, bleed).
– Communicating complex, context-sensitive and dynamic economic
scenarios (stumble, slide, slippery slope).
– Commincating complex event structure and aspectual information (on
the verge of, sidestep, giant leap, small steps, ready, set out, back on
track).
• ALL THESE BINDINGS RESULT FROM REFLEX, AUTOMATIC
INFERENCES PROVIDED BY X-SCHEMA BASED
INFERENCES.
Models of Learning
•
•
•
•
Hebbian ~ coincidence
Recruitment ~ one trial
Supervised ~ correction (backprop)
Reinforcement ~ Reward based
– delayed reward
• Unsupervised ~ similarity
Reinforcement Learning
• Basic idea:
– Receive feedback in the form of rewards
• also called reward based learning in psychology
– Agent’s utility is defined by the reward function
– Must learn to act so as to maximize expected utility
– Change the rewards, change the behavior
• Examples:
–
–
–
–
Learning coordinated behavior/skills (x-schemas)
Playing a game, reward at the end for winning / losing
Vacuuming robot, reward for each piece of dirt picked up
Automated taxi, reward for each passenger delivered
Markov Decision Processes
• Markov decision processes (MDPs)
– A set of states s  S
– A model T(s,a,s’) = P(s’ | s,a)
• Probability that action a in state s
leads to s’
– A reward function R(s, a, s’)
(sometimes just R(s) for leaving a
state or R(s’) for entering one)
– A start state (or distribution)
– Maybe a terminal state
• MDPs are the simplest case of
reinforcement learning
– In general reinforcement learning, we
don’t know the model or the reward
function
MDP Solutions
• In deterministic single-agent search, want an optimal
sequence of actions from start to a goal
• In an MDP we want an optimal policy (s)
– A policy gives an action for each state
– Optimal policy maximizes expected utility (i.e. expected rewards)
if followed
– Defines a reflex agent
Optimal policy when
R(s, a, s’) = -0.04 for all
non-terminals s
Q-Learning
• Learn Q*(s,a) values
– Receive a sample (s,a,s’,r)
– Consider your old estimate:
– Consider your new sample estimate:
– Nudge the old estimate towards the new sample:
Exploration / Exploitation
• Several schemes for forcing exploration
– Simplest: random actions (-greedy)
• Every time step, flip a coin
• With probability , act randomly
• With probability 1-, act according to current policy
(best q value for instance)
– Problems with random actions?
• You do explore the space, but keep thrashing
around once learning is done
• One solution: lower  over time
• Another solution: exploration functions
Embodied Construction Grammar
ECG
1. Linguistic Analysis
2. Computational Implementation
a. Test Grammars
b. Applied Projects – Question Answering
3. Map to Connectionist Models, Brain
4. Models of Grammar Acquisition
Embodied Construction Grammar
• Embodied representations
– active perceptual and motor schemas
(image schemas, x-schemas, frames, etc.)
– situational and discourse context
• Construction Grammar
– Linguistic units relate form and
meaning/function.
– Both constituency and (lexical) dependencies
allowed.
• Constraint-based
– based on feature unification (as in LFG, HPSG)
– Diverse factors can flexibly interact.
“Harry walked into the cafe.”
Pragmatics
Semantics
Syntax
Morphology
Phonology
Phonetics
“Harry walked into the cafe.”
Pragmatics
Semantics
Syntax
Morphology
Phonology
Phonetics
U
T
T
E
R
A
N
C
E
ECG Structures
• Schemas
– image schemas, force-dynamic schemas, executing
schemas, frames…
• Constructions
– lexical, grammatical, morphological, gestural…
• Maps
– metaphor, metonymy, mental space maps…
• Spaces
– discourse, hypothetical, counterfactual…
Embodied schemas
schema name
schema Source-Path-Goal
roles
source
path
goal
trajector
role name
schema Container
roles
interior
exterior
portal
boundary
Boundary
Source
Trajector
Interior
Portal
Goal
Path
Exterior
These are abstractions over sensorimotor experiences.
Embodied constructions
Form
Meaning
construction HARRY
form : /hEriy/
meaning : Harry
Harry
cafe
ECG Notation
CAFE
construction CAFE
form : /khaefej/
meaning : Cafe
Constructions have form and meaning poles that are subject to type constraints.
An analysis using THROWTRANSITIVE
Simulation-based language understanding
construction WALKED
form
selff.phon  [wakt]
meaning : Walk-Action
constraints
selfm.time before Context.speech-time
selfm..aspect  encapsulated
“Harry walked into the cafe.”
Utterance
Analysis Process
Constructions
General
Knowledge
Semantic
Specification
Belief State
CAFE
Simulation
Simulation specification
The analysis process produces a simulation specification that
•includes image-schematic, motor control and conceptual structures
•provides parameters for a mental simulation
Competition-based analyzer finds
the best analysis
• An analysis is made up of:
– A constructional tree
– A set of resolutions
– A semantic specification
The best fit has the
highest combined score
Summary: ECG
• Linguistic constructions are tied to a model of
simulated action and perception
• Embedded in a theory of language processing
– Constrains theory to be usable
– Frees structures to be just structures, used in
processing
• Precise, computationally usable formalism
– Practical computational applications, like MT and NLU
– Testing of functionality, e.g. language learning
• A shared theory and formalism for different
cognitive mechanisms
– Constructions, metaphor, mental spaces, etc.
State of the Art
Natural Language Understanding
• Limited Commercial Speech Applications
transcription, simple response systems
• Statistical NLP for Restricted Tasks
tagging, parsing, information retrieval
• Template-based Understanding programs
expensive, brittle, inflexible, unnatural
• Essentially no NLU in QA, HCI systems
• ECG being applied in prototypes
Download