CS 540 – Introduction to AI Fall 2015 Jude Shavlik TA: Dmitry Basavin http://pages.cs.wisc.edu/~shavlik/cs540.html Today’s Topics • Administrivia – – – – – – – The Class Home Page Moodle Piazza? Java, Eclipse IDE, and CS 367 Course Textbook (read Ch 1 and 2, Sec 18.1-18.3, Appendices A & B) Missing class, late HWs, exam dates? TA Office Hours @ Epic? A little about me … Do not email me at jshavlik@wisc.edu (use shavlik@cs.wisc.edu) – Three 50-min lectures in 170 minutes • Class Style • Some AI History and Philosophy • Machine Learning (in Lecture 2, Week 1) • For next week: Read the Algorithm section of the Wikipedia page on Random Forests and Pedro Domingos' paper A Few Useful Things to Know About Machine Learning (you can access this paper for free if you are on a UW-Madison network; if you use DoIT's VPN I believe you can also access this from a non-UW network, such as a computer in your home) 9/8/15 CS 540 - Fall 2015 (Shavlik©), Lecture 1, Week 1 2 AI Magic • Often mathematically complex algorithms • But lots of data (“big data”) and simple(r) methods can work quite well! • Counting lots of things can lead to intelligent behavior (HW4) • Arguably AI, especially machine learning (ML), most important IT technology currently – still quite exciting after being it in for 30+ years! 9/8/15 CS 540 - Fall 2015 (Shavlik©), Lecture 1, Week 1 3 Class Style • More about engineering intelligent s/w than modeling human cognition • Concrete focus, to provide context for general AI ideas • “Hands on” – learn more by (actively) doing than (passively) listening • Try to write some notes during class, even though Powerpoint and videos of lectures available (more later) 9/8/15 CS 540 - Fall 2015 (Shavlik©), Lecture 1, Week 1 4 Work Load • About five HWs (35% of grade), two with substantial programming • Midterm (30%) – a Thursday evening? • Final (35%) – Thursday evening Dec 17? • Will grade more like a grad class than a ugrad class because you all have ugrad degrees • I will teach more than I can test; don’t just focus on what is graded! 9/8/15 CS 540 - Fall 2015 (Shavlik©), Lecture 1, Week 1 5 You Remember (Metcalf, 1997 and others) • 10% of what you read • 20% of what you hear • 30% of what you see • 50% of what you hear and see together • 70% of what you think and say out loud • 90% of what you do • ??% of what you hear, see, and write down 9/8/15 CS 540 - Fall 2015 (Shavlik©), Lecture 1, Week 1 6 Programming Knowledge Assumed • For loops, arrays, scanners (to read in data) • Object-oriented design (eg, trees) • Stacks, queues, linked lists, hash tables • Recursion (see “Programming Knowledge Assumed” slide) • Trees and recursion (cs 367 topics) will be a big part of HW1 • Math: partial derivatives (for neural nets); mathematical logic and prob covered in class 9/8/15 CS 540 - Fall 2015 (Shavlik©), Lecture 1, Week 1 7 HW Schedule (tentative) HW0 – due next class, read in dataset for ML HW1 – learn decision trees (Java) HW2 – tune sets (Java), ensembles (Java), searching for solutions (paper-and-pencil) Midterm HW3 – probabilistic reasoning (Java) and case-based reasoning (paper-and-pencil) HW4 – artificial neural networks and support vector machines (paper-and-pencil) HW5 – logical rep & reasoning (paper-and-pencil) Final 9/8/15 CS 540 - Fall 2015 (Shavlik©), Lecture 1, Week 1 8 Detailed List of Course Topics Learning from labeled data Experimental methodologies for choosing parameter settings and estimating future accuracy Decision trees and random forests Probabilistic models, Nearest-neighbor methods Genetic algorithms Neural networks Support vector machines, kernels Reinforcement learning (if time permits) Learning from unlabeled data (if time permits) K-Means Expectation-Maximization Searching for solutions Heuristically finding shortest paths Algorithms for playing games like chess Simulated annealing Genetic algorithms Reasoning probabilistically Probabilistic inference Bayes' rule, Bayesian networks 9/8/15 Reasoning from concrete cases Cased-based reasoning Nearest-neighbor algorithm Kernels Reasoning logically First-order predicate calculus Representing domain knowledge using mathematical logic Logical inference Probabilistic logic (if time permits) Problem-solving methods based on the biophysical world Genetic algorithms Simulated annealing Neural networks Philosophical aspects Turing test Searle's Chinese Room thought experiment The coming singularity Strong vs. weak AI Societal impact of AI CS 540 - Fall 2015 (Shavlik©), Lecture 1, Week 1 9 Late HW's Policy • HW's due on-line in Moodle @ 11:55pm • You have 5 late days to use over the semester (Fri 11:55pm → Mon 11:55pm is 1 late "day") • SAVE UP late days! • Penalty points after late days exhausted • Can't be more than ONE WEEK late so solutions can be posted • Since this is a class for working professionals, we’ll be a bit more flexible wrt work travel 9/8/15 CS 540 - Fall 2015 (Shavlik©), Lecture 1, Week 1 10 Academic Misconduct (also on course homepage) All examinations, programming assignments, and written homeworks must be done individually. Cheating and plagiarism will be dealt with in accordance with University procedures (see the Academic Misconduct Guide for Students). Hence, for example, code for programming assignments must not be developed in groups, nor should code be shared. You are encouraged to discuss with your peers, the TAs or the instructor ideas, approaches and techniques broadly, but not at a level of detail where specific implementation issues are described by anyone. If you have any questions on this, please ask the instructor before you act. 9/8/15 CS 540 - Fall 2015 (Shavlik©), Lecture 1, Week 1 11 Some AI Milestones • Computer beats leading chess grand master (1997) • Computer wins Jeopardy (2011) • Speech recognition in smartphone (2011) • Self-driving cars (2014) • “Star Trek telephone” (2015) 9/8/15 CS 540 - Fall 2015 (Shavlik©), Lecture 1, Week 1 12 The “Star Trek” Telephone Japanese Speech Recognition Machine Translation Speech Generation English 9/8/15 CS 540 - Fall 2015 (Shavlik©), Lecture 1, Week 1 13 CS 540 at the Movies (suggest better/other videos) • AI Algo Beats Kasparov at Chess https://www.youtube.com/watch?v=NJarxpYyoFI • IBM Watson Wins Jeopardy https://www.youtube.com/watch?v=WFR3lOm_xhE • Stanford+Google Car http://www.ted.com/talks/sebastian_thrun_google_s_driverless_car • Microsoft SKYPE Translator https://www.youtube.com/watch?v=mWTySUGXR2k&list=PLD7HFcN7L XRd4kd2XgZjIbQ8TwTC32Zc9&index=3 • CS 540 Nannon© Competition https://www.youtube.com/watch?v=b1SqrjuPrmE 9/8/15 CS 540 - Fall 2015 (Shavlik©), Lecture 1, Week 1 14 DARPA Grand Challenge (2005) • Oshkosh Truck came in 5th • 4th: a Louisiana insurance company! – Story about searching for best path through dried lake bed … – Many fine paths, too much time spent thinking! • What is the key difference between Chess and Jeopardy/Car-Driving? – ‘closed’ vs. ‘open’ world • Can you write a progam that is smarter than you? – You likely will in cs540 9/8/15 CS 540 - Fall 2015 (Shavlik©), Lecture 1, Week 1 15 Some More Videos/Images • Robots Falling Down at the 2015 DARPA Robotics Challenge https://www.youtube.com/watch?v=g0TaYhjpOfo • Google Translate (2015 cellphone app) 9/8/15 CS 540 - Fall 2015 (Shavlik©), Lecture 1, Week 1 16 In which Year will Children Born that Year not Need to Learn How to Drive? Recently a leading robotics researcher said his answer is ‘2014’ • Robots too polite? Eg, never speed, always yield • Will existing cars be retrofitted? • Will airplanes (especially freight) and trucks be first? 9/8/15 CS 540 - Fall 2015 (Shavlik©), Lecture 1, Week 1 17 Machine Learning is Becoming Ubiquitous • Search (in the Google/Bing/etc sense) • Credit-card scoring, finance in general – Why might “hadBankruptcy” be the best feature for deciding who gets a credit card? • Personalization/recommendation in various forms • Extracting ‘knowledge’ from ‘natural’ languages (Machine Reading) • Understanding pictures and videos, face recognition • ML large focus of CS 540 (overlap with CS 760, grad ML class) 9/8/15 CS 540 - Fall 2015 (Shavlik©), Lecture 1, Week 1 18 An AI Axiom The easier something is for humans the harder it is for computers And vice versa • A point I’ve been making for 25 years, but maybe no longer true? • Human-machine cooperation appealing • AI (rapidly) replacing ‘white collar’ jobs? (Robots have been replacing ‘blue collar’ jobs for awhile) 9/8/15 CS 540 - Fall 2015 (Shavlik©), Lecture 1, Week 1 19 The Coming Singularity? 9/8/15 CS 540 - Fall 2015 (Shavlik©), Lecture 1, Week 1 20 Some Interesting Quotes • “Machine intelligence is the last invention that humanity will ever need to make.” http://www.ted.com/talks/nick_bostrom_what_happens_when_our_computers_get_smarter_than_we_are • “When thinking about the future we tend to over estimate the impacts in the near-term and under estimate impacts in the long term.” Roy Amara, Institute for the Future (http://www.iftf.org/home/) 9/8/15 CS 540 - Fall 2015 (Shavlik©), Lecture 1, Week 1 21 Predicted Amount of Change Linear Thinking 9/8/15 How technology actually advances How we tend to predict the future Time into the Future CS 540 - Fall 2015 (Shavlik©), Lecture 1, Week 1 22 More AI Philosophy in Final Class this Term • Turing Test • Searle’s Chinese Room story • Weak and Strong AI hypotheses • The future of AI including its societal impact • Additional AI classes at Wisconsin 9/8/15 CS 540 - Fall 2015 (Shavlik©), Lecture 1, Week 1 23