TENTATIVE TIMETABLE -- SUBJECT TO CHANGE Sep 2 Overview; logistics 4 Baxter; brief history; Agents and the idea of an AI Problem 9 Uninformed search 11 Informed search 16 Adversarial search; elementary game theory [Norvig UDACITY] 18 Big Picture:Turing, language, Levesque, reasoning, planning 23 Intro to LISP & PYTHON 25 Logic; indirect proof; abstract search 30 Propositional Logic Oct 2 Resolution and First-order logic 7 First-Order Logic 9 EXAM I 5:30-7pm in SPH 1312 (next to Eppley Rec Ctr) 14 Resolution in FOL 16 Resolution in FOL 21 Situation calculus 23 Answer extraction; intro to PROLOG 28 Commonsense reasoning 30 Natural Language Processing Nov 4 NLP and Probability 6 Probability 11 Statistics 13 Utility decis making 18 Agent architectures and Machine learning 20 EXAM II 5:30-7pm in SPH 1312 (next to Eppley Rec Ctr) 25 Google self-driving car (Thrun UDACITY) 27 THANKSGIVING RECESS Dec 2 Language, Vision, and Cog Sci 4 Brains and Neural nets 9 Philosophical issues 11 Review Dec 17 FINAL EXAM: 6:30-8:30pm. CSI 1115