PPT-Towards Constraint-based Explanations for Answers and Non-A

Boris Glavic Illinois Institute of Technology Sean Riddle Athenahealth Corporation Sven Köhler University of California Davis Bertram Ludäscher University of Illinois UrbanaChampaign. 5 CC 35 100 100 CC brPage 4br brPage 5br brPage 6br 8486 brPage 7br brPage 8br SUPPLY CURRENT mA 08 06 04 02 10 20 040 SUPPLY VOLTAGE V amb 7057520C amb 12557520C amb 057520C amb 2557520C amb 5557520C INPUT CURRENT nA 20 10 20 040 SUPPLY VOLTAGE V DOC NON DISCLOSURE AND NON CIRCUMVENT AGREEMENT This Non Disclosure and Non Circumvent Agreement this Agreement is entered into this day of 20 the Effective Date by and between the entities and in CSD 15-780: Graduate Artificial Intelligence. Instructors: . Zico. . Kolter. and Zack Rubinstein. TA: Vittorio . Perera. 2. Constraint satisfaction problems. A . constraint satisfaction problem. (CSP): A set of . Raoul . Gervais. Centre . for. Logic . and. . Philosophy. of . Science. Ghent. University. Main. claims . and. . two. . assumptions. :. Main thesis: CL-explanations are indispensable in cognitive science. Quick aside: . -the first few lectures have been a bit “atypical” (setting stage). -soon we will get to the “content”. -talks will use game theory to address puzzles. -. homeworks. and discussions will begin. Science and Engineering Practices. 1. Asking questions (science) and defining problems (engineering). . 2. Developing and using models. . 3. Planning and carrying out investigations. . 4. Analyzing and Interpreting Data. . Saurabh Srivastava. University of Maryland, College Park. Sumit. . Gulwani. Microsoft Research, Redmond. What the technique will let you do!. A. Infer invariants with arbitrary quantification and . boolean. Realism. EARLY APPROACHES. RADICAL APPROACHES. DURKHEIM (1895) – Early functionalist view. BONGER (1916) – . Early Marxist View. MERTON (1938) – . Strain Theory. SUBCULTURAL EXPLANATIONS (1955-62). explanations Typological patterns and explanations Traditional typology courses usually start here… Patterns found by typologists Explanations come up with by typologists In this course we de The Left vs. The Right. Discuss. What does it mean to have “left wing” or “right wing” political views. ?. What do we mean by the ‘political spectrum’?. People shouldn’t have to pay taxes!. mock feedback. Reflecting on the mock. You will be given a reflection sheet.. You will complete column one as we go through the feedback . - write . down the topic areas (. in red . on the following . Stender. Chapter 13 of Constraint Processing by . Rina. . Dechter. 3/25/2013. 1. Constraint Optimization. Motivation. 3/25/2013. 2. Constraint Optimization. Real-life problems often have both . hard. Indira . Jayaram. Agenda. Goals of the project. Proposed extensions to the embedded systems design process. Design example – camera. Results – comparison of implementations. Other design examples. Neil . mcculloch. and Dalia Zileviciute. Energy and economic growth research programme. 3-4 November, Washington . d.c.. The questions and the answers. Is electricity supply a binding constraint to economic growth in developing countries?.