Introduction
Definition, AI technique, Application.
Intelligent Agent
Introduction, Structure of intelligent agent, Agent programs, Goal-based agents, Environments.
Problem Solving
Solving problem by searching, Problem solving by agent, Formulating problems, Toy problems, Search strategies, Breadth-First, Uniform cost, Depth-First, Depth- limited and iterative deepening search, Informed search methods, Best-First, Greedy and A* search, Heuristic functions, IDA* search, Iterative improvement algorithms, Hill-Climbing search, Simulated annealing, Introduction to game playing, Perfect decisions in two person games, Imperfect decisions, Alpha-Beta pruning, State-of-the-Art games programs: Chess, Checkers, Backgammon.
Knowledge and Reasoning
Knowledge-Based agent, Representation, Reasoning and logic, Propositional logic.
First-Order Logic
Syntax and semantics, Terms, Atomic and complex sentences, Quantifiers, Equality, Extensions and notational variations, Higher-order logic, Using first- order logic, Axioms, Definitions and theorems.
Inference in First-Order Logic
Inference rules involving quantifiers, Generalized modus ponens, Canonical form, Unification, Forward and backward chaining, Completeness, Resolution inference rule, Canonical forms for resolution, Resolution proofs, Conversion to normal form.
Uncertain Knowledge and Reasoning
Uncertainty, Acting under uncertainty, Basic probability notation, Conditional probability, Axioms of probability, Bayes rules and its use, Normalization.
Probabilistic Reasoning Systems
Representing knowledge in an uncertain domain, Knowledge engineering for uncertain reasoning, Default reasoning, Rule-based methods for uncertain reasoning, Dempster-Shafer theory, Fuzzy sets and fuzzy logic.
Communicating, Perceiving, Planning and Acting
Natural language understanding: Syntactic processing, Ambiguity resolution, Text understanding.
Action
The situation calculus, A simple solution to the framework problem, Complex actions,
Planning
Planning in the situation calculus, The STRIPS representation, Planning as a reasoning task.
Artificial Intelligence