Sep 8 F Sep 11 M LISP Sep 13 W Sep 15 F Robinson 1: Turing Test Sep 18 M LISP Sep 20 W Sep 22 F Robinson 2: Searle's Chinese Room Sep 25 M Logic & Theorem Proving Sep 27 W Sep 29 F Robinson 3: Understanding: connections Oct 2 M Logic & Theorem Proving Oct 4 W Oct 6 F Robinson 4: Pain Oct 9 M [Autumn recess] Oct 11 W Oct 13 F Robinson 5: Turing Machines Oct 16 M [out of town] Oct 18 W Search: Games Oct 20 F Robinson 6: Lucas's argument Oct 23 M Search: Planning Oct 25 W Oct 27 F Robinson 7: Sentential AI Oct 30 M Search: Genetic Algorithms Nov 1 W Nov 3 F Robinson 8: Objections to SAI Nov 6 M Search: Genetic Algorithms Nov 8 W Nov 10 F Robinson 9: Neural Networks Nov 13 M Learning: Version Spaces Nov 15 W Nov 17 F Robinson 10: Objections to NNs Nov 20 M Nov 22 W [Thnksg bk] Nov 24 F [Thnksg bk] Nov 27 M Learning: Neural Networks Nov 29 W Dec 1 F Robinson 11: Well-connected Robots Dec 4 M Project topic approval Dec 6 W Dec 8 F Dec 11 M Dec 13 W Dec 21 T Projects & papers due