DOCSLIB.ORG

Introduction to Artificial Intelligence Christian Shelton Department of Computer Science UC Riverside

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Introduction to Artificial Intelligence Christian Shelton Department of Computer Science UC Riverside 4/17/2018 Introduction to Artificial Intelligence Christian Shelton Department of Computer Science UC Riverside 1 4/17/2018 Artificial: Not naturally occuring; created by humans. a machine/computer Intelligence: Rational; deliberately pursuing goals. human-like AdobeStock; Pixabay 2 4/17/2018 Related to: • Mathematics • Economics • Psychology • Neuroscience • control theory • Philosophy videoblocks.com • Linguistics • Computer engineering • … 3 4/17/2018 4 4/17/2018 1943 McCulloch & Pitts 5 4/17/2018 1950 Minsky & Edmunds Turing Test 1943 McCulloch & Pitts 6 4/17/2018 1950 Minsky & Edmunds Turing Test 1943 McCulloch & Pitts 1956 Dartmouth Workshop Newell, Simon & Shaw’s Logic Theorist 7 4/17/2018 1960s 1950 Great Early Successes Minsky & Edmunds Turing Test 1943 McCulloch & Pitts 1956 Dartmouth Workshop Newell, Simon & Shaw’s Logic Theorist 8 4/17/2018 1960s 1950 Great Early Successes Minsky & Edmunds Turing Test 1943 McCulloch & Pitts 1956 1970s Dartmouth Workshop AI Winter Newell, Simon & Shaw’s Logic Theorist 9 4/17/2018 1960s 1950 Great Early Successes 1980s & 90s Minsky & Edmunds AI Maturing Turing Test 1943 McCulloch & Pitts 1956 1970s Dartmouth Workshop AI Winter Newell, Simon & Shaw’s Logic Theorist 10 4/17/2018 1960s 1950 Great Early Successes 1980s & 90s Minsky & Edmunds AI Maturing Turing Test 1943 McCulloch & Pitts 1956 1970s 2000- Data-Driven AI Dartmouth Workshop AI Winter Newell, Simon & Shaw’s Logic Theorist 11 4/17/2018 � Robotics � Computer Vision � Natural Language Processing � Machine Learning � Game Playing � Theorem Proving, Logic Manipulation � Planning videoblocks.com 12 4/17/2018 Robotics Computer Vision Natural Language Processing Machine Learning videoblocks.com Game Playing Theorem Proving, Logic Manipulation Planning 13 4/17/2018 Robotics: Self-driving cars Images: Google’s image search Speech Recognition: Android’s assistant Planning: Remote Agent (NASA) MAPGEN (NASA) DART (DoD) Information Answering: IBM’s Watson Language: Google’s machine translation Game playing: Alpha Go, Deep Blue 14 4/17/2018 � Robotics: Self-driving cars � Images: Google’s image search � Speech Recognition: Android’s assistant � Planning: Remote Agent (NASA) MAPGEN (NASA) DART (DoD) � Information Answering: IBM’s Watson � Language: Google’s machine translation � Game playing: Alpha Go, Deep Blue videoblocks.com, WikipediaCommons 15 4/17/2018 Graph Search 16 4/17/2018 Graph Search 17 4/17/2018 Graph Search 18 4/17/2018 Graph Search 19 4/17/2018 Graph Search 20 4/17/2018 Graph Search 21 4/17/2018 Graph Search 22 4/17/2018 Graph Search 23 4/17/2018 Graph 43,252,003,274,489,856,000 states Search 24 4/17/2018 Graph Search Used in Applications like � Driving Directions Things to research: � VLSI Layout � Graph Search � Automatic Assembly Sequencing � A∗ Search � Protein Design � Shortest Path � Robotic Path Planning Possible projects: � Alpha-Beta Search � Minesweeper � Satisfiability � Checkers � Constraint satisfaction � Symbolic algebra systems � Configuration spaces � Robotic arm manipulation 25 4/17/2018 Robotics 26 4/17/2018 Robotics 27 4/17/2018 Robotics 28 4/17/2018 Robotics 29 4/17/2018 Robotics 30 4/17/2018 Robotics 31 4/17/2018 Robotics 32 4/17/2018 Robotics 33 4/17/2018 Robotics 34 4/17/2018 Robotics 35 4/17/2018 Robotics 36 4/17/2018 Robotics 37 4/17/2018 Robotics 38 4/17/2018 Robotics 39 4/17/2018 Robotics 40 4/17/2018 Robotics 41 4/17/2018 Robotics Used in Applications like � Robotic Navigation � DNA Analysis Things to research: � Video Analysis � Hidden Markov Models � Speech-to-Text � Probability & Statistics � Protein Folding Possible projects: � Kalman Filter � Activity Detection from Wearable � (Dynamic) Bayesian Networks Monitors � Simultaneous Localization & � Protein Sequence Analysis Mapping � Machine Language Translation � Automatic Music Composition 42 4/17/2018 Computer Vision 43 4/17/2018 Computer Vision 44 4/17/2018 Computer Vision 45 4/17/2018 Computer Vision 46 4/17/2018 Computer Vision 47 4/17/2018 Computer Vision 48 4/17/2018 Computer Vision 49 4/17/2018 Computer Vision 50 4/17/2018 Computer Vision 51 4/17/2018 Computer Vision 52 4/17/2018 Face or Not Face? [ 142, 142, 142, 143, 143, 143, 164, 164, 164, 162, 162, 162, 156, 156, 156, 179, 179, 179, 146, 146, 146, 97, 97, 97, 150, 150, 150, 141, 141, 141, 138, 138, 138, 124, 124, 124, 98, 98, 98, 94, 94, 94, 47, 47, 47, 104, 104, 104, 132, 132, 132, 74, 74, 74, 121, 121, 121, 103, 103, 103, 145, 145, 145, 146, 146, 146, 164, 164, 164, 163, 163, 163, 154, 154, 154, 174, 174, 174, 145, 145, 145, 138, 138, 138, 137, 137, 137, 110, 110, 110, 83, 83, 83, 85, 85, 85, 114, 114, 114, 136, 136, 136, 103, 103, 103, 149, 149, 149, 157, 157, 157, 128, 128, 128, 136, 136, 136, 106, 106, 106, 141, 141, 141, 141, 141, 141, 161, 161, 161, 161, 161, 161, 158, 158, 158, 152, 152, 152, 128, 128, 128, 123, 123, 123, 103, 103, 103, 98, 98, 98, 51, 51, 51, 88, 88, 88, 120, 120, 120, 124, 124, 124, 125, 125, 125, 143, 143, 143, 161, 161, 161, 164, 164, 164, 143, 143, 143, 102, 102, 102, 144, 144, 144, 142, 142, 142, 162, 162, 162, 156, 156, 156, 148, 148, 148, 85, 85, 85, 72, 72, 72, 56, 56, 56, 69, 69, 69, 60, 60, 60, 21, 21, 21, 60, 60, 60, 61, 61, 61, 113, 113, 113, 129, 129, 129, 120, 120, 120, 105, 105, 105, 98, 98, 98, 101, 101, 101, 99, 99, 99, 143, 143, 143, 144, 144, 144, 162, 162, 162, 157, 157, 157, 122, 122, 122, 34, 34, 34, 37, 37, 37, 49, 49, 49, 51, 51, 51, 54, 54, 54, 47, 47, 47, 37, 37, 37, 44, 44, 44, 43, 43, 43, 75, 75, 75, 102, 102, 102, 94, 94, 94, 62, 62, 62, 65, 65, 65, 103, 103, 103, 142, 142, 142, 144, 144, 144, 162, 162, 162, 159, 159, 159, 93, 93, 93, 47, 47, 47, 51, 51, 51, 77, 77, 77, 76, 76, 76, 80, 80, 80, 72, 72, 72, 61, 61, 61, 62, 62, 62, 43, 43, 43, 21, 21, 21, 37, 37, 37, 75, 75, 75, 73, 73, 73, 73, 73, 73, 102, 102, 102, 141, 141, 141, 144, 144, 144, 163, 163, 163, 161, 161, 161, 92, 92, 92, 95, 95, 95, 93, 93, 93, 102, 102, 102, 104, 104, 104, 98, 98, 98, 90, 90, 90, 81, 81, 81, 76, 76, 76, 51, 51, 51, 19, 19, 19, 15, 15, 15, 38, 38, 38, 154, 154, 154, 103, 103, 103, 106, 106, 106, 142, 142, 142, 146, 146, 146, 162, 162, 162, 160, 160, 160, 106, 106, 106, 116, 116, 116, 115, 115, 115, 112, 112, 112, 110, 110, 110, 112, 112, 112, 105, 105, 105, 97, 97, 97, 86, 86, 86, 53, 53, 53, 14, 14, 14, 12, 12, 12, 30, 30, 30, 151, 151, 151, 110, 110, 110, 104, 104, 104, 141, 141, 141, 145, 145, 145, 162, 162, 162, 159, 159, 159, 130, 130, 130, 98, 98, 98, 83, 83, 83, 89, 89, 89, 87, 87, 87, 80, 80, 80, 84, 84, 84, 89, 89, 89, 80, 80, 80, 72, 72, 72, 23, 23, 23, 12, 12, 12, 31, 31, 31, 150, 150, 150, 111, 111, 111, 107, 107, 107, 140, 140, 140, 146, 146, 146, 162, 162, 162, 156, 156, 156, 144, 144, 144, 64, 64, 64, 49, 49, 49, 56, 56, 56, 63, 63, 63, 47, 47, 47, 63, 63, 63, 64, 64, 64, 74, 74, 74, 84, 84, 84, 57, 57, 57, 44, 44, 44, 52, 52, 52, 163, 163, 163, 114, 114, 114, 105, 105, 105, 142, 142, 142, 144, 144, 144, 161, 161, 161, 156, 156, 156, 148, 148, 148, 79, 79, 79, 49, 49, 49, 86, 86, 86, 88, 88, 88, 61, 61, 61, 55, 55, 55, 75, 75, 75, 97, 97, 97, 92, 92, 92, 75, 75, 75, 66, 66, 66, 66, 66, 66, 114, 114, 114, 92, 92, 92, 115, 115, 115, 141, 141, 141, 143, 143, 143, 163, 163, 163, 158, 158, 158, 146, 146, 146, 106, 106, 106, 74, 74, 74, 116, 116, 116, 90, 90, 90, 92, 92, 92, 96, 96, 96, 99, 99, 99, 101, 101, 101, 80, 80, 80, 67, 67, 67, 86, 86, 86, 80, 80, 80, 74, 74, 74, 128, 128, 128, 152, 152, 152, 141, 141, 141, 145, 145, 145, 164, 164, 164, 149, 149, 149, 149, 149, 149, 87, 87, 87, 99, 99, 99, 114, 114, 114, 93, 93, 93, 81, 81, 81, 100, 100, 100, 88, 88, 88, 80, 80, 80, 68, 68, 68, 70, 70, 70, 80, 80, 80, 86, 86, 86, 96, 96, 96, 200, 200, 200, 152, 152, 152, 138, 138, 138, 145, 145, 145, 162, 162, 162, 155, 155, 155, 155, 155, 155, 97, 97, 97, 69, 69, 69, 38, 38, 38, 42, 42, 42, 71, 71, 71, 68, 68, 68, 81, 81, 81, 71, 71, 71, 73, 73, 73, 73, 73, 73, 80, 80, 80, 110, 110, 110, 186, 186, 186, 205, 205, 205, 145, 145, 145, 142, 142, 142, 149, 149, 149, 158, 158, 158, 157, 157, 157, 156, 156, 156, 91, 91, 91, 62, 62, 62, 52, 52, 52, 61, 61, 61, 67, 67, 67, 68, 68, 68, 70, 70, 70, 72, 72, 72, 71, 71, 71, 62, 62, 62, 82, 82, 82, 120, 120, 120, 157, 157, 157, 143, 143, 143, 119, 119, 119, 142, 142, 142, 147, 147, 147, 159, 159, 159, 155, 155, 155, 158, 158, 158, 110, 110, 110, 40, 40, 40, 40, 40, 40, 38, 38, 38, 51, 51, 51, 50, 50, 50, 63, 63, 63, 70, 70, 70, 57, 57, 57, 55, 55, 55, 42, 42, 42, 125, 125, 125, 153, 153, 153, 156, 156, 156, 128, 128, 128, 150, 150, 150, 151, 151, 151, 134, 134, 134, 142, 142, 142, 111, 111, 111, 73, 73, 73, 57, 57, 57, 51, 51, 51, 50, 50, 50, 64, 64, 64, 65, 65, 65, 60, 60, 60, 53, 53, 53, 48, 48, 48, 57, 57, 57, 13, 13, 13, 18, 18, 18, 124, 124, 124, 152, 152, 152, 126, 126, 126, 147, 147, 147, 138, 138, 138, 104, 104, 104, 62, 62, 62, 63, 63, 63, 40, 40, 40, 33, 33, 33, 61, 61, 61, 63, 63, 63, 66, 66, 66, 61, 61, 61, 49, 49, 49, 49, 49, 49, 55, 55, 55, 59, 59, 59, 19, 19, 19, 5, 5, 5, 34, 34, 34, 138, 138, 138, 122, 122, 122, 103, 103, 103, 75, 75, 75, 46, 46, 46, 49, 49, 49, 32, 32, 32, 10, 10, 10, 14, 14, 14, 50, 50, 50, 44, 44, 44, 45, 45, 45, 50, 50, 50, 50, 50, 50, 56, 56, 56, 61, 61, 61, 57, 57, 57, 31, 31, 31, 2, 2, 2, 12, 12, 12, 56, 56, 56, 101, 101, 101, 51, 51, 51, 52, 52, 52, 39, 39, 39, 32, 32, 32, 9, 9, 9, 2, 2, 2, 61, 61, 61, 70, 70, 70, 54, 54, 54, 53, 53, 53, 59, 59, 59, 61, 61, 61, 63, 63, 63, 62, 62, 62, 55, 55, 55, 45, 45, 45, 32, 32, 32, 12, 12, 12, 19, 19, 19, 42, 42, 42 ] 53 4/17/2018 Face or Not Face? [ 142, 142, 142, 143, 143, 143, 164, 164, 164, 162, 162, 162, 156, 156, 156,
Load more

Recommended publications
  • Spring D85 Newsletter
    Dartmouth Class of 1985 Spring 2016 SHADES OF GREEN Class Projects Make a Diference! Spotlight on Dartmouth Center for Professional Development Internships Through Class Projects, the Class of 1985 is also a sponsor of DCPD internships in a variety of professions. Read what one of our grateful interns has to say: Dear Class of 1985 Donor, Thank you so much for your contribution that funded my unpaid internship this winter! I interned as a so!ware developer at a tech start-up ca#ed Parent Co. in Burlington, VT, and I rea#y Are we officially middle aged? If 40 was the new 20 (recall our hopeful 20th enjoyed my experience there! reunion theme), is it time to begin our midlife crisis now? (Might be a great Parent Co. is the creator of Notabli, a social topic for our next issue…!) But whether due to crisis, or to sheer media app that a#ows parents to more securely share digital keepsakes (photos, videos, etc.) with confidence, conviction, and courage, some of us have stepped off the career &iends and family. I worked on the Android and path first chosen. For a few it’s been a completely new direction, and their web versions of Notabli for the duration of my stories are as compelling as their talents run wide and deep. internship. I had never worked with Android before, so I learned a great deal under the Erma Bombeck once said that “it takes a lot of courage to show your dreams mentorship of a very experienced Android to someone else.” We are grateful that the classmates featured here were developer who works for the company.
    [Show full text]
  • Artificial Intelligence Goddard Space Flight Center | November 27-29, 2018 NASA Goddard Artificial Intelligence Workshop
    National Aeronautics and Program Book Space Administration Lorem ipsum dolor sit amet, consectetuer sodales sagittis magna. Sed consequat, leo eget adipiscing elit. Aenean commodo ligula eget dolor. bibendum sodales, augue velit cursus nunc, Aenean massa. Cum sociis natoque penatibus et Aenean massa. Cum sociis natoque penatibus et magnis dis parturient montes, nascetur ridiculus magnis dis parturient montes, nascetur ridiculus mus. Donec quam felis, ultricies nec, pellentesque mus. Donec quam felis, ultricies nec, pellentesque eu, pretium quis, sem. Nulla consequat massa eu, pretium quis, sem. Nulla consequat massa quis enim. Donec pede justo, fringilla vel, aliquet quis enim. Donec pede justo, fringilla vel, aliquet nec, vulputate eget, arcu. In enim justo, rhoncus nec, vulputate eget, arcu. In enim justo, rhoncus ut, imperdiet a, venenatis vitae, justo. Nullam ut, imperdiet a, venenatis vitae, justo. Nullam dictum felis eu pede mollis pretium. Integer dictum felis eu pede mollis pretium. Integer tincidunt. Cras dapibus. Vivamus elementum tincidunt. Cras dapibus. Vivamus elementum semper nisi. Aenean vulputate eleifend tellus. semper nisi. Aenean vulputate eleifend tellus. Aenean leo ligula, porttitor eu, consequat vitae, Aenean leo ligula, porttitor eu, consequat vitae, eleifend ac, enim. Aliquam lorem ante, dapibus eleifend ac, enim. Aliquam lorem ante, dapibus in, viverra quis, feugiat a, tellus. Phasellus viverra in, viverra quis, feugiat a, tellus. Phasellus viverra nulla ut metus varius laoreet. Quisque rutrum. nulla ut metus varius laoreet. Quisque rutrum. Aenean imperdiet. Etiam ultricies nisi vel augue. Aenean imperdiet. Etiam ultricies nisi vel augue. Curabitur ullamcorper ultricies nisi. Nam eget Curabitur ullamcorper ultricies nisi. Nam eget dui. dui. Etiam rhoncus. Maecenas tempus, tellus Etiam rhoncus.
    [Show full text]
  • ARTIFICIAL INTELLIGENCE for Executives and Policy Makers
    DINO ESPOSITO SIMONE MASSARO ARTIFICIAL INTELLIGENCE for executives and policy makers Vision and tools to predict the unpredictable Dino Esposito Simone Massaro ARTIFICIAL INTELLIGENCE for executives and policy makers Vision and tools to predict the unpredictable Dino Esposito, Simone Massaro ARTIFICIAL INTELLIGENCE for executives and policy makers Vision and tools to predict the unpredictable © Dino Esposito, 2019 © Simone Massaro, 2019 No part of this publication may be reproduced, transmitted, transcribed, stored in a retrieval system, or translated into any language or computer language, in any form or by any means, electronic, mechanical, magnetic, optical, chemical, manual or otherwise, without the prior written permission of one of the authors. A monumental Thank You goes to the engineering team at For a deeper technical overview of machine learning algorithms BaxEnergy for their general support and the effort put in reviewing and programming techniques, including a basic explanation of the the text. mathematics behind and some programming examples in Python and .NET, here’s a further reference. An even bigger Thank You is reserved to a couple of special people for their relentless help in making sense of the trickiest aspects of machine learning algorithms: Francesco Esposito (Youbiquitous) and Tiago Santos (Smartwatt). Introducing Machine Learning If you will find this reading easy and pleasant, well, that was because Dino Esposito, Francesco Esposito of them! If you still find it hard, well, that’s only our fault. Microsoft Press, 2019 ISBN-10: 0135565669 ISBN-13: 978-0135565667 Artificial intelligence would be the ultimate version of Google. The ultimate search engine that would understand everything on the web.
    [Show full text]
  • AI Thinks Like a Corporation—And That's Worrying
    Topics Current edition More Subscribe Log in or sign up Search Open Future Manage subscription Open Voices AI thinks like a corporation—and that’s worrying Arti!cial intelligence was born of organisational decision-making and state power; it needs human ethics, says Jonnie Penn of the University of Cambridge Open Future Nov 26th 2018 | by BY JONNIE PENN Arti!cial intelligence is everywhere but it is considered in a wholly ahistorical way. To understand the impact AI will have on our lives, it is vital to appreciate the context in which the !eld was established. After all, statistics and state control have evolved hand in hand for hundreds of years. Consider computing. Its origins have been traced not only to analytic philosophy, pure mathematics and Alan Turing, but perhaps surprisingly, to the history of public administration. In “The Government Machine: A Revolutionary History of the Computer” from 2003, Jon Agar of University College London charts the development of the British civil service as it ballooned from 16,000 employees in 1797 to 460,000 by 1999. He noticed an uncanny similarity between the functionality of a human bureaucracy and that of the digital electronic computer. (He confessed that he could not tell whether this observation was trivial or profound.) Get our daily newsletter Upgrade your inbox and get our Daily Dispatch and Editor's Picks. Email address Sign up now Both systems processed large quantities of information using a hierarchy of pre-set but adaptable rules. Yet one predated the other. This suggested a telling link between the organisation of human social structures and the digital tools designed to serve them.
    [Show full text]
  • David Kotz Vita
    David Kotz Department of Computer Science www.cs.dartmouth.edu/∼kotz Dartmouth College kotz at dartmouth.edu 6211 Sudikoff Laboratory +1 603–646-1439 (direct) Hanover, NH 03755-3510 +1 603–646-2206 (main) LinkedIn September 19, 2021 Education Ph.D Computer Science Duke University 1991 B.A. Computer Science and Physics Dartmouth College 1986 Positions Dartmouth College, Administration 2021– Interim Provost 2017–2018 Interim Provost (11 months) 2009–2015 Associate Dean of the Faculty for the Sciences (six years) Dartmouth College, Research leadership 2016– Core Director (Emerging Technologies and Data Analytics), Center for Technology and Behavioral Health 2004–2007 Executive Director, Institute for Security Technology Studies 2003–2004 Director of Research and Development, Institute for Security Technology Studies Dartmouth College, Faculty: Department of Computer Science 2020– Pat and John Rosenwald Professor (endowed chair) 2019–2020 International Paper Professor (endowed chair) 2010–2019 Champion International Professor (endowed chair) 2003– Professor 1997–2003 Associate Professor 1991–1997 Assistant Professor Visiting positions 2019–2020 Visiting Professor in the Center for Digital Health Interventions at ETH Zurich,¨ Switzerland 2008–2009 Fulbright Research Scholar at the Indian Institute of Science (IISc), Bangalore, India Executive summary David Kotz is the Interim Provost, the Pat and John Rosenwald Professor in the Department of Computer Science, and the Director of Emerging Technologies and Data Analytics in the Center for Technology and Behavioral Health, all at Dartmouth College. He previously served as Associate Dean of the Faculty for the Sciences and as the Executive Director of the Institute for Security Technology Studies. His research interests include security and privacy in smart homes, pervasive computing for healthcare, and wireless networks.
    [Show full text]
  • CAP 5636 - Advanced Artificial Intelligence
    CAP 5636 - Advanced Artificial Intelligence Introduction This slide-deck is adapted from the one used by Chelsea Finn at CS221 at Stanford. CAP 5636 Instructor: Lotzi Bölöni http://www.cs.ucf.edu/~lboloni/ Slides, homeworks, links etc: http://www.cs.ucf.edu/~lboloni/Teaching/CAP5636_Fall2021/index.html Class hours: Tue, Th 12:00PM - 1:15PM COVID considerations: UCF expects you to get vaccinated and wear a mask Classes will be in-person, but will be recorded on Zoom. Office hours will be over Zoom. Motivating artificial intelligence It is generally not hard to motivate AI these days. There have been some substantial success stories. A lot of the triumphs have been in games, such as Jeopardy! (IBM Watson, 2011), Go (DeepMind’s AlphaGo, 2016), Dota 2 (OpenAI, 2019), Poker (CMU and Facebook, 2019). On non-game tasks, we also have systems that achieve strong performance on reading comprehension, speech recognition, face recognition, and medical imaging benchmarks. Unlike games, however, where the game is the full problem, good performance on a benchmark does not necessarily translate to good performance on the actual task in the wild. Just because you ace an exam doesn’t necessarily mean you have perfect understanding or know how to apply that knowledge to real problems. So, while promising, not all of these results translate to real-world applications Dangers of AI From the non-scientific community, we also see speculation about the future: that it will bring about sweeping societal change due to automation, resulting in massive job loss, not unlike the industrial revolution, or that AI could even surpass human-level intelligence and seek to take control.
    [Show full text]
  • Digitalization Transformation Guides
    ISSUE Royal Digitalization Transformation 02 Academy of February 2020 Engineering Guides 1. In this issue: Solutions for a • What is Artificial Intelligence? New Economy • How to bring benefit from Machine Learning in industry? There are numerous applications in • Dangers and ethical which Machine considerations of AI Learning is the right solution and can bring benefit to the Industrial Implementation of Artificial1. Dangers andIntelligent ethical industry. Systems in Industry considerations. 3 . Trends & New Software P.4 The prominence of AI is demonstrated in popular culture with television and movies. Artificial Intelligence refers to that of human intelligence demonstrated by machines which are programmed to think like humans and replicate decisions, behaviours and actions. The application of AI is widely associated to machines having the capability to learn and to solve problems as humans would, or to a better degree. Machine Learning (ML), and AI in general, are still relatively new research fields and are not necessarily the solution to every technological and scientific problem. While it is expected that the presence of AI in the industry will largely increase in the near future, there is a broad spectrum of problems for which AI may not be yet a satisfactory solution. Contents WHAT IS ARTIFICIAL INTELLIGENCE? 3 BRIEF HISTORY 3 DIFFERENCE BETWEEN AI AND MACHINE LEARNING (ML) 3 ML BASICS 4 TAXONOMY OF ML TECHNIQUES 4 LIMITATIONS OF ML 6 THE ML LANDSCAPE BEYOND THE HYPE 6 HOW TO BRING BENEFIT FROM ML IN INDUSTRY? 7 DANGERS AND ETHICAL CONSIDERATIONS. 8 What is Artificial Intelligence? Brief History Although not generally reported, formal research on Artificial Intelligence can be said to have originated at the Macy conferences on Cybernetics (1945-1953).
    [Show full text]
  • The Logicist Manifesto: at Long Last Let Logic-Based Artificial Intelligence Become a Field Unto Itself∗
    The Logicist Manifesto: At Long Last Let Logic-Based Artificial Intelligence Become a Field Unto Itself∗ Selmer Bringsjord Rensselaer AI & Reasoning (RAIR) Lab Department of Cognitive Science Department of Computer Science Rensselaer Polytechnic Institute (RPI) Troy NY 12180 USA [email protected] version 9.18.08 Contents 1 Introduction 1 2 Background 1 2.1 Logic-Based AI Encapsulated . .1 2.1.1 LAI is Ambitious . .3 2.1.2 LAI is Based on Logical Systems . .4 2.1.3 LAI is a Top-Down Enterprise . .5 2.2 Ignoring the \Strong" vs. \Weak" Distinction . .5 2.3 A Slice in the Day of a Life of a LAI Agent . .6 2.3.1 Knowledge Representation in Elementary Logic . .8 2.3.2 Deductive Reasoning . .8 2.3.3 A Note on Nonmonotonic Reasoning . 12 2.3.4 Beyond Elementary Logical Systems . 13 2.4 Examples of Logic-Based Cognitive Systems . 15 3 Factors Supporting Logicist AI as an Independent Field 15 3.1 History Supports the Divorce . 15 3.2 The Advent of the Web . 16 3.3 The Remarkable Effectiveness of Logic . 16 3.4 Logic Top to Bottom Now Possible . 17 3.5 Learning and Denial . 19 3.6 Logic is an Antidote to \Cheating" in AI . 19 3.7 Logic Our Only Hope Against the Dark AI Future . 21 4 Objections; Rebuttals 22 4.1 \But you are trapped in a fundamental dilemma: your position is either redundant, or false." . 22 4.2 \But you're neglecting probabilistic AI." . 23 4.3 \But we now know that the mind, contra logicists, is continuous, and hence dynamical, not logical, systems are superior." .
    [Show full text]
  • Frameworks for Intelligent Systems
    Frameworks for Intelligent Systems CompSci 765 Meeting 3 Pat Langley Department of Computer Science University of Auckland Outline of the Lecture • Computer science as an empirical discipline • Physical symbol systems • List structures and list processing • Reasoning and intelligence • Intelligence and search • Knowledge and intelligence • Implications for social cognition 2 Computer Science as an Empirical Discipline! In their Turing Award article, Newell and Simon (1976) make some important claims: • Computer science is an empirical discipline, rather than a branch of mathematics. • It is a science of the artificial, in that it constructs artifacts of sufficient complexity that formal analysis is not tractable. • We must study these computational artifacts as if they were natural systems, forming hypotheses and collecting evidence. They propose two hypotheses based on their founding work in list processing and artificial intelligence.! 3 Laws of Qualitative Structure! The authors introduce the idea of laws of qualitative structure, which are crucial for any scientific field’s development: • The cell doctrine in biology • Plate tectonics in geology • The germ theory of disease • The atomic theory of matter They propose two such laws, one related to mental structures and another and the other to mental processes. 4 Physical Symbol Systems! Newell and Simon’s first claim, the physical symbol system hypothesis, states that: • A physical symbol system has the necessary and sufficient means for general intelligent action. They emphasize general cognitive abilities, such as humans exhibit, rather than specialized ones. This is a theoretical claim that is subject to empirical tests, but the evidence to date generally supports it.! 5 More on Physical Symbol Systems! What do Newell and Simon mean by a physical symbol system? • Symbols are physical patterns that are stable unless modified.
    [Show full text]
  • Department of Computer Science Activity 1998-2004
    Dartmouth College Dartmouth Digital Commons Computer Science Technical Reports Computer Science 3-20-2005 Department of Computer Science Activity 1998-2004 David Kotz Dartmouth College Follow this and additional works at: https://digitalcommons.dartmouth.edu/cs_tr Part of the Computer Sciences Commons Dartmouth Digital Commons Citation Kotz, David, "Department of Computer Science Activity 1998-2004" (2005). Computer Science Technical Report TR2005-534. https://digitalcommons.dartmouth.edu/cs_tr/267 This Technical Report is brought to you for free and open access by the Computer Science at Dartmouth Digital Commons. It has been accepted for inclusion in Computer Science Technical Reports by an authorized administrator of Dartmouth Digital Commons. For more information, please contact [email protected]. Department of Computer Science Activity 1998–2004 David Kotz (editor) [email protected] Technical Report TR2005-534 Department of Computer Science, Dartmouth College http://www.cs.dartmouth.edu March 20, 2005 1 Contents 1 Introduction 1 2 Courses 2 3 Information Retrieval (Javed Aslam, Daniela Rus) 4 3.1 Activities and Findings ....................................... 4 3.1.1 Mobile agents for information retrieval. .......................... 4 3.1.2 Automatic information organization ............................ 4 3.1.3 Metasearch ......................................... 5 3.1.4 Metasearch, Pooling, and System Evaluation ....................... 6 3.2 Products ............................................... 7 3.3
    [Show full text]
  • After Math: (Re)Configuring Minds, Proof, and Computing in the Postwar United States
    After Math: (Re)configuring Minds, Proof, and Computing in the Postwar United States The Harvard community has made this article openly available. Please share how this access benefits you. Your story matters Citation Dick, Stephanie Aleen. 2015. After Math: (Re)configuring Minds, Proof, and Computing in the Postwar United States. Doctoral dissertation, Harvard University, Graduate School of Arts & Sciences. Citable link http://nrs.harvard.edu/urn-3:HUL.InstRepos:14226096 Terms of Use This article was downloaded from Harvard University’s DASH repository, and is made available under the terms and conditions applicable to Other Posted Material, as set forth at http:// nrs.harvard.edu/urn-3:HUL.InstRepos:dash.current.terms-of- use#LAA After Math (Re)configuring Minds, Proof, and Computing in the Postwar United States Adissertationpresented by Stephanie Aleen Dick to The Department of the History of Science in partial fulfillment of the requirements for the degree of Doctor of Philosophy in the subject of the History of Science Harvard University Cambridge, Massachusetts November 2014 © 2014 Stephanie Aleen Dick. All rights reserved. Dissertation Advisor: Professor Peter Galison Stephanie Aleen Dick After Math (Re)configuring Minds, Proof, and Computing in the Postwar United States Abstract This dissertation examines the history of three early computer programs that were designed to prove mathematical theorems: The Logic Theory Machine, the Program P, and the Automated Reasoning Assistant, all developed between 1955 and 1975. I use these programs as an opportunity to explore ways in which mathematical knowledge and practice were transformed by the introduction of modern computing. The prospect of automation generated disagreement about the character of human mathematical faculties like intuition, reasoning, and understanding and whether computers could be made to possess or participate in them.
    [Show full text]
  • OCAMS Methods AIEDAM V2
    Workflow Agents vs. Expert Systems: Problem Solving Methods in Work Systems Design William J. Clancey NASA Ames Research Center & Florida Institute for Human & Machine Cognition Maarten Sierhuis RIACS, NASA Ames Research Center Chin Seah QSS, NASA Ames Research Center Prepared for special issue of Artificial Intelligence for Engineering Design, Analysis, and Manufacturing (AIEDAM) — “Problem Solving Methods: Past, Present, and Future,” Spring 2008 Corresponding Author: [email protected] Intelligent Systems Division, M/S 269-3 NASA Ames Research Center Moffett Field, CA 94035 650-604-2526, fax 4-4036 Short Title: “The Role of Method Abstraction in Work Systems Design” Number of pages (excluding title, abstract, and biographies): 55 Number of figures: 2 Draft: May 1, 2008 1 Workflow Agents vs. Expert Systems: Problem Solving Methods in Work Systems Design Abstract During the 1980s, a community of artificial intelligence researchers became interested in formalizing problem solving methods as part of an effort called “second generation expert systems” (2nd GES). How do the motivations and results of this research relate to building tools for the workplace today? We provide an historical review of how the theory of expertise has developed, a progress report on a tool for designing and implementing model-based automation (Brahms), and a concrete example how we apply 2nd GES concepts today in an agent-based system for space flight operations (OCAMS). Brahms’ incorporates an ontology for modeling work practices, what people are doing in the course of a day, characterized as “activities.” OCAMS was developed using a simulation-to-implementation methodology, in which a prototype tool was embedded in a simulation of future work practices.
    [Show full text]