Week 1 [Jul. 29 -- Aug. 1]: Course Introduction+Logistics, different definitions of AI, historical persepective, CS6380 course in the context of other courses,
Agents and Environments. Definition of rational agent, different types of agents.
Slides: Week1-1 Week1-2 .
Reference: Chapter 1+2, AIMA, 4th edition.
Tutorial-0: ungraded
Week 2 [Aug. 4 -- Aug. 8]: Search Problem, Example Toy problem, state space search, Generic Search Algorithm, Example toy problems, Generic Seach Algorithm, BFS + DFS, Dijkstra's algorithm. Greedy Best First search + A* Algorithm. Admissibility
of the heuristc.
Slides: Week2 Reference: Chapter 3, AIMA, 4th edition.
Week 3 : [Aug. 12 -- Aug. 15] Iterative Deepening A* Algorithm. Proof of optimality. How to generate heuristics? Relaxed sub-problems, pattern databases. Examples of both using 8-puzzle problem.
Slides: Week3 Reference: Chapter 3, AIMA, 4th edition.
Week 4 [Aug. 18 -- Aug. 22 ]: Local Search, Hill Climbing, effect of start state, effect of expand function, effect of evaluation function.
Slides: Week4 Reference: Chapter 4, AIMA, 4th edition.
Week 5 [Aug. 25 -- Sept. 4 ]: Introduction to Constraint Satisfaction problems. Formulating problems as CSPs, Arc Consistency using revisePairs, using Matching diagrams for Arc Consistency. Tree structured CSPs and efficient algorithm for solving CSPs. Cycle-cut set if the CSP is not tree-structured. A backtracking algorithm for general CSPs. How to select variables when multiple variables are unassigned, how to select values when there are multiple possible assignments? Interleaving inference with Search.
Slides: Week5 Reference: Chapter 5, AIMA, 4th edition.
Week 6 [Sept. 9 -- Sept. 11 ]: Adverserial Search. Two player deterministic games. Mini-max algorithm, Mini-max with alpha-beta pruning. Games with chance and expected-Mini-max. A brief discussion about SSS* algorithm.
Reference: Chapter 6, AIMA, 4th edition.
Week 7 [Sept. 17 -- Sept. 19 ]: Knowledge Based Agents, Wumpus World example, Logic : Syntax, Semantics and Models, Logical Entailment.
Slides: Week7 Reference: Chapter 7 (Sections 7.1--7.3), AIMA, 4th edition.
Week 8 [Sept. 23 -- Sept. 26 ]: Syntax and Semantics, Modelling Wumpus world in propositional logic, Inferencing via model checking, Theorem proving, Notions of validity and satisfiability, Resolution Rule, Resolution Algorithm.
Slides: Week8 Reference: Chapter 7 (Sections 7.4--7.5.2), AIMA, 4th edition.
Week 9 [Sept. 30 -- Oct. 3 ]: Resolution Algorithm - Soundness and Completeness, Horn Clauses - Forward and Backward Chaining, Propositional Logic Inferencing tools - WalkSAT and DPLL, Handling Fluents, Hybrid Agent for the Wumpus world.
Slides: Week9 Reference: Chapter 7 (Sections 7.5.2--7.7.2), AIMA, 4th edition.
Week 10 [Sept. 30 -- Oct. 3 ]:
Making Plans by Propositional Inference, Ontological and Epistemological Commitments,
First Order Logic : Syntax, Models, Semantics, Universal Instantiation (UI) and Existential Instantiation (EI) Rules, Reducing First Order Inference to Propositional Inferencing using the UI and EI rules.
Slides: Week10 Reference: Chapter 7, 8, 9 (Sections 7.7.3--7.7.4, Chapter 8, Section 9.1), AIMA, 4th edition.