Artificial Intelligence

Indian Institute of Technology Kharagpur

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:

  1. Introduction to Artificial Intelligence
  2. Problem Solving by Search
  3. Searching with Costs
  4. Informed State Space Search
  5. Heuristic Search: A* and Beyond
  6. Problem Reduction Search: AND/OR Graphs
  7. Searching Game Trees
  8. Knowledge Based Systems: Logic and Deduction
  9. First Order Logic
  10. Inference in First Order Logic
  11. Resolution - Refutation Proofs
  12. Logic Programming : Prolog
  13. Prolog Programming
  14. Prolog: Exercising Control
  15. Additional Topics
  16. Introduction to Planning
  17. Partial Order Planning
  18. GraphPLAN and SATPlan
  19. SATPlan
  20. Reasoning under uncertainty
  21. Bayesian Networks
  22. Reasoning with Bayes Networks
  23. Reasoning under uncertainty: Issues
  24. Learning : Decision Trees
  25. Learning : Neural Networks
  26. Back Propagation Learning
Course Lectures