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