### Notes on AI Related Topics

Propositional Logic

Davis-Putnam algorithm

Davis-Putnam: example.

Translating problems
into Satisfiability

Predicate calculus

Guide to expressing facts in first-order logic

Russell's Paradox as an Illustration of the Use of Factoring

Exhaustive Search in Resolution Theorem Proving

Stochastic Generative Models

Linear Separators and Support Vector Machines

K-means
clustering

Entropy

Minimum Description
Length Learning

Derivation of Laplacian Smoothing

Naive Bayes for Text

ID3 Algorithm

ID3 Example