Class Website Project specification
Notation
Exhaustively enumerating all exceptions in a logical system is intractable.
Logic systems have a difficult time handling non-monotonic reasoning.
Bayesian logic addresses these issues through explaining away
.
When evidence
is known, we want to update our belief in the system by producing a posterior distribution.
Class outline:
Chordal Graphs [http://reasoning.cs.ucla.edu/samiam/ SamIam] [http://en.wikipedia.org/wiki/Bayes_factor Bayes Factor] for soft evidence
Modeling with Bayesian Networks [http://en.wikipedia.org/wiki/Convolution_code Convolutional Codes] (Darwiche 105)
Discuss the class project
Full OR search trees Context Minimal OR search graph AND-OR Trees Pseudo-Trees
Mini-clustering Variational Inference