Lecture Notes

Introduction to AI
Problem solving as search
Uninformed search
Heuristic search - A*
Simulated annealing
Genetic algorithms
Game playing
Programming in Scheme
Knowledge representation
First order logic (FOL)
Propositional calculus vs FOL
Inference in FOL
Logical Reasoning Systems
Bayesian Networks
Learning: Inductive learning and decision trees
Neural Networks (NNs) - Back propagation
Reinforcement learning
Introduction to Prolog
Robotics, Planning, Applications