Date Topic Assignments
Sep. 5 Introduction to Artificial Intelligence  
Sep. 7 How do we judge "intelligence"? Pre: AIMA, Ch. 1
Sep. 10-14

Theory of computation

    • Sep. 10: Finite automata and regular grammars
    • Sep. 12: Pushdown automata and CFGs
    • Sep. 14: Turing machines and computability
 Computer Theory homeworks
Sep. 17 The agent approach to AI; Problem solving agents Pre: AIMA, Ch. 2
Sep. 19

Uninformed searching (BFS, DFS)

Simple informed searching (Greedy, A*)

Pre: AIMA, Ch. 3-4

Search program

Exercises 3.9 and 4.1
Sep. 21 Local informed search (hill climbing, simulated annealing, genetic algorithms).
Sep. 24-26 Constraint satisfaction problems

Pre: AIMA, Ch. 5

Exercise 5.3

CSP Program
Sep. 28-Oct. 5

Logic-based agents

    • Sep. 28: Propositional logic
    • Oct. 1-5: First-order logic and Prolog
  • Pre: AIMA, Ch. 7
  • Pre: AIMA, Ch. 8 & 9
Oct. 8 Knowledge bases Pre: AIMA, Ch. 10