Week #
|
Monday |
Wednesday |
Friday |
1 |
Apr
1: Course introduction, definitions of intelligence, the Turing test.
|
Apr
3: Lisp: Interaction, evaluation of expressions, lists, quoting and extra evaluation
|
Apr
5: S-expressions and functions.
|
2
|
Apr
8: Recursive functions, looping, functional programming, referential transparency.
|
Apr
10: Symbols, lexical and dynamic scoping, extent, local and global variables, LET, LET*.
|
Apr
12: Explicit application of functions, closures, MAPCAR, EVAL.
|
3
|
Apr
15: Pattern matching using Lisp. Association lists.
|
Apr
17: String manipulation in Lisp. hashtables, data structures in Lisp, File Input & Output.
|
Apr
19: Quiz 1.
|
4
|
Apr
22: Introduction to knowledge representation.
|
Apr
24: Reasoning with the propositional calculus.
|
Apr
26: Predicate logic and translating knowledge into it.
|
5
|
Apr
29: Predicate calculus resolution.
|
May
1: Logic programming.
|
May
3: State space search algorithms: depth-first search, breadth-first search, best-first search, game-tree search.
|
6
|
May
6: State-space search, continued: combinatorics of a simple puzzle, recursive depth-first search, uniform-cost search.
|
May
8: A* search algorithms, admissibility of A*.
|
May
10: Genetic search.
|
7
|
May
13: Case-based reasoning;
|
May
15: Probabilistic reasoning.
|
May
17: Quiz 2
|
8
|
May
20: Machine learning via induction of decision trees.
|
May
22: Natural language understanding: dialog systems, syntax, semantics, case frames, semantic grammars, augmented transition nets.
|
May
24: Perceptual processing: image formation, visual illusions, image representation, sampling and quantization. Image segmentation.
|
9
|
May
27: Memorial Day Holiday (no class) |
May
29: 3-D techniques: stereo vision and stereograms; Shape understanding.
|
May
31: Neural networks: perceptrons and feedforward networks trainable using backpropagation.
|
10
|
Jun
3: Social issues and the future of AI.
|
Jun
5: Demonstrations
|
Jun
7 (Last day of classes): Review
|
11
|
Jun
10: (no class) |
Jun
13:
FINAL EXAMINATION 8:30-10:20
|