Top Banner
4 Proposed Research Projects • SmartHome – Encouraging patients with mild cognitive disabilities to use digital memory notebook for activities of daily living • Diabetes – Encouraging patients to use program and follow exercise advice to maintain glucose levels • Machine Learning Curriculum Development – Automatically construct a set of tasks such that it’s faster to learn the set than to directly learn the final (target) task • Lifelong Machine Learning – Get a team of parrot drones and turtlebots to coordinate for a search and rescue. Build a library of past tasks to learn the n+1 st task faster All at risk because of the government shutdown
54

4 Proposed Research Projects SmartHome – Encouraging patients with mild cognitive disabilities to use digital memory notebook for activities of daily living.

Jan 17, 2016

Download

Documents

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: 4 Proposed Research Projects SmartHome – Encouraging patients with mild cognitive disabilities to use digital memory notebook for activities of daily living.

4 Proposed Research Projects• SmartHome

– Encouraging patients with mild cognitive disabilities to use digital memory notebook for activities of daily living

• Diabetes– Encouraging patients to use program and follow exercise advice to

maintain glucose levels• Machine Learning Curriculum Development

– Automatically construct a set of tasks such that it’s faster to learn the set than to directly learn the final (target) task

• Lifelong Machine Learning– Get a team of parrot drones and turtlebots to coordinate for a search

and rescue. Build a library of past tasks to learn the n+1st task faster

All at risk because of the government shutdown

Page 2: 4 Proposed Research Projects SmartHome – Encouraging patients with mild cognitive disabilities to use digital memory notebook for activities of daily living.

Thu

• Homework• (some?) labs• Contest : only 1 try– Will open classroom early

Page 3: 4 Proposed Research Projects SmartHome – Encouraging patients with mild cognitive disabilities to use digital memory notebook for activities of daily living.

• General approach:

• A: action• S: pose• O: observationPosition at time t depends on position previous position and action, and current observation

Page 4: 4 Proposed Research Projects SmartHome – Encouraging patients with mild cognitive disabilities to use digital memory notebook for activities of daily living.

Models of Belief

Page 5: 4 Proposed Research Projects SmartHome – Encouraging patients with mild cognitive disabilities to use digital memory notebook for activities of daily living.

Axioms of Probability Theory• denotes probability that proposition A is true.• denotes probability that proposition A is false.

1. 2. 3.

1)Pr(0 A

1)Pr( True 0)Pr( False

)Pr()Pr()Pr()Pr( BABABA

Page 6: 4 Proposed Research Projects SmartHome – Encouraging patients with mild cognitive disabilities to use digital memory notebook for activities of daily living.

A Closer Look at Axiom 3

B

BA A BTrue

)Pr()Pr()Pr()Pr( BABABA

Page 7: 4 Proposed Research Projects SmartHome – Encouraging patients with mild cognitive disabilities to use digital memory notebook for activities of daily living.

Using the Axioms to Prove

(Axiom 3 with )

(by logical equivalence)

Page 8: 4 Proposed Research Projects SmartHome – Encouraging patients with mild cognitive disabilities to use digital memory notebook for activities of daily living.

Discrete Random Variables

• X denotes a random variable.

• X can take on a countable number of values in {x1, x2, …, xn}.

• P(X=xi), or P(xi), is the probability that the random variable X takes on value xi.

• P(xi) is called probability mass function.

• E.g. 2.0)( RoomP

Page 9: 4 Proposed Research Projects SmartHome – Encouraging patients with mild cognitive disabilities to use digital memory notebook for activities of daily living.

Continuous Random Variables• takes on values in the continuum.

• , or , is a probability density function.

• E.g.b

a

dxxpbax )()),(Pr(

x

p(x)

Page 10: 4 Proposed Research Projects SmartHome – Encouraging patients with mild cognitive disabilities to use digital memory notebook for activities of daily living.

Probability Density Function

• Since continuous probability functions are defined for an infinite number of points over a continuous interval, the probability at a single point is always 0.

x

p(x)Magnitude of curve could be greater than 1 in some areas. The total area under the curve must add up to 1.

Page 11: 4 Proposed Research Projects SmartHome – Encouraging patients with mild cognitive disabilities to use digital memory notebook for activities of daily living.

Joint Probability• Notation

• If X and Y are independent then

Page 12: 4 Proposed Research Projects SmartHome – Encouraging patients with mild cognitive disabilities to use digital memory notebook for activities of daily living.

Conditional Probability

• is the probability of x given y

• If X and Y are independent then

Page 13: 4 Proposed Research Projects SmartHome – Encouraging patients with mild cognitive disabilities to use digital memory notebook for activities of daily living.

Inference by Enumeration

=0.4

Page 14: 4 Proposed Research Projects SmartHome – Encouraging patients with mild cognitive disabilities to use digital memory notebook for activities of daily living.

Law of Total Probability

y

yxPxP ),()(

y

yPyxPxP )()|()(

x

xP 1)(

Discrete case

1)( dxxp

Continuous case

dyypyxpxp )()|()(

dyyxpxp ),()(

Page 15: 4 Proposed Research Projects SmartHome – Encouraging patients with mild cognitive disabilities to use digital memory notebook for activities of daily living.

Bayes Formula

)( yxp

evidence

prior likelihood

)(

)()|()(

yP

xPxyPyxP

)()|()()|(),( xPxyPyPyxPyxP

Posterior (conditional) probability distribution

)( xyp

)(xp Prior probability distribution

If y is a new sensor reading:

Model of the characteristics of the sensor

)(yp

Does not depend on x

Page 16: 4 Proposed Research Projects SmartHome – Encouraging patients with mild cognitive disabilities to use digital memory notebook for activities of daily living.

Bayes Formula

evidence

prior likelihood

)(

)()|()(

yP

xPxyPyxP

)()|()()|(),( xPxyPyPyxPyxP

x

xPxyP

xPxyPyxP

)()|(

)()|()(

Page 17: 4 Proposed Research Projects SmartHome – Encouraging patients with mild cognitive disabilities to use digital memory notebook for activities of daily living.

Bayes Rule with Background Knowledge

)|(

)|(),|(),|(

zyP

zxPzxyPzyxP

Page 18: 4 Proposed Research Projects SmartHome – Encouraging patients with mild cognitive disabilities to use digital memory notebook for activities of daily living.

Conditional Independence

equivalent to

and),|()( xzyPzyP

),|()( yzxPzxP

)|()|(),( zyPzxPzyxP

Page 19: 4 Proposed Research Projects SmartHome – Encouraging patients with mild cognitive disabilities to use digital memory notebook for activities of daily living.

Simple Example of State Estimation

• Suppose a robot obtains measurement • What is ?

Page 20: 4 Proposed Research Projects SmartHome – Encouraging patients with mild cognitive disabilities to use digital memory notebook for activities of daily living.

Causal vs. Diagnostic Reasoning

• is diagnostic.• is causal.• Often causal knowledge is easier to obtain.• Bayes rule allows us to use causal knowledge:

)()()|(

)|(zP

openPopenzPzopenP

Comes from sensor model.

Page 21: 4 Proposed Research Projects SmartHome – Encouraging patients with mild cognitive disabilities to use digital memory notebook for activities of daily living.

Example

P(z|open) = 0.6 P(z|open) = 0.3 P(open) = P(open) = 0.5

67.03

2

5.03.05.06.0

5.06.0)|(

)()|()()|(

)()|()|(

zopenP

openpopenzPopenpopenzP

openPopenzPzopenP

raises the probability that the door is open.

)()()|(

)|(zP

openPopenzPzopenP

Page 22: 4 Proposed Research Projects SmartHome – Encouraging patients with mild cognitive disabilities to use digital memory notebook for activities of daily living.

Combining Evidence

• Suppose our robot obtains another observation z2.

• How can we integrate this new information?

• More generally, how can we estimateP(x| z1...zn )?

Page 23: 4 Proposed Research Projects SmartHome – Encouraging patients with mild cognitive disabilities to use digital memory notebook for activities of daily living.

Recursive Bayesian Updating

),,|(

),,|(),,,|(),,|(

11

11111

nn

nnnn

zzzP

zzxPzzxzPzzxP

Markov assumption: zn is independent of z1,...,zn-1 if we know x.

)()()|(

)|(zP

openPopenzPzopenP

Page 24: 4 Proposed Research Projects SmartHome – Encouraging patients with mild cognitive disabilities to use digital memory notebook for activities of daily living.

Example: 2nd Measurement

• P(z2|open) = 0.5 P(z2|open) = 0.6

• P(open|z1)=2/3

625.08

5

31

53

32

21

32

21

)|()|()|()|(

)|()|(),|(

1212

1212

zopenPopenzPzopenPopenzP

zopenPopenzPzzopenP

lowers the probability that the door is open.

),,|(

),,|()|(),,|(

11

111

nn

nnn

zzzP

zzxPxzPzzxP

Page 25: 4 Proposed Research Projects SmartHome – Encouraging patients with mild cognitive disabilities to use digital memory notebook for activities of daily living.

Actions

• Often the world is dynamic since– actions carried out by the robot,– actions carried out by other agents,– or just the time passing by

change the world.

• How can we incorporate such actions?

Page 26: 4 Proposed Research Projects SmartHome – Encouraging patients with mild cognitive disabilities to use digital memory notebook for activities of daily living.

Typical Actions

• Actions are never carried out with absolute certainty.• In contrast to measurements, actions generally increase the

uncertainty. • (Can you think of an exception?)

Page 27: 4 Proposed Research Projects SmartHome – Encouraging patients with mild cognitive disabilities to use digital memory notebook for activities of daily living.

Modeling Actions

• To incorporate the outcome of an action u into the current “belief”, we use the conditional pdf

• This term specifies the pdf that executing changes the state from to .

Page 28: 4 Proposed Research Projects SmartHome – Encouraging patients with mild cognitive disabilities to use digital memory notebook for activities of daily living.

Example: Closing the door

Page 29: 4 Proposed Research Projects SmartHome – Encouraging patients with mild cognitive disabilities to use digital memory notebook for activities of daily living.

for :

If the door is open, the action “close door” succeeds in 90% of all cases.

open closed0.1 1

0.9

0

Page 30: 4 Proposed Research Projects SmartHome – Encouraging patients with mild cognitive disabilities to use digital memory notebook for activities of daily living.

Integrating the Outcome of Actions

')'()',|()|( dxxPxuxPuxP

)'()',|()|( xPxuxPuxP

Continuous case:

Discrete case:

Applied to status of door, given that we just (tried to) close it?

Page 31: 4 Proposed Research Projects SmartHome – Encouraging patients with mild cognitive disabilities to use digital memory notebook for activities of daily living.

Integrating the Outcome of Actions

')'()',|()|( dxxPxuxPuxP

)'()',|()|( xPxuxPuxP

Continuous case:

Discrete case:

P(closed | u) = P(closed | u, open) P(open) + P(closed|u, closed) P(closed)

Page 32: 4 Proposed Research Projects SmartHome – Encouraging patients with mild cognitive disabilities to use digital memory notebook for activities of daily living.

Example: The Resulting Belief

1615

83

11

85

109

)(),|(

)(),|(

)'()',|()|(

closedPcloseduclosedP

openPopenuclosedP

xPxuclosedPuclosedP

Page 33: 4 Proposed Research Projects SmartHome – Encouraging patients with mild cognitive disabilities to use digital memory notebook for activities of daily living.

Example: The Resulting Belief

1615

83

11

85

109

)(),|(

)(),|(

)'()',|()|(

closedPcloseduclosedP

openPopenuclosedP

xPxuclosedPuclosedP

OK… but then what’s the chance that it’s still open?

Page 34: 4 Proposed Research Projects SmartHome – Encouraging patients with mild cognitive disabilities to use digital memory notebook for activities of daily living.

Example: The Resulting Belief

)|(1161

83

10

85

101

)(),|(

)(),|(

)'()',|()|(

uclosedP

closedPcloseduopenP

openPopenuopenP

xPxuopenPuopenP

Page 35: 4 Proposed Research Projects SmartHome – Encouraging patients with mild cognitive disabilities to use digital memory notebook for activities of daily living.

Summary

• Bayes rule allows us to compute probabilities that are hard to assess otherwise.

• Under the Markov assumption, recursive Bayesian updating can be used to efficiently combine evidence.

Page 36: 4 Proposed Research Projects SmartHome – Encouraging patients with mild cognitive disabilities to use digital memory notebook for activities of daily living.

Quiz from Lectures Past

• If events a and b are independent,• p(a, b) = p(a) × p(b)

• If events a and b are not independent, – p(a, b) = p(a) × p(b|a) = p(b) × p (a|b)

• p(c|d) = p (c , d) / p(d) = p((d|c) p(c)) / p(d)

Page 37: 4 Proposed Research Projects SmartHome – Encouraging patients with mild cognitive disabilities to use digital memory notebook for activities of daily living.

Example

Page 38: 4 Proposed Research Projects SmartHome – Encouraging patients with mild cognitive disabilities to use digital memory notebook for activities of daily living.

Example

s

P(s)

Page 39: 4 Proposed Research Projects SmartHome – Encouraging patients with mild cognitive disabilities to use digital memory notebook for activities of daily living.

Example

Page 40: 4 Proposed Research Projects SmartHome – Encouraging patients with mild cognitive disabilities to use digital memory notebook for activities of daily living.

Example

How does the probability distribution change if the robot now senses a wall?

Page 41: 4 Proposed Research Projects SmartHome – Encouraging patients with mild cognitive disabilities to use digital memory notebook for activities of daily living.

Example 2

0.2 0.2 0.2 0.2 0.2

Page 42: 4 Proposed Research Projects SmartHome – Encouraging patients with mild cognitive disabilities to use digital memory notebook for activities of daily living.

Example 2

0.2 0.2 0.2 0.2 0.2

Robot senses yellow.

Probability should go up.

Probability should go down.

Page 43: 4 Proposed Research Projects SmartHome – Encouraging patients with mild cognitive disabilities to use digital memory notebook for activities of daily living.

Example 2

• States that match observation• Multiply prior by 0.6

• States that don’t match observation• Multiply prior by 0.2

0.2 0.2 0.2 0.2 0.2

Robot senses yellow.

0.04 0.12 0.12 0.04 0.04

Page 44: 4 Proposed Research Projects SmartHome – Encouraging patients with mild cognitive disabilities to use digital memory notebook for activities of daily living.

Example 2

!

The probability distribution no longer sums to 1!

0.04 0.12 0.12 0.04 0.04

Normalize (divide by total)

.111 .333 .333 .111 .111

Sums to 0.36

Page 45: 4 Proposed Research Projects SmartHome – Encouraging patients with mild cognitive disabilities to use digital memory notebook for activities of daily living.

Nondeterministic Robot Motion

R

The robot can now move Left and Right.

.111 .333 .333 .111 .111

Page 46: 4 Proposed Research Projects SmartHome – Encouraging patients with mild cognitive disabilities to use digital memory notebook for activities of daily living.

Nondeterministic Robot Motion

R

The robot can now move Left and Right.

.111 .333 .333 .111 .111

When executing “move x steps to right” or left:.8: move x steps.1: move x-1 steps.1: move x+1 steps

Page 47: 4 Proposed Research Projects SmartHome – Encouraging patients with mild cognitive disabilities to use digital memory notebook for activities of daily living.

Nondeterministic Robot Motion

Right 2

The robot can now move Left and Right.

0 1 0 0 0

0 0 0.1 0.8 0.1

When executing “move x steps to right”:.8: move x steps.1: move x-1 steps.1: move x+1 steps

Page 48: 4 Proposed Research Projects SmartHome – Encouraging patients with mild cognitive disabilities to use digital memory notebook for activities of daily living.

Nondeterministic Robot Motion

Right 2

The robot can now move Left and Right.

0 0.5 0 0.5 0

0.4 0.05 0.05 0.4 (0.05+0.05)0.1

When executing “move x steps to right”:.8: move x steps.1: move x-1 steps.1: move x+1 steps

Page 49: 4 Proposed Research Projects SmartHome – Encouraging patients with mild cognitive disabilities to use digital memory notebook for activities of daily living.

Nondeterministic Robot Motion

What is the probability distribution after 1000 moves?

0 0.5 0 0.5 0

Page 50: 4 Proposed Research Projects SmartHome – Encouraging patients with mild cognitive disabilities to use digital memory notebook for activities of daily living.

Example

Page 51: 4 Proposed Research Projects SmartHome – Encouraging patients with mild cognitive disabilities to use digital memory notebook for activities of daily living.

ExampleRight

Page 52: 4 Proposed Research Projects SmartHome – Encouraging patients with mild cognitive disabilities to use digital memory notebook for activities of daily living.

Example

Page 53: 4 Proposed Research Projects SmartHome – Encouraging patients with mild cognitive disabilities to use digital memory notebook for activities of daily living.

ExampleRight

Page 54: 4 Proposed Research Projects SmartHome – Encouraging patients with mild cognitive disabilities to use digital memory notebook for activities of daily living.

Localization

Sense Move

Initial Belief

Gain Information Lose

Information