Knowledge Representation: Propositional Logic, Propositional Theorem Proving-Inference and Proofs, Proof by Resolution, Horn Clauses and definite Clauses, Forward and Backward chaining; First order Logic, Inference in First Order Logic.

Uncertain Knowledge and Reasoning: Basic probability, Bayes rule, Belief networks, Default reasoning, Fuzzy sets and fuzzy logic.

Structured Knowledge: Associative Networks, Frame Structures, Conceptual Dependencies and Scripts.

10

Uninformed Search strategies- Breadth-first search, Uniform-cost search, Depth-first search, Depth-limited search, Iterative deepening depth-first search, Bidirectional search, Comparing uninformed search strategies.

Informed (Heuristic) Search Strategies- Hill Climbing, Simulated Annealing, Genetic Algorithm, Greedy best-first search, A* and optimal search, Memory- bounded heuristic search.

12

Natural language processing: Grammars, Parsing.

Pattern Recognition: Recognition and Classification Process-Decision Theoretic Classification, Syntactic Classification; Learning Classification Patterns, Recognizing and Understanding Speech.

Expert System Architectures: Characteristics, Rule-Based System Architectures, Nonproduction System Architectures, Knowledge Acquisition and Validation.

12