What You Will Learn

This course covers the fundamentals of Artificial Intelligence (AI) through a structured approach.

Module 1: Introduction to Intelligent Agents

• Understand the basics of autonomy, rationality, and the Turing Test.

• Learn to design various agent architectures such as reflex, model-based, goal-based, and utility-based agents.

• Analyze different types of environments, including accessible, deterministic, static, and dynamic.

Module 2: Classical Search Algorithms

• Explore uninformed search techniques like Breadth-First Search (BFS) and Depth-First Search (DFS).

• Study informed search methods, including Greedy Best-First Search and A* Search.

• Implement adversarial search strategies for zero-sum games using Minimax and Alpha-Beta Pruning.

Module 3: Constraint Satisfaction Problems (CSPs)

• Define variables, domains, and global constraints in CSPs.

• Practice constraint propagation techniques such as Backtracking search and Arc Consistency (AC-3).

• Apply CSP concepts to real-world problems like map-coloring, Sudoku, and automated scheduling.

Module 4: Knowledge Representation & Formal Logic

• Learn propositional logic through syntax, semantics, truth tables, and inference rules.

• Work with First-Order Logic (FOL) using quantifiers and predicates.

• Construct knowledge structures like Ontologies, Semantic Networks, and Frame Systems.

Module 5: Expert Systems & Classical Planning

• Utilize inference engines with Forward Chaining and Backward Chaining methods.

• Design rule-based systems using IF-THEN rules.

• Understand classical planning with STRIPS and Planning Domain Definition Language (PDDL).

Module 6: Probabilistic Reasoning (Handling Uncertainty)

• Manage uncertainty using conditional probability and Bayes' Theorem.

• Structure belief networks through Bayesian Networks.

• Explore fuzzy logic systems to handle continuous truth values.

This course progresses from basic concepts to more advanced techniques in AI, ensuring a comprehensive understanding of the subject.