||Main Text: Stuart J. Russel, Peter Norvig, Artificial Intelligence: A Modern Approach (3rd ed.). Upper Saddle River: Prentice Hall, 2010. Other references: N.J. Nilsson, Principles of Artificial Intelligence, Morgan Kaufmann, 1985. Malik Ghallab, Dana Nau, Paolo Traverso, Automated Planning: Theory & Practice, The Morgan Kaufmann Series in Artificial Intelligence, 2004. Christopher Bishop, Pattern Recognition and Machine Learning, Springer, 2006. Mark Stefik, Introduction to Knowledge Systems, Morgan Kaufmann, 1995. E. Rich and K.Knight, Artificial Intelligence, Tata McGraw Hill, 1992.
||Search: Problem representation; State Space Search; A* Algorithm and its Properties; AO* search, Minimax and alpha-beta pruning, AI in games. Logic: Formal Systems; Notion of Proof, Decidability, Soundness, Consistency and Completeness; Predicate Calculus (PC), Resolution Refutation, Herbrand Interpretation, Prolog. Knowledge Representation: PC based Knowledge Representation, Intelligent Question Answering, Semantic Net, Frames, Script, Conceptual Dependency, Ontologies, Basics of Semantic Web. Leaning: Learning from Examples, Decision Trees, Neural Nets, Hidden Markov Models, Reinforcement Learning, Learnability Theory. Uncertainty: Formal and Empirical approaches including Bayesian Theory, Fuzzy Logic, Non-monotonic Logic, Default Reasoning. Planning: Blocks World, STRIPS, Constraint Satisfaction, Basics of Probabilistic Planning. Advanced Topics: Introduction to topics like Computer Vision, Expert Systems, Natural Language Processing, Big data, Neuro Computing, Robotics, Web Search.