Аллен Ньюэлл: Пионер информатики и искусственного интеллекта
Allen Newell
Аллен Ньюэлл: американский ученый, пионер ИИ и когнитивной психологии. Разработчик языков программирования и первых AI-программ. Лауреат премии Тьюринга.
Сравнивайте с английским: нажмите на абзац — оригинал откроется в окне. Кнопка EN под абзацем показывает его прямо в тексте.
Содержание
Введение
Американский ученый в области когнитивных наук
American cognitive scientist
Аллен Ньюэлл (19 марта 1927 года – 19 июля 1992 года) – американский исследователь в области компьютерных наук и когнитивной психологии, работавший в корпорации RAND и в Школе компьютерных наук, Школе бизнеса Теппера и Департаменте психологии Университета Карнеги — Меллона. Он внес вклад в разработку языка обработки информации (1956) и двух из первых программ искусственного интеллекта: «Теоретик» (1956) и «Общий решатель задач» (1957) (совместно с Гербертом А. Саймоном). В 1975 году он совместно с Гербертом А. Саймоном был удостоен премии А. М. Тьюринга от ACM за вклад в развитие искусственного интеллекта и психологию человеческого познания.
Allen Newell (March 19, 1927 – July 19, 1992) was an American researcher in computer science and cognitive psychology at the RAND Corporation and at Carnegie Mellon University's School of Computer Science, Tepper School of Business, and Department of Psychology. He contributed to the Information Processing Language (1956) and two of the earliest AI programs, the Logic Theorist (1956) and the General Problem Solver (1957) (with Herbert A. Simon). He was awarded the ACM's A. M. Turing Award along with Herbert A. Simon in 1975 for their contributions to artificial intelligence and the psychology of human cognition.
Ранние исследования
Ньюэлл получил степень бакалавра по физике в Стэнфорде в 1949 году. Он был аспирантом в Принстонском университете с 1949 по 1950 год, где изучал математику. Благодаря раннему знакомству с малоизвестной областью, известной как теория игр, и опыту, полученному при изучении математики, он убедился, что предпочтет сочетание экспериментальных и теоретических исследований чистой математике. В 1950 году он покинул Принстон и присоединился к корпорации RAND в Санта-Монике, где работал в "группе, изучавшей логистические проблемы ВВС" (Саймон). Его работа с Джозефом Крускалем привела к созданию двух теорий: "Модель теории организации" и "Формулирование точных концепций в теории организации". В конечном итоге Ньюэлл получил докторскую степень в Тепперской школе бизнеса при Карнеги-Меллоне, а Герберт Саймон был его научным руководителем. После этого Ньюэлл "приступил к разработке и проведению лабораторных экспериментов по принятию решений в небольших группах" (Саймон). Однако он остался недоволен точностью и достоверностью результатов, полученных в ходе небольших лабораторных экспериментов. Он объединился со своими коллегами по RAND – Джоном Кеннеди, Бобом Чапманом и Биллом Билем – на станции раннего предупреждения ВВС, чтобы изучать организационные процессы в составе лётных экипажей. В 1952 году они получили финансирование от ВВС на создание симулятора, который позволил бы им изучать и анализировать взаимодействие в кабине пилотов, связанное с принятием решений и обработкой информации. На основании этих исследований Ньюэлл пришел к выводу, что обработка информации является центральной деятельностью в организациях.
Newell completed his bachelor's degree in physics from Stanford in 1949. He was a graduate student at Princeton University from 1949 to 1950, where he studied mathematics. Due to his early exposure to an unknown field known as game theory and the experiences from the study of mathematics, he was convinced that he would prefer a combination of experimental and theoretical research to pure mathematics. In 1950, he left Princeton and joined the RAND Corporation in Santa Monica where he worked for "a group that was studying logistics problems of the Air Force" (Simon). His work with Joseph Kruskal led to the creation of two theories: A Model for Organization Theory and Formulating Precise Concepts in Organization Theory. Newell eventually earned his PhD from the now Tepper School of Business at Carnegie Mellon with Herbert Simon serving as his advisor. Afterwards, Newell "turned to the design and conduct of laboratory experiments on decision making in small groups" (Simon). He was dissatisfied, however, with the accuracy and validity of their findings produced from small scale laboratory experiments. He joined with fellow RAND teammates John Kennedy, Bob Chapman, and Bill Biel at an Air Force Early Warning Station to study organizational processes in flight crews. They received funding from the Air Force in 1952 to build a simulator that would enable them to examine and analyze the interactions in the cockpit related to decision making and information handling. From these studies, Newell came to believe that information processing is the central activity in organizations.
Искусственный интеллект
В сентябре 1954 года Ньюэлл записался на семинар, где Оливер Селфридж "описал работающую компьютерную программу, которая научилась распознавать буквы и другие закономерности" (Саймон). Именно тогда у Аллена сформировалось убеждение, что можно создавать системы, обладающие интеллектом и способностью к адаптации. Исходя из этого, через несколько месяцев, в 1955 году, Аллен написал работу "Шахматная машина: пример решения сложной задачи посредством адаптации", в которой "был представлен оригинальный проект компьютерной программы для игры в шахматы, имитирующей человеческий стиль игры" (Саймон). Его работа привлекла внимание экономиста (и будущего лауреата Нобелевской премии) Герберта А. Саймона, и совместно с программистом Дж. К. Шоу они разработали первую полноценную программу искусственного интеллекта (см. примечания), "Логический теоретик". Работа Ньюэлла над этой программой заложила основы данной области. Его изобретения включали: обработку списков – важнейшую парадигму программирования, используемую в ИИ с тех пор; применение анализа "цель-средства" к общему рассуждению (или "рассуждение как поиск"); и использование эвристик для ограничения области поиска. Они представили программу на Дартмутской конференции 1956 года – неформальной встрече исследователей, заинтересованных в моделировании интеллекта на машинах. Эта конференция, которую сейчас повсеместно считают "рождением искусственного интеллекта", оказала колоссальное влияние, а её участники стали лидерами исследований в области ИИ на следующие два десятилетия, включая Ньюэлла.
In September 1954, Newell enrolled in a seminar where Oliver Selfridge "described a running computer program that learned to recognize letters and other patterns" (Simon). This was when Allen came to believe that systems may be created and contain intelligence and have the ability to adapt. With this in mind, Allen, after a couple of months, wrote in 1955 The Chess Machine: An Example of Dealing with a Complex Task by Adaptation, which "outlined an imaginative design for a computer program to play chess in humanoid fashion" (Simon). His work came to the attention of economist (and future nobel laureate) Herbert A. Simon, and, together with programmer J. C. Shaw, they developed the first true artificial intelligence program(see notes), the Logic Theorist. Newell's work on the program laid the foundations of the field. His inventions included: list processing, the most important programming paradigm used by AI ever since; the application of means ends analysis to general reasoning (or "reasoning as search"); and the use of heuristics to limit the search space. They presented the program at the Dartmouth conference of 1956, an informal gathering of researchers who were interested in simulating intelligence with machines. The conference, now widely considered the "birth of artificial intelligence", was enormously influential and those who attended became the leaders of AI research for the next two decades, Newell included.
Поздние достижения
Ньюэлл и Саймон сформировали прочное партнерство. Они основали лабораторию искусственного интеллекта в Университете Карнеги — Меллона и создали ряд важных программ и теоретических разработок в конце 1950-х и 1960-х годов. Эта работа включала в себя "Общий решатель задач" – весьма влиятельную реализацию анализа "средств-целей", а также гипотезу о физических символьных системах, спорное философское утверждение о том, что любое интеллектуальное поведение можно свести к манипулированию символами, которое демонстрировали программы Ньюэлла. Работа Ньюэлла достигла кульминации в разработке когнитивной архитектуры Soar и его единой теории познания, опубликованной в 1990 году, однако улучшение этих разработок оставалось целью его усилий до самой смерти (одно из последних писем Ньюэлла). Область когнитивных архитектур, которую он положил, до сих пор активно развивается как в сообществах искусственного интеллекта, так и в вычислительной когнитивной науке.
Newell and Simon formed a lasting partnership. They founded an artificial intelligence laboratory at Carnegie Mellon University and produced a series of important programs and theoretical insights throughout the late fifties and sixties. This work included the General Problem Solver, a highly influential implementation of means–ends analysis, and the physical symbol systems hypothesis, the controversial philosophical assertion that all intelligent behavior could be reduced to the kind of symbol manipulation that Newell's programs demonstrated. Newell's work culminated in the development of a cognitive architecture known as Soar and his unified theory of cognition, published in 1990, but their improvement was the objective of his efforts up to his death (one of the last Newell's letters ). The field of cognitive architectures, that he initiated, is still active in both the artificial intelligence and computational cognitive science communities.