Notes on AI Related Topics

Ernest Davis

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