Artificial Intelligence II

Overview Contents: 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 : Pro log - Programming, Exercising Control - Additional Topics - Introduction to Planning - Partial Order Planning - GraphPLAN and SATPlan - SATPlan - Reasoning Under Uncer tinity - Bayesian Networks - Reasoning with Bayes Networks - Reasoning Under Uncertainity: Issues - Learning : Decision Trees-Learning : Neural Networks - Back Propagation Learning