CPSC 322, Lecture 31Slide 1 Probability and Time: Markov Models Computer Science cpsc322, Lecture 31 (Textbook Chpt 6.5) March, 25, 2009.

Slides:



Advertisements
Similar presentations
Computer Science CPSC 322 Lecture 25 Top Down Proof Procedure (Ch 5.2.2)
Advertisements

Computer Science CPSC 322 Lecture 3 AI Applications.
Decision Theory: Sequential Decisions Computer Science cpsc322, Lecture 34 (Textbook Chpt 9.3) Nov, 28, 2012.
Lecture 11 Probability and Time
Department of Computer Science Undergraduate Events More
CPSC 322, Lecture 2Slide 1 Representational Dimensions Computer Science cpsc322, Lecture 2 (Textbook Chpt1) Sept, 6, 2013.
CPSC 502, Lecture 11Slide 1 Introduction to Artificial Intelligence (AI) Computer Science cpsc502, Lecture 11 Oct, 18, 2011.
CPSC 322, Lecture 26Slide 1 Reasoning Under Uncertainty: Belief Networks Computer Science cpsc322, Lecture 27 (Textbook Chpt 6.3) March, 16, 2009.
CPSC 322, Lecture 23Slide 1 Logic: TD as search, Datalog (variables) Computer Science cpsc322, Lecture 23 (Textbook Chpt 5.2 & some basic concepts from.
CPSC 322, Lecture 19Slide 1 Propositional Logic Intro, Syntax Computer Science cpsc322, Lecture 19 (Textbook Chpt ) February, 23, 2009.
Decision Theory: Single Stage Decisions Computer Science cpsc322, Lecture 33 (Textbook Chpt 9.2) March, 30, 2009.
CPSC 322, Lecture 37Slide 1 Finish Markov Decision Processes Last Class Computer Science cpsc322, Lecture 37 (Textbook Chpt 9.5) April, 8, 2009.
CPSC 322, Lecture 4Slide 1 Search: Intro Computer Science cpsc322, Lecture 4 (Textbook Chpt ) January, 12, 2009.
CPSC 322, Lecture 18Slide 1 Planning: Heuristics and CSP Planning Computer Science cpsc322, Lecture 18 (Textbook Chpt 8) February, 12, 2010.
Probabilistic reasoning over time So far, we’ve mostly dealt with episodic environments –One exception: games with multiple moves In particular, the Bayesian.
CPSC 322, Lecture 30Slide 1 Reasoning Under Uncertainty: Variable elimination Computer Science cpsc322, Lecture 30 (Textbook Chpt 6.4) March, 23, 2009.
CPSC 322, Lecture 23Slide 1 Logic: TD as search, Datalog (variables) Computer Science cpsc322, Lecture 23 (Textbook Chpt 5.2 & some basic concepts from.
CPSC 322, Lecture 12Slide 1 CSPs: Search and Arc Consistency Computer Science cpsc322, Lecture 12 (Textbook Chpt ) January, 29, 2010.
Big Ideas in Cmput366. Search Blind Search Iterative deepening Heuristic Search A* Local and Stochastic Search Randomized algorithm Constraint satisfaction.
CPSC 322, Lecture 17Slide 1 Planning: Representation and Forward Search Computer Science cpsc322, Lecture 17 (Textbook Chpt 8.1 (Skip )- 8.2) February,
CPSC 322, Lecture 28Slide 1 Reasoning Under Uncertainty: More on BNets structure and construction Computer Science cpsc322, Lecture 28 (Textbook Chpt 6.3)
CPSC 322, Lecture 17Slide 1 Planning: Representation and Forward Search Computer Science cpsc322, Lecture 17 (Textbook Chpt 8.1 (Skip )- 8.2) February,
CPSC 322, Lecture 22Slide 1 Logic: Domain Modeling /Proofs + Top-Down Proofs Computer Science cpsc322, Lecture 22 (Textbook Chpt 5.2) March, 8, 2010.
CPSC 322, Lecture 32Slide 1 Probability and Time: Hidden Markov Models (HMMs) Computer Science cpsc322, Lecture 32 (Textbook Chpt 6.5) March, 27, 2009.
CPSC 422, Lecture 14Slide 1 Intelligent Systems (AI-2) Computer Science cpsc422, Lecture 14 Feb, 4, 2015 Slide credit: some slides adapted from Stuart.
CPSC 322, Lecture 35Slide 1 Value of Information and Control Computer Science cpsc322, Lecture 35 (Textbook Chpt 9.4) April, 14, 2010.
CPSC 322, Lecture 24Slide 1 Reasoning under Uncertainty: Intro to Probability Computer Science cpsc322, Lecture 24 (Textbook Chpt 6.1, 6.1.1) March, 15,
8/27/2015CPSC503 Winter CPSC 503 Computational Linguistics Lecture 5 Giuseppe Carenini.
Slide 1 Logic: Domain Modeling /Proofs + Top-Down Proofs Jim Little UBC CS 322 – CSP October 22, 2014.
Computer Science CPSC 322 Lecture 3 AI Applications 1.
CPSC 322, Lecture 22Slide 1 Logic: Domain Modeling /Proofs + Top-Down Proofs Computer Science cpsc322, Lecture 22 (Textbook Chpt 5.2) Oct, 26, 2010.
Department of Computer Science Undergraduate Events More
Computer Science CPSC 502 Lecture 14 Markov Decision Processes (Ch. 9, up to 9.5.3)
CPSC 322, Lecture 32Slide 1 Probability and Time: Hidden Markov Models (HMMs) Computer Science cpsc322, Lecture 32 (Textbook Chpt 6.5.2) Nov, 25, 2013.
The famous “sprinkler” example (J. Pearl, Probabilistic Reasoning in Intelligent Systems, 1988)
CPSC 322, Lecture 19Slide 1 (finish Planning) Propositional Logic Intro, Syntax Computer Science cpsc322, Lecture 19 (Textbook Chpt – 5.2) Oct,
CPSC 422, Lecture 17Slide 1 Intelligent Systems (AI-2) Computer Science cpsc422, Lecture 17 Oct, 19, 2015 Slide Sources D. Koller, Stanford CS - Probabilistic.
Probability and Time. Overview  Modelling Evolving Worlds with Dynamic Baysian Networks  Simplifying Assumptions Stationary Processes, Markov Assumption.
Reasoning Under Uncertainty: Independence and Inference CPSC 322 – Uncertainty 5 Textbook §6.3.1 (and for HMMs) March 25, 2011.
CPSC 322, Lecture 2Slide 1 Representational Dimensions Computer Science cpsc322, Lecture 2 (Textbook Chpt1) Sept, 7, 2012.
2/29/2016CPSC503 Winter CPSC 503 Computational Linguistics Lecture 5 Giuseppe Carenini.
CPSC 322, Lecture 26Slide 1 Reasoning Under Uncertainty: Belief Networks Computer Science cpsc322, Lecture 27 (Textbook Chpt 6.3) Nov, 13, 2013.
CPSC 322, Lecture 22Slide 1 Logic: Domain Modeling /Proofs + Top-Down Proofs Computer Science cpsc322, Lecture 22 (Textbook Chpt 5.2) Oct, 30, 2013.
Probability and Time: Hidden Markov Models (HMMs)
Reasoning Under Uncertainty: Belief Networks
CSPs: Search and Arc Consistency Computer Science cpsc322, Lecture 12
Intelligent Systems (AI-2) Computer Science cpsc422, Lecture 2
Intelligent Systems (AI-2) Computer Science cpsc422, Lecture 7
Reasoning Under Uncertainty: More on BNets structure and construction
Reasoning Under Uncertainty: Conditioning, Bayes Rule & Chain Rule
Planning: Representation and Forward Search
Intelligent Systems (AI-2) Computer Science cpsc422, Lecture 14
Decision Theory: Single Stage Decisions
Planning: Representation and Forward Search
Probability and Time: Markov Models
Reasoning Under Uncertainty: Bnet Inference
Probability and Time: Markov Models
Intelligent Systems (AI-2) Computer Science cpsc422, Lecture 2
Decision Theory: Sequential Decisions
Decision Theory: Single Stage Decisions
Probability and Time: Markov Models
Intelligent Systems (AI-2) Computer Science cpsc422, Lecture 14
Logic: Domain Modeling /Proofs + Computer Science cpsc322, Lecture 22
Probability and Time: Markov Models
Reasoning Under Uncertainty: Variable elimination
Intelligent Systems (AI-2) Computer Science cpsc422, Lecture 7
Planning: Representation and Forward Search
Intelligent Systems (AI-2) Computer Science cpsc422, Lecture 7
Intelligent Systems (AI-2) Computer Science cpsc422, Lecture 14
Presentation transcript:

CPSC 322, Lecture 31Slide 1 Probability and Time: Markov Models Computer Science cpsc322, Lecture 31 (Textbook Chpt 6.5) March, 25, 2009

CPSC 322, Lecture 30Slide 2 Lecture Overview Recap Temporal Probabilistic Models Start Markov Models Markov Chain Markov Chains in Natural Language Processing

CPSC 322, Lecture 2Slide 3 Big Picture: R&R systems Environment Problem Query Planning Deterministic Stochastic Search Arc Consistency Search Value Iteration Var. Elimination Constraint Satisfaction Logics STRIPS Belief Nets Vars + Constraints Decision Nets Markov Processes Var. Elimination Static Sequential Representation Reasoning Technique SLS

CPSC 322, Lecture 18Slide 4 Answering Query under Uncertainty Static Belief Network & Variable Elimination Dynamic Bayesian Network Probability Theory Hidden Markov Models spam filters Diagnostic Systems (e.g., medicine) Natural Language Processing Student Tracing in tutoring Systems Monitoring (e.g credit cards) BioInformatics Markov Chains

CPSC 322, Lecture 30Slide 5 Lecture Overview Recap Temporal Probabilistic Models Start Markov Models Markov Chain Markov Chains in Natural Language Processing

Modelling static Environments So far we have used Bnets to perform inference in static environments For instance, the system keeps collecting evidence to diagnose the cause of a fault in a system (e.g., a car). The environment (values of the evidence, the true cause) does not change as I gather new evidence What does change? The system’s beliefs over possible causes

Modeling Evolving Environments Often we need to make inferences about evolving environments. Represent the state of the world at each specific point in time via a series of snapshots, or time slices, Tutoring system tracing student knowledge and morale Knows-Subtraction t-1 Morale t-1 Morale t SolveProblem t-1 SolveProblem t Knows-Subtraction t

CPSC 322, Lecture 30Slide 8 Lecture Overview Recap Temporal Probabilistic Models Start Markov Models Markov Chain Markov Chains in Natural Language Processing

CPSC 322, Lecture 30Slide 9 Simplest Possible DBN Thus Intuitively S t conveys all of the information about the history that can affect the future states. “The future is independent of the past given the present.” One random variable for each time slice : let’s assume S t represents the state at time t. with domain {s 1 …s n } Each random variable depends only on the previous one

Simplest Possible DBN (cont’) Stationary process assumption: the mechanism that regulates how state variables change overtime is stationary, that is it can be described by a single transition model P(S t |S t-1 ) How many CPTs do we need to specify?

Stationary Markov Chain (SMC) A stationary Markov Chain : for all t >0 P (S t+1 | S 0,…,S t ) = P (S t+1 |S t ) and P (S t +1 |S t ) is the same We only need to specify and Simple Model, easy to specify Often the natural model The network can extend indefinitely Variations of SMC are at the core of most Natural Language Processing (NLP) applications!

CPSC 322, Lecture 30 Slide 12 Stationary Markov-Chain: Example Probability of initial state t tqp q p a h e ahe Domain of variable S i is {t, i, p, a, h, e} We only need to specify… t q.6.4 p a h e Stochastic Transition Matrix P (S 0 ) P (S t+1 |S t )

CPSC 322, Lecture 30Slide 13 Markov-Chain: Inference Probability of a sequence of states S 0 … S T Example: t q.6.4 p a h e t tqp q p a h e ahe P (S 0 ) P (S t+1 |S t )

CPSC 322, Lecture 30Slide 14 Lecture Overview Recap Temporal Probabilistic Models Markov Models Markov Chain Markov Chains in Natural Language Processing

6/28/2015 CPSC503 Winter Key problems in NLP Assign a probability to a sentence Part-of-speech tagging Word-sense disambiguation, Probabilistic Parsing Predict the next word Speech recognition Hand-writing recognition Augmentative communication for the disabled Impossible to estimate  “Book me a room near UBC” Summarization, Machine Translation….....

6/28/2015 CPSC503 Winter Impossible to estimate! Assuming 10 5 words and average sentence contains 10 words ……. Google language repository (22 Sept. 2006) contained “only”: 95,119,665,584 sentences Most sentences will not appear or appear only once 

6/28/2015 CPSC503 Winter What can we do? Make a strong simplifying assumption! Sentences are generated by a Markov Chain P(The big red dog barks)= P(The| ) *

6/28/2015 CPSC503 Winter Estimates for Bigrams Silly language repositories with only two sentences: “ The big red dog barks against the big pink dog” “ The big pink dog is much smaller”

CPSC 322, Lecture 4Slide 19 Learning Goals for today’s class You can: Specify a Markov Chain and compute the probability of a sequence of states Justify and apply Markov Chains to compute the probability of a Natural Language sentence

CPSC 322, Lecture 30Slide 20 Markov Models Markov Chains Hidden Markov Model Markov Decision Processes (MDPs) Simplest Possible Dynamic Bnet We cannot observe directly what we care about Add Actions and Values (Rewards)

CPSC 322, Lecture 29Slide 21 Next Class Finish Probability and Time: Hidden Markov Models (HMM) (TextBook 6.5) Start Decision networks (TextBook chpt 9) Assignment 4 is available on webCT. It is due on Apr the 8 th (last class). You can now work on the first 3 questions. For the 4 th one you have to wait until next week. Course Elements