MIT16_410F10_lec19b

MIT16_410F10_lec19b - 3/6/00 Probabilistic Model-based...

Info iconThis preview shows pages 1–4. Sign up to view the full content.

View Full Document Right Arrow Icon
3/6/00 1 Probabilistic Model-based Diagnosis 10/28/07 copyright Brian Williams, 2005-09 1 Brian C. Williams 16.410/16.413 November 17 th , 2010 Brian C. Williams, copyright 2000-09 Notation S t+1 set of hidden variables in the t+1 time slice s t+1 set of values for those hidden variables at t+1 o t+1 set of observations at time t+1 o 1:t set of observations from all times from 1 to t α normalization constant 10/28/07 copyright Brian Williams, 2005-09 2 Image credit: NASA.
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
3/6/00 2 Multiple Faults Occur • three shorts, tank-line and pressure jacket burst, panel flies off. Lecture 12: Framed as CSP. How do we compare the space of alternative diagnoses? How do we prefer diagnoses that explain failure? 10/28/07 copyright Brian Williams, 2005-09 3 APOLLO 13 Image source: NASA. Due to the unknown mode, there tends to be an exponential number of diagnoses. U Candidates with UNKNOWN failure modes Good G Candidates with KNOWN failure modes Good F1 Fn G U U 10/26/10 4 1. Introduce fault models. More constraining, hence more easy to rule out. Increases size of candidate space. 2. Enumerate most likely diagnoses X i based on probability. Prefix (k) ( Sort {X i } by decreasing P(X i | O) ) Most of the probability mass is covered by a few diagnoses.
Background image of page 2
3/6/00± Model-based Diagnosis Input: Finite Domain Variables <X,Y> X mode variables Y model variables O observable variables O Y. Φ(X, Y) model constraints o observations o i:n D O P(X i ) a prior probability of modes Output: {x D X | y D Y s.t. x o Φ(x,y) is consistent} Consistency-based P(X | o i:n ) Probabilistic,
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 4
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 12/26/2011 for the course SCIENCE 16.410 taught by Professor Prof.brianwilliams during the Fall '10 term at MIT.

Page1 / 12

MIT16_410F10_lec19b - 3/6/00 Probabilistic Model-based...

This preview shows document pages 1 - 4. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online