AI Thinks Like a Corporation—And That's Worrying
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
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. -
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." . -
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. -
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. -
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. -
ALLEN NEWELL March 19, 1927–July 19, 1992
NATIONAL ACADEMY OF SCIENCES A L L E N N E W ELL 1927—1992 A Biographical Memoir by HER BE R T A. S IMON Any opinions expressed in this memoir are those of the author(s) and do not necessarily reflect the views of the National Academy of Sciences. Biographical Memoir COPYRIGHT 1997 NATIONAL ACADEMIES PRESS WASHINGTON D.C. ALLEN NEWELL March 19, 1927–July 19, 1992 BY HERBERT A. SIMON ITH THE DEATH from cancer on July 19, 1992, of Allen WNewell the field of artificial intelligence lost one of its premier scientists, who was at the forefront of the field from its first stirrings to the time of his death and whose research momentum had not shown the slightest diminu- tion up to the premature end of his career. The history of his scientific work is partly my history also, during forty years of friendship and nearly twenty of collaboration, as well as the history of the late J. C. (Cliff) Shaw, a longtime colleague; but I will strive to make this account Allen-cen- tric and not intrude myself too far into it. I hope I will be pardoned if I occasionally fail.1 If you asked Allen Newell what he was, he would say, “I am a scientist.” He played that role almost every waking hour of every day of his adult life. How would he have answered the question, “What kind of scientist?” We hu- mans have long been obsessed with four great questions: the nature of matter, the origins of the universe, the nature of life, the workings of mind. -
Computer Science and the Organization of White-Collar Work, 1945-1975
Post-Industrial Engineering: Computer Science and the Organization of White-Collar Work, 1945-1975 by Andrew Benedict Mamo A dissertation submitted in partial satisfaction of the requirements for the degree of Doctor of Philosophy in History in the Graduate Division of the University of California, Berkeley Committee in charge: Professor Cathryn Carson, Chair Professor David Hollinger Professor David Winickoff Spring 2011 Post-Industrial Engineering: Computer Science and the Organization of White-Collar Work, 1945-1975 © 2011 by Andrew Benedict Mamo Abstract Post-Industrial Engineering: Computer Science and the Organization of White-Collar Work, 1945-1975 by Andrew Benedict Mamo Doctor of Philosophy in History University of California, Berkeley Professor Cathryn Carson, Chair The development of computing after the Second World War involved a fundamental reassessment of information, communication, knowledge — and work. No merely technical project, it was prompted in part by the challenges of industrial automation and the shift toward white-collar work in mid-century America. This dissertation therefore seeks out the connections between technical research projects and organization-theory analyses of industrial management in the Cold War years. Rather than positing either a model of technological determinism or one of social construction, it gives a more nuanced description by treating the dynamics as one of constant social and technological co-evolution. This dissertation charts the historical development of what it has meant to work with computers by examining the deep connections between technologists and mid-century organization theorists from the height of managerialism in the 1940s through the decline of the “liberal consensus” in the 1970s. Computing was enmeshed in ongoing debates concerning automation and the relationship between human labor and that of machines. -
Introduction to AI Chapter 1
Introduction to AI Chapter 1 Artificial Intelligence 2019 1 / 26 Reference Book Artificial Intelligence: A Modern Approach Stuart Russell and Peter Norvig http://aima.cs.berkeley.edu/ 2 / 26 Some Other References I AFIA : https://afia.asso.fr I Revue d’IA : http://ria.revuesonline.com/ I AAAI : http://www.aaai.org/ I AI Magazine : http://www.aaai.org/Magazine I ACM SIGAI : http://sigai.acm.org/ I Nils J. Nilsson : http://ai.stanford.edu/~nilsson/ I John McCarthy : http://www-formal.stanford.edu/jmc/ I Marvin Minsky : http://web.media.mit.edu/~minsky/ I JAIR : http://www.jair.org/ I IJCAI : http://www.ijcai.org/ I AI Journal : http://www.ida.liu.se/ext/aijd/ I ECCAI, ECAI : http://www.eccai.org/ I AI/Alife Howto : http://zhar.net/howto/ I ETAI : http://www.etaij.org/ I ... 3 / 26 What is AI? Systems that think like humans Systems that think rationally Systems that act like humans Systems that act rationally 4 / 26 5 / 26 Acting humanly: The Turing test Turing (1950) “Computing machinery and intelligence” I “Can machines think?” −! “Can machines behave intelligently?” I Operational test for intelligent behavior: the Imitation Game HUMAN HUMAN INTERROGATOR ? AI SYSTEM I Predicted that by 2000, a machine might have a 30% chance of fooling a lay person for 5 minutes I Anticipated all major arguments against AI in following 50 years I Suggested major components of AI: knowledge, reasoning, language understanding, learning I But Turing test is not reproducible, constructive, or amenable to mathematical analysis 6 / 26 7 / 26 Thinking humanly: Cognitive -
What Is a Heuristic?
47 What is a heuristic? MARCH. J. ROMANYCIA Information Services, Engineering and Planning, Guy Canada, Calgary, Alta., Canada T2P 2H7 AND FRANCISJEFFRY PELLETIER Departments of Philosophy, Computing Science, Universiry of Alberta, Edmonton, Alta., Canada T6G 2E5 Received February 5, 1985 Revision accepted March 29, 1985 From the mid-1950’s to the present the notion of a heuristic has played a crucial role in the A1 researchers’ descriptions of thcir work. What has not been generally noticed is that different researchers have often applied the term to rather different aspects of their programs. Things that would be called a heuristic by one researcher would not be so called by others. This is because many heuristics embody a variety of different features, and the various researchers have emphasized different ones of these features as being essential to being a heuristic. This paper steps back from any particular research program and investigates the question of what things, historically, have been thought to be central to the notion of a heuristic and which ones conflict with others. After analyzing the previous definitions and examining current usage of the term, a synthesizing definition is provided. The hope is that with this broader account of ‘heuristic’ in hand, researchers can benefit more fully from the insights of others, even if those insights are couched in a somewhat alien vocabulary. Key words: heuristic, rule of thumb, algorithm, problem solving, artificial intelligence, cognitive science, philosophical implications of AI, history of AI. Depuis le milieu des annees cinquantejusqu’a nos jours, la notion d’heuristique a joue un r6le crucial dans les descriptions que faisaient les chercheurs en IA de leurs travaux. -
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 -
Herbert A. Simon (1916 - 2001) the Scientist of the Artificial
Obituary 1 HERBERT A. SIMON (1916 - 2001) THE SCIENTIST OF THE ARTIFICIAL Fernand Gobet School of Psychology, University of Nottingham Once upon a time when the world was young, Oh best beloved. There came to the banks of the Monongogo river, All muddy and brown, Oh best beloved, A djinn who was one thing on the inside But many things on the outside. Allen Newell, 1987 With the disappearance of Herbert A. Simon, we have lost one of the most original thinkers of the 20th century. Highly influential in a number of scientific fields—some of which he actually helped create, such as artificial intelligence or information-processing psychology—Simon was a true polymath. His research started in management science and political science, later encompassed operations research, statistics and economics, and finally included computer science, artificial intelligence, psychology, education, philosophy of science, biology, and the sciences of design. His often controversial ideas earned him wide scientific recognition and essentially all the top awards of the fields in which he researched, including the Turing award from the Association of Computing Machinery, with Allen Newell, in 1975, the Nobel prize in economics, in 1978, and the Gold Medal Award for Psychological Science from the American Psychological Foundation, in 1988. While his research spanned a dazzling number of fields, his interests were by and large centred upon a single question, that of bounded rationality: How do human beings, in spite of their limited processing capacities, manage to make reasonable decisions? Or, to use one of Simon’s favourite metaphors, how can one find a satisfactory path in a branching maze, in spite of limited access to information? This central question, which originated in his PhD thesis on organisations (published in 1947 as Public Administration ), is clearly apparent in most of his research, and is often combined with questions about the role of the environment in the adaptability of complex systems (these themes were developed in detail in The Sciences of The Artificial, 1969). -
Information-Processing Psychology, Artificial Intelligence, and the Cognitive Systems Paradigm
Information-Processing Psychology, Artificial Intelligence, and the Cognitive Systems Paradigm Pat Langley Institute for the Study of Learning and Expertise Palo Alto, California, USA http://www.isle.org/~langley/ Thanks to Herbert Simon, Allen Newell, John Anderson, David Nicholas, John Laird, Randy Jones, and many others for discussions that led to the ideas in this talk. Introductory Remarks! Main Points Early research on AI was closely linked to empirical studies of high-level cognition in humans. This alliance produced many ideas that have been crucial to the field’s long-term development. In the past 30 years, the connection has faded, hurting our ability to build artifacts that exhibit human-like intelligence. The cognitive systems movement is reestablishing these links to psychology to aid progress toward this goal. 3 What is Intelligence? When we say humans are intelligent, we mean that they exhibit high-level cognitive abilities like: • Carrying out complex reasoning • E.g., solving physics problems, proving theorems • Drawing plausible inferences • E.g., diagnosing automobile faults, solving murder cases • Using natural language • E.g., reading stories, engaging in extended conversations • Solving novel, complex problems • E.g., completing puzzles, generating plans, designing artifacts We do not mean that people can recognize familiar objects or execute motor skills, abilities they share with dogs and cats. 4 The Cognitive Revolution During the 1950s and 1960s, the key breakthroughs in both AI and cognitive psychology (Miller, 2003) resulted from: • Rejecting behaviorists’ obsession with learning on simple tasks and information theory’s focus on statistics; • Studying problem solving, language understanding, and other tasks that involve thinking (i.e., high-level cognition); • Emphasizing the central role of mental structures and processes in such complex behavior.