* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
Download Programming with C++ CT214
Machine learning wikipedia , lookup
Logic programming wikipedia , lookup
Technological singularity wikipedia , lookup
Hubert Dreyfus's views on artificial intelligence wikipedia , lookup
Ecological interface design wikipedia , lookup
Turing test wikipedia , lookup
Human–computer interaction wikipedia , lookup
Human-Computer Interaction Institute wikipedia , lookup
Embodied cognitive science wikipedia , lookup
Knowledge representation and reasoning wikipedia , lookup
Intelligence explosion wikipedia , lookup
Ethics of artificial intelligence wikipedia , lookup
Existential risk from artificial general intelligence wikipedia , lookup
CSC 450 Artificial Intelligence WHAT IS AI? Thinking humanly Thinking rationally Acting humanly Acting rationally Revision!... ACTING HUMANLY: THE TURING TEST Alan Turing (1912-1954) “Computing Machinery and Intelligence” (1950) Imitation Game Human Human Interrogator AI System ACTING HUMANLY: THE TURING TEST Predicted that by 2000, a machine might have a 30% chance of fooling a lay person for 5 minutes. Anticipated all major arguments against AI in following 50 years. Suggested major components of AI: knowledge, reasoning, language, understanding, learning. Revision!... THINKING HUMANLY: COGNITIVE MODELLING Not content to have a program correctly solving a problem. More concerned with comparing its reasoning steps to traces of human solving the same problem. Requires testable theories of the workings of the human mind: cognitive science. Revision!... THINKING RATIONALLY: LAWS OF THOUGHT Aristotle was one of the first to attempt to codify “right thinking”, i.e., irrefutable reasoning processes. Formal logic provides a precise notation and rules for representing and reasoning with all kinds of things in the world. Obstacles: - Informal knowledge representation. - Computational complexity and resources. Revision!... ACTING RATIONALLY Acting so as to achieve one’s goals, given one’s beliefs. Does not necessarily involve thinking. Advantages: - More general than the “laws of thought” approach. - More amenable to scientific development than human- based approaches. Revision!... AI PREHISTORY Logic, methods of reasoning, mind as physical system foundations of learning, language, rationality Mathematics Formal representation and proof algorithms, computation, (un)decidability, (in)tractability, probability Economics utility, decision theory Neuroscience physical substrate for mental activity Psychology phenomena of perception and motor control, experimental techniques Computer engineering building fast computers Control theory design systems that maximize an objective function over time Linguistics knowledge representation, grammar lec 1, CSC 102 by Asma Kausar@UT, Tabouk Philosophy 28/01/2012 8 MILESTONES IN AI 9 1923 Karel Capek's play "R.U.R." (Rossum's Universal Robots) opens in London (1923). First use of the word 'robot' in English. 1943 Warren McCulloch and Walter Pitts publish "A Logical Calculus of the Ideas Immanent in Nervous Activity" (1943), laying foundations for neural networks. First work generally recognized as AI. Proposed a model of connected artificial neurons, capable of computing any computable function, and capable of learning. Used 3000 vacuum tubes to simulate a network of 40 neurons. See http://en.wikipedia.org/wiki/Warren_McCulloch http://www.csulb.edu/~cwallis/artificialn/warren_mcculloch.html 9 ABRIDGED HISTORY OF AI McCulloch & Pitts: Boolean circuit model of brain 1950 Turing's "Computing Machinery and Intelligence" 1956 Dartmouth meeting: "Artificial Intelligence" adopted 1952—69 Look, Ma, no hands! 1950s Early AI programs, including Samuel's checkers program, Newell & Simon's Logic Theorist, Gelernter's Geometry Engine 1965 Robinson's complete algorithm for logical reasoning 1966—73 AI discovers computational complexity Neural network research almost disappears 1969—79 Early development of knowledge-based systems 1980-- AI becomes an industry 1986-- Neural networks return to popularity 1987-- AI becomes a science 1995-- The emergence of intelligent agents lec 1, CSC 102 by Asma Kausar@UT, Tabouk 1943 28/01/2012 10 STATE OF THE ART lec 1, CSC 102 by Asma Kausar@UT, Tabouk Deep Blue defeated the reigning world chess champion Garry Kasparov in 1997 Proved a mathematical conjecture (Robbins conjecture) unsolved for decades (conjecture: unproven proposition) No hands across America (driving autonomously 98% of the time from Pittsburgh to San Diego) During the 1991 Gulf War, US forces deployed an AI logistics planning and scheduling program that involved up to 50,000 vehicles, cargo, and people NASA's on-board autonomous planning program controlled the scheduling of operations for a spacecraft Proverb solves crossword puzzles better than most humans 28/01/2012 11 MAJOR BRANCHES OF AI 12 Weak AI. The study and design of machines that perform intelligent tasks. Not concerned with how tasks are performed, mostly concerned with performance and efficiency, such as solutions that are reasonable for NP-Complete problems. E.g., to make a flying machine, use logic and physics, don’t mimic a bird. MAJOR BRANCHES OF AI 13 Strong AI. The study and design of machines that simulate the human mind to perform intelligent tasks. Borrow many ideas from psychology, neuroscience. Goal is to perform tasks the way a human might do them – which makes sense, since we do have models of human thought and problem solving. BRANCHES OF AI 14 AI PROGRAMMING LANGUAGES 15 IPL RITA ROSIE PROLOG LISP TOP AI SCHOOLS COMPANIES Top AI Schools AND Stanford University MIT Carnegie Mellon University (CMU) Berkeley Also Toronto, Washington, Illinois, Texas, Maryland, Edinburgh, UCLA, Karlsruhe, and many others.… Top research labs Microsoft Research (MSR) IBM Research AT&T Labs Xerox PARC, SRI, ATR (Japan), … 16