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 Algorithm
CYK Parse
algorithm.
CYK Parse
Example.
CYK Parse
Second example,
Semantic
Interpretation
Text
Interpretation
Notes on
ambiguity
Compound
Noun Phrases
Tagging NL text using the K-gram model
Minimum description length learning
Viterbi algorithm
Viterbi example
Suggested Readings in AI