Intro to Artificial Intelligence COURSE # CSC384H1F Fall 2008 Sonya Allin Note: many slides drawn from/inspired by Andrew Moore’s 1 lectures at CMU and Faheim Bacchus here at U of T. First, a little bureaucracy ... The course text book: Artificial Intelligence: A Modern Approach (2003), 2nd Edition, Stuart Russell and Peter Norvig. * recommended, but not required. * Two copies are on 24 hour reserve in the engineering library. * Lecture notes cover much of the course material and will be posted to the website before class. * The text is, however, a good resource to have around the house. 2 Where you can get course info ... The course web site: http://www.cdf.toronto.edu/~csc384h/fall/ The course bulletin board: https://csc.cdf.toronto.edu/bb/YaBB.pl?board=CSC384H1F The course web site will be the primary source of information and announcements. Updates to homeworks, clarifications, etc., will be posted here. The bulletin board, by contrast, will be sporadically monitored. If, then, you have a question: (1) check the website, (2) hit the bulletin boards, and, if all else fails, (3) come to visit me or a TA. 3 Prerequisites for the class .... 1. Only the CGPA pre-requisite will be enforced. To waive that, you have to go to the Undergraduate office. 2. A stats class in your past will make the class easier: STA 250 or STA 255/247/257, for example. 3. We will do some work in Prolog (a Prolog review will take place during tutorial sessions). 4. Any required background material that you don’t know, you will have to learn on your own. 4 How you will be graded .... Course work: * 4 Assignments (some programming, some Q&A). * A Midterm. * A Final. Assignments will be worth 50% of your grade (12.5% each). The midterm will be worth 15% and the final worth 35%. Late policy: 10% off for each late day. No assignments accepted more than 5 days late. Please start your assignments early!! So you get a good sense as to how long they will take early on. Plagiarism: Just don’t do it. See http://www.cs.toronto.edu/~fpitt/documents/plagiarism.html for the meaning of plagiarism and the U of T policies about it. 5 Contact information & tutorials .... Instructor: Sonya Allin, s.allin@utoronto.ca TAs: Jasper Snoek, jasper@cs.utoronto.edu Christian Fritz, fritz@cs.utoronto.edu Maryam Fazel-zarandi, mfazel@cs.utoronto.edu Hani Safadi, hanisaf@gmail.com My office hours will be generally be Friday afternoons, 3 to 5 p.m. in Bahen 2200. This first week, however, I will hold office hours on WEDNESDAY between 3 and 5! The TA’s office hours will be posted to the website this week. 6 Some important dates .... Are on the course hand out. 7 Who is the AI community? How do they define AI? 8 9 10 11 12 13 Why do they do AI research? Old fashioned answer: To make programs that behave like the human brain behaves. 14 Why do they do AI research? New fashioned answer: To make programs that behave like the human brain SHOULD behave. 15 What research questions do they ask? 16 Some researchers in the middle Are the theoreticians. These are useful people to have at your cocktail party. They often manage to bridge the divide between the red and blue people. “Theoretical AI” questions: * Do some ways of reasoning allow the world to be represented more completely, more accurately, in more detail? * Do some ways of reasoning allow more questions to be answered? With less ambiguity? With more confidence? * What problems are simply not solvable? 17 Some researchers in the middle CAPTCHAs, for example, live somewhere in the middle. See Luis von Ahn, Manuel Blum, Nicholas Hopper, and John Langford. CAPTCHA: Using Hard AI Problems for Security. In Eurocrypt. 18 Now, what is an “intelligent” system? 19 In this class, we focus on REASONING specifically: 1. Knowledge representation (i.e. logics), 2. Reasoning (with logic and probability), 3. Decision making (i.e. searching and planning). 20 What we assume about reasoning To be amenable to computation, we are going to assume our agents are RATIONAL and that their behavior can be expressed quantitatively. 1. ideal behaviors must be able to be defined quantitatively, and 2. how close a particular system’s behavior is to an ideal must be measurable. Quantitative characterizations of rationality have come from diverse areas like logic (laws of thought), economics (utility theory how best to act under uncertainty), and game theory (how self-interested agents interact). 21 More details on our focus We’ll be primarily focused on knowledge engineering ... not so much on learning and populating structures with which to reason based on data from real world. For alternative approaches to AI, you may want to check out: CSC321H: “Introduction to Neural Networks and Machine Learning” CSC411H “Machine Learning and Data Mining” 22 Material the course covers We will first look at various ways to search: Uninformed Search Heuristic Search Game Tree Search This material is covered in Chapters 3 to 6 of the textbook. 23 Material the course covers Then we will look at ways to represent knowledge: First Order Logics This material is covered in Chapters 7 to 10 of the textbook. Then we will look at ways to make plans using logic: State Representation Planning Graphs Analyzing Reachability This material is covered in Chapter 11 and 12 of the textbook. 24 Material the course covers Finally, we will look at ways to both reason and make plans in uncertain conditions, using some probability Probabilistic Reasoning Bayesian Networks Expected Utilities Probabilistic Planning This material is covered in Chapters 13 to 16 of the textbook. 25 Other AI courses to check out CSC321H: “Introduction to Neural Networks and Machine Learning” CSC401H: “Natural Language Computing”CSC411H “Machine Learning and Data Mining”CSC412H: “Uncertainty and Learning in Artificial Intelligence”CSC420H: “Introduction to Image Understanding”CSC485H: “Computational Linguistics”CSC486H: “Knowledge Representation and Reasoning” CSC487H: “Computational Vision” 26 Questions at this point? 27