Frame problem, successor state axiomatization. Evaluating ground sentences without variables and quantifiers. Variable assignment V maps variables. Evaluating formulae with variables and quantifiers. Interpretation satisfies, falsifies a sentence.
Sentence semantically entails another sentence.
Joint distribution over set of random variables. Basic representation, simulation, and evaluation. Tree structured Bayesian networks. Mapping Bayesian networks to factor graphs. Efficient message passing algorithm on tree structured factor graphs.