The course covers lessons in Introduction to Artificial Intelligence, Problem Solving by Search, Searching with Costs, Heuristic Search: A* and Beyond, Searching Game Trees, Knowledge Based Systems: Logic and Deduction, First Order Logic, nference in First Order Logic, Logic Programming : Prolog, Prolog: Exercising Control, GraphPLAN and SATPlan, Reasoning with Bayes Networks.
Course topics:
- Introduction to Artificial Intelligence
- Problem Solving by Search
- Searching with Costs
- Informed State Space Search
- Heuristic Search: A* and Beyond
- Problem Reduction Search: AND/OR Graphs
- Searching Game Trees
- Knowledge Based Systems: Logic and Deduction
- First Order Logic
- Inference in First Order Logic
- Resolution - Refutation Proofs
- Logic Programming : Prolog
- Prolog Programming
- Prolog: Exercising Control
- Additional Topics
- Introduction to Planning
- Partial Order Planning
- GraphPLAN and SATPlan
- SATPlan
- Reasoning under uncertainty
- Bayesian Networks
- Reasoning with Bayes Networks
- Reasoning under uncertainty: Issues
- Learning : Decision Trees
- Learning : Neural Networks
- Back Propagation Learning