abductive reasoning: explanation and diagnosisweb.stanford.edu/class/cs227/lectures/lec12.pdf•...
TRANSCRIPT
![Page 1: Abductive Reasoning: Explanation and Diagnosisweb.stanford.edu/class/cs227/Lectures/lec12.pdf• Introduction to Abductive Reasoning ... • Abduction – another form of synthetic](https://reader031.vdocuments.mx/reader031/viewer/2022022506/5abfa4ea7f8b9a3a428e756a/html5/thumbnails/1.jpg)
1212.
Abductive Reasoning:Explanation and Diagnosis
![Page 2: Abductive Reasoning: Explanation and Diagnosisweb.stanford.edu/class/cs227/Lectures/lec12.pdf• Introduction to Abductive Reasoning ... • Abduction – another form of synthetic](https://reader031.vdocuments.mx/reader031/viewer/2022022506/5abfa4ea7f8b9a3a428e756a/html5/thumbnails/2.jpg)
OutlineOut e
• Introduction to Abductive Reasoningg• Explanation & Diagnosis• Computing Explanations• Reading Material
![Page 3: Abductive Reasoning: Explanation and Diagnosisweb.stanford.edu/class/cs227/Lectures/lec12.pdf• Introduction to Abductive Reasoning ... • Abduction – another form of synthetic](https://reader031.vdocuments.mx/reader031/viewer/2022022506/5abfa4ea7f8b9a3a428e756a/html5/thumbnails/3.jpg)
Three Forms of Reasoningee o s o easo g
• Deduction – an analytic process based on the application of general rules to
particular cases with the inference of a result
• Induction• Induction – synthetic reasoning which infers the rule from the case and the
result
• Abduction – another form of synthetic inference but of the case from a rule
and a result
![Page 4: Abductive Reasoning: Explanation and Diagnosisweb.stanford.edu/class/cs227/Lectures/lec12.pdf• Introduction to Abductive Reasoning ... • Abduction – another form of synthetic](https://reader031.vdocuments.mx/reader031/viewer/2022022506/5abfa4ea7f8b9a3a428e756a/html5/thumbnails/4.jpg)
Abductionbduct o
• Probational adoption of a hypothesis as explanation for p yp pobserved facts results according to known laws
• Weak form of inference because we cannot say that we believe in the truth of the explanationbelieve in the truth of the explanation
grass-is-wet rained-last-nightgrass-is-wet sprinkler-was-onshoes-are-wet grass-is-wet
• Form of non-monotonic reasoning• Multiple explanations might exist
![Page 5: Abductive Reasoning: Explanation and Diagnosisweb.stanford.edu/class/cs227/Lectures/lec12.pdf• Introduction to Abductive Reasoning ... • Abduction – another form of synthetic](https://reader031.vdocuments.mx/reader031/viewer/2022022506/5abfa4ea7f8b9a3a428e756a/html5/thumbnails/5.jpg)
Abductive Reasoningbduct e easo g
![Page 6: Abductive Reasoning: Explanation and Diagnosisweb.stanford.edu/class/cs227/Lectures/lec12.pdf• Introduction to Abductive Reasoning ... • Abduction – another form of synthetic](https://reader031.vdocuments.mx/reader031/viewer/2022022506/5abfa4ea7f8b9a3a428e756a/html5/thumbnails/6.jpg)
![Page 7: Abductive Reasoning: Explanation and Diagnosisweb.stanford.edu/class/cs227/Lectures/lec12.pdf• Introduction to Abductive Reasoning ... • Abduction – another form of synthetic](https://reader031.vdocuments.mx/reader031/viewer/2022022506/5abfa4ea7f8b9a3a428e756a/html5/thumbnails/7.jpg)
![Page 8: Abductive Reasoning: Explanation and Diagnosisweb.stanford.edu/class/cs227/Lectures/lec12.pdf• Introduction to Abductive Reasoning ... • Abduction – another form of synthetic](https://reader031.vdocuments.mx/reader031/viewer/2022022506/5abfa4ea7f8b9a3a428e756a/html5/thumbnails/8.jpg)
Examplea p e
• For the observation, shoes-are-wet, , ,– the explanation grass-is-wet is not in the appropriate vocabulary– But it-rained-last-night, and sprinkler-was-on are in the
appropriate vocabularyappropriate vocabulary– {it-rained-last-night, sprinkler-was-on} is not a minimal
explanation, but {it-rained-last-night} is a minimal explanation
![Page 9: Abductive Reasoning: Explanation and Diagnosisweb.stanford.edu/class/cs227/Lectures/lec12.pdf• Introduction to Abductive Reasoning ... • Abduction – another form of synthetic](https://reader031.vdocuments.mx/reader031/viewer/2022022506/5abfa4ea7f8b9a3a428e756a/html5/thumbnails/9.jpg)
Two Simplificationso S p cat o s
• It is sufficient to consider – how to explain an atom or a literal– Conjunction of literals (or negation of a clause)
![Page 10: Abductive Reasoning: Explanation and Diagnosisweb.stanford.edu/class/cs227/Lectures/lec12.pdf• Introduction to Abductive Reasoning ... • Abduction – another form of synthetic](https://reader031.vdocuments.mx/reader031/viewer/2022022506/5abfa4ea7f8b9a3a428e756a/html5/thumbnails/10.jpg)
![Page 11: Abductive Reasoning: Explanation and Diagnosisweb.stanford.edu/class/cs227/Lectures/lec12.pdf• Introduction to Abductive Reasoning ... • Abduction – another form of synthetic](https://reader031.vdocuments.mx/reader031/viewer/2022022506/5abfa4ea7f8b9a3a428e756a/html5/thumbnails/11.jpg)
![Page 12: Abductive Reasoning: Explanation and Diagnosisweb.stanford.edu/class/cs227/Lectures/lec12.pdf• Introduction to Abductive Reasoning ... • Abduction – another form of synthetic](https://reader031.vdocuments.mx/reader031/viewer/2022022506/5abfa4ea7f8b9a3a428e756a/html5/thumbnails/12.jpg)
![Page 13: Abductive Reasoning: Explanation and Diagnosisweb.stanford.edu/class/cs227/Lectures/lec12.pdf• Introduction to Abductive Reasoning ... • Abduction – another form of synthetic](https://reader031.vdocuments.mx/reader031/viewer/2022022506/5abfa4ea7f8b9a3a428e756a/html5/thumbnails/13.jpg)
![Page 14: Abductive Reasoning: Explanation and Diagnosisweb.stanford.edu/class/cs227/Lectures/lec12.pdf• Introduction to Abductive Reasoning ... • Abduction – another form of synthetic](https://reader031.vdocuments.mx/reader031/viewer/2022022506/5abfa4ea7f8b9a3a428e756a/html5/thumbnails/14.jpg)
![Page 15: Abductive Reasoning: Explanation and Diagnosisweb.stanford.edu/class/cs227/Lectures/lec12.pdf• Introduction to Abductive Reasoning ... • Abduction – another form of synthetic](https://reader031.vdocuments.mx/reader031/viewer/2022022506/5abfa4ea7f8b9a3a428e756a/html5/thumbnails/15.jpg)
![Page 16: Abductive Reasoning: Explanation and Diagnosisweb.stanford.edu/class/cs227/Lectures/lec12.pdf• Introduction to Abductive Reasoning ... • Abduction – another form of synthetic](https://reader031.vdocuments.mx/reader031/viewer/2022022506/5abfa4ea7f8b9a3a428e756a/html5/thumbnails/16.jpg)
11
0
Faulty
behavior
1
0
1
0
1
0
1
10
Faulty
behavior
0
![Page 17: Abductive Reasoning: Explanation and Diagnosisweb.stanford.edu/class/cs227/Lectures/lec12.pdf• Introduction to Abductive Reasoning ... • Abduction – another form of synthetic](https://reader031.vdocuments.mx/reader031/viewer/2022022506/5abfa4ea7f8b9a3a428e756a/html5/thumbnails/17.jpg)
![Page 18: Abductive Reasoning: Explanation and Diagnosisweb.stanford.edu/class/cs227/Lectures/lec12.pdf• Introduction to Abductive Reasoning ... • Abduction – another form of synthetic](https://reader031.vdocuments.mx/reader031/viewer/2022022506/5abfa4ea7f8b9a3a428e756a/html5/thumbnails/18.jpg)
11 / 0
0
Faulty
behavior
1
0
1
0
1
0
1
10
Faulty
behavior
0
Ab (b1) Ab (b2) Ab(a2) Ab(o1)
![Page 19: Abductive Reasoning: Explanation and Diagnosisweb.stanford.edu/class/cs227/Lectures/lec12.pdf• Introduction to Abductive Reasoning ... • Abduction – another form of synthetic](https://reader031.vdocuments.mx/reader031/viewer/2022022506/5abfa4ea7f8b9a3a428e756a/html5/thumbnails/19.jpg)
![Page 20: Abductive Reasoning: Explanation and Diagnosisweb.stanford.edu/class/cs227/Lectures/lec12.pdf• Introduction to Abductive Reasoning ... • Abduction – another form of synthetic](https://reader031.vdocuments.mx/reader031/viewer/2022022506/5abfa4ea7f8b9a3a428e756a/html5/thumbnails/20.jpg)
![Page 21: Abductive Reasoning: Explanation and Diagnosisweb.stanford.edu/class/cs227/Lectures/lec12.pdf• Introduction to Abductive Reasoning ... • Abduction – another form of synthetic](https://reader031.vdocuments.mx/reader031/viewer/2022022506/5abfa4ea7f8b9a3a428e756a/html5/thumbnails/21.jpg)
![Page 22: Abductive Reasoning: Explanation and Diagnosisweb.stanford.edu/class/cs227/Lectures/lec12.pdf• Introduction to Abductive Reasoning ... • Abduction – another form of synthetic](https://reader031.vdocuments.mx/reader031/viewer/2022022506/5abfa4ea7f8b9a3a428e756a/html5/thumbnails/22.jpg)
![Page 23: Abductive Reasoning: Explanation and Diagnosisweb.stanford.edu/class/cs227/Lectures/lec12.pdf• Introduction to Abductive Reasoning ... • Abduction – another form of synthetic](https://reader031.vdocuments.mx/reader031/viewer/2022022506/5abfa4ea7f8b9a3a428e756a/html5/thumbnails/23.jpg)
Related Conferencese ated Co e e ces
• International Workshop on the Principles of Diagnosisp p g
International Diagnostic Competitiong p
![Page 24: Abductive Reasoning: Explanation and Diagnosisweb.stanford.edu/class/cs227/Lectures/lec12.pdf• Introduction to Abductive Reasoning ... • Abduction – another form of synthetic](https://reader031.vdocuments.mx/reader031/viewer/2022022506/5abfa4ea7f8b9a3a428e756a/html5/thumbnails/24.jpg)
Example Challenge Problema p e C a e ge ob e
![Page 25: Abductive Reasoning: Explanation and Diagnosisweb.stanford.edu/class/cs227/Lectures/lec12.pdf• Introduction to Abductive Reasoning ... • Abduction – another form of synthetic](https://reader031.vdocuments.mx/reader031/viewer/2022022506/5abfa4ea7f8b9a3a428e756a/html5/thumbnails/25.jpg)
Real World Diagnosisea o d ag os s
• Key inferences • Prevalent techniques– Fault detection– Fault isolation– Fault identification
– Expert systems– Model based systems– Data driven systems
– Fault recovery• Some challenges
– Insufficient knowledge
– Stochastic systems• Prevalent Algorithms
– Mostly hybrid– Limited observability– Mixture of faults– Delayed effects
– Leverage model-based approaches
– Consistency based inference
– Fault Masking
![Page 26: Abductive Reasoning: Explanation and Diagnosisweb.stanford.edu/class/cs227/Lectures/lec12.pdf• Introduction to Abductive Reasoning ... • Abduction – another form of synthetic](https://reader031.vdocuments.mx/reader031/viewer/2022022506/5abfa4ea7f8b9a3a428e756a/html5/thumbnails/26.jpg)
Suggested ReadingSuggested ead g
• Chapter 13 in Brachman & Levesquep q