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