Logic theorem on page P209

reduction proof

first-order logical quantifier

first order logical reasoning

come down to

Bayes rule

Bayesian network

P483 Hidden Markov Model

Kalman filter understanding

supervised learning

unsupervised learning

reinforcement learning

K-fold verification method (Xigua book is better)

Regularization (Xigua book is better)

Linear regression (good for statistical machine learning)

Take a look at SVM

Naive Bayes model (P671)

EM algorithm (hidden variable learning P677)

softmax function (P703)

CSP definition, three components XDC

map coloring

4 types of compatibility

zero sum model

maximin algorithm

α-β pruning

Learn about other strategies

Five parts of a good definition problem

open table closed table

Several search strategies and comparisons

A*Search

Heuristic functions for various algorithms

Hill climbing/simulated annealing method/local beam/genetic algorithm understanding

Agent functions and procedures

Agent's Peas description

nature of environment

Multiple Agent structures

History of Artificial Intelligence Development (Important Events)

After-school development