Week #
|
Monday |
Wednesday |
Friday |
1 |
Jan
6: Course introduction, definitions of intelligence, the Turing test.
|
Jan
8: Lisp: Interaction, evaluation of expressions, lists, quoting and extra evaluation
|
Jan
10: S-expressions and functions.
|
2
|
Jan
13: Recursive functions, looping, functional programming, referential transparency.
|
Jan
15: Symbols, lexical and dynamic scoping, extent, local and global variables, LET, LET*.
|
Jan
17: Explicit application of functions, closures, MAPCAR, EVAL.
|
3
|
Jan
20: Martin Luther King Holiday |
Jan
22: Pattern matching using Lisp. Association lists.
|
Jan
24: String manipulation in Lisp. hashtables, data structures in Lisp, File Input & Output.
|
4
|
Jan
27: Quiz 1.
|
Jan
29: Introduction to knowledge representation.
|
Jan
31: Reasoning with the propositional calculus.
|
5
|
Feb
3: Predicate logic and translating knowledge into it.
|
Feb
5: Predicate calculus resolution.
|
Feb
7: Logic programming.
|
6
|
Feb
10: State space search algorithms: depth-first search, breadth-first search, best-first search, game-tree search.
|
Feb
12: State-space search, continued: combinatorics of a simple puzzle, recursive depth-first search, uniform-cost search.
|
Feb
14: A* search algorithms, admissibility of A*.
|
7
|
Feb
17: Presidents Day Holiday |
Feb
19: Genetic search.
|
Feb
21: Case-based reasoning;
|
8
|
Feb
24: Probabilistic reasoning.
|
Feb
26: Quiz 2
|
Feb
28: Machine learning via induction of decision trees.
|
9
|
Mar
3: Natural language understanding: dialog systems, syntax, semantics, case frames, semantic grammars, augmented transition nets.
|
Mar
5: Perceptual processing: image formation, visual illusions, image representation, sampling and quantization. Image segmentation.
|
Mar
7: 3-D techniques: stereo vision and stereograms; Shape understanding.
|
10
|
Mar
10: Social issues and the future of AI.
|
Mar
12: Demonstrations and peer evaluations. Meet in MGH 030 and
be prepared to demonstrate your program either via an SSH session to a server
or by bringing all the necessary code with you.
|
Mar
14 (last regular class period): Course wrapup.
|
|
Mar
17 (classes are officially over): optional review session
in a room to be announced |
Mar
18 (Tuesday):
FINAL EXAMINATION 2:30-4:20
|