Перечислим некоторые вехи в развитии искусственного интеллекта
Перечислим некоторые вехи в развитии искусственного интеллекта в контексте других событий, связанных с ИИ. События, происшедшие в области ИИ отмечены звездочкой (*).
1637 | Декарт: "Я мыслю, следовательно я существую." |
1672-76 | Лейбниц сформулировал в общих чертах подход к построению логического исчисления "machina ratiocinatrix" |
1726 | Джонатан Свифт в "Путешествиях Гулливера" описывает машину, которая пишет книги случайным образом. |
1769* | Машина для шахматной игры В. фон Кемпелена, по-видимому, основана на обмане |
1793* | Ф. Т. фон Шубертом предложен алгоритм разложения арифметических выражений на множители |
1818 | Шелли Мэри, английская писательница, в романе "Франкештейн, или Современный Прометей" пишет об искусственном создании, который уничтожает своего создателя. |
1835 | Джозеф Генри изобрел электрическое реле. |
1847 | Джордж Буль создал символическую логику, и позже двузначную логику. |
1859 | Чарльз Дарвин: "Происхождение видов путем естественного отбора". |
1876 | Александр Грейам Белл получает патент на телефон (US Patent 174,465). |
1879 | Томас Алва Эдисон изобретает лампочку. |
1879 | Готлоб Фреге изобретает исчисление предикатов. |
1901 | Зигмунд Фрейд: " Интерпретация снов". |
1904 | Первая вакуумная трубка, диод (John Ambrose Fleming). |
1912* | Автомат для эндшпиля король и ладья против короля (Торрес-и-Квебедо Л.) |
1913 | Генри Форд вводит сборочный конвейер. |
1915 | Общая теория относительности Эйнштейна |
1917* | Карел Чапек вводит термин "робот" (в чешском языке "робот" означает "рабочий", но в 1923 году английский перевод оставляет оригинальное слово) |
1925 | Р. Вагнер обнаружил наличие обратной связи в биологических системах |
1928* | Джон фон Нейман доказал теорему о минимаксе (позднее использовалась в программах для теории игр). |
1931 | Теорема Геделя о неполноте. |
1936 | Общественное телевидение в Великобритании |
1937 | Алан Тьюринг публикует "On Computable Numbers", где он вводит "машину Тьюринга" - формализация понятия алгоритма. |
1940 | Atanasoff и Berry создают первый электронный компьютер. |
1940 | Robinson – первый действующий компьютер в Великобритании, базирующийся на реле; использовался, чтобы декодировать нацистские коды |
1940 | Первая цветная телевизионная передача |
1941 | Конрад Цузе создает в Германии Z3 - первый программируемый компьютер |
1943* | У. Макколлак (McCulloch) и У. Питц (Pitts) предлагают формальную модель, отражающую функционирование нейрона; начало нейрокибернетики. |
1944 | Х. Х. Айкен завершает 'Mark I', первый американский программируемый компьютер |
1945 | Grace Murray Hopper обнаруживает при работе вычислительной машины первого "жучка" ("bug") (9-09-45 15:45 - запись в журнале) |
1946 | Джон фон Нейман предлагает логическую конструкцию электронной вычислительной машины с программой, хранимой в памяти. |
1947 | Основывается ACM (Association for Computing Machinery) |
1948 | Норберт Винер: "Кибернетика, или Управление и связь в животном и машине" - начало кибернетики. |
1949 | Моррис Уилкс (Wilkes) создал EDSAC - первый компьютер с хранимой программой. |
1949 | К. Шеннон создает теорию информации. |
1950* | Айзек Азимов: "Я - Робот" |
1950* | Алан Тьюринг предложил "тест Тьюринга" - критерий на наличие интеллекта у искусственного создания. |
1950 | Дж. П. Эккерт (Eckert) и Дж. У. Мочли (Mauchley) продают UNIVAC – первый коммерческий компьютер. |
1950 | Программа текстового редактирования для машины EDVAS |
1951 | Бюро Переписи Населения (США) покупает Remington-Rand UNIVAC за $159,000 (позже $250,000). |
1951 | Трансконтинентальный черно-белый ТВ в США. |
1953 | Уотсон и Крик открывают химическую структуру ДНК |
1953* | Х. Г. Кахриманян и Дж. Ф. Ноулан написали первые программы для машинного выполнения дифференцирования |
1954* | Айзек Азимов: "Стальные пещеры" |
1954 | Смерть Тьюринга |
1954* | А. Ньюэлл, Дж. Шоу и Г. Саймон разрабатывают "IPL-11" - первый язык ИИ |
1954* | Работы по автоматическому переводу ведутся во многих странах – США, Советском Союзе, Израиле, Англии и др. |
1955 | IBM производит первый транзисторный калькулятор |
1956* | А. Ньюэлл, Дж. Шоу и Г. Саймон создают программу "Логик-теоретик" ("The Logic Theorist"), которая сумела заново передоказать многие теоремы математической логики. |
1956* | Первая конференция по ИИ в Джорджтаунском колледже; встреча А. Ньюэлла, Г. Саймона, Дж. Маккарти и М. Минского |
1956 | FORTRAN изобретен в IBM (Дж. Бэкус) |
1956* | С. Улам разрабатывает "MANIAC I" - первую шахматную программу, которая победит человека |
1957* | А. Ньюэлл, Дж. Шоу и Г. Саймон создают General Problem Solver (GPS); программа основана на психологической теории решения задач человеком путем целесообразного выбора на множестве альтернатив. |
1957 | Хомский (N. Chomsky): "Синтаксические Структуры". |
1958* | Джон Маккарти изобретает Лисп в MIT. |
1958 | Создан язык ALGOL 58 . |
1958 | Jack St. Clair Kilby изобретает интегральную схему |
1958* | Эвристические правила для доказательства геометрических теорем (Х. Гелернтер и Н. Рочестер) |
1958* | М. Минский и Дж. Маккарти основывают MIT AI Lab |
1959* | Эвристические правила для доказательства теорем исчисления предикатов первого порядка (П. К. Гилмор) |
1959* | Ф. Розенблатт вводит понятие "персептрон" - формальную модель распознавания, опирающую на использование формальных нейронов |
1959* | Программа для игры в шашки (А. Сэмюэль - Samuel) выигрывает игры против лучших игроков-людей |
1959 | Robert Noyce независимо от Kilby изобретает интегральную схему. |
1960* | Первые программы автоматического переноса при редактировании текста |
1961* | Эвристические приемы формульного интегрирования (Дж. Р. Слэгл) |
1962* | Первые коммерческие промышленные роботы. |
1962 | Томас Кун: "Структуры научных революций". |
1962 | Карло Хинтикка: "Знания и убеждения". |
1962 | Сол Крипке "Семантика возможных миров". |
1963* | M. Ross Quillian (Семантические сети - как представление знания) |
1963* | М. Минский "Шаги по направлению к искусственному интеллекту" |
1964 | IBM вводит 360 серию |
1964 | Языки программирования PL/1, BASIC |
1965* | Метод резолюций в логическом программировании (Дж. А. Робинсон) |
1965 | Язык программирования APL |
1965* | Buchanan, Feigenbaum и Lederberg начинают проект экспертной системы "ДЕНДРАЛ" (самая известная впоследствии) |
1965* | Г. Саймон предсказывается "В 1985-м машины будут способны сделать любую работу, которую может делать человек" |
1965* | Х. Дрейфус (Hubert Dreyfus) спорит против возможности искусственного интеллекта |
1966* | Знаменитая программа Вейценбаума ( Weizenbaum) ELIZA, имитирующая беседу психоаналитика с пациентом |
1967* | MacHack побеждает Дрейфуса в шахматы |
1968* | Письмо Э. В. Дейкстры в CACM "GO TO statement considered harmful" – против использования оператора перехода. |
1968* | Chomsky и Halle: "The Sound Pattern of English" |
1969 | John McCarthy и Pat Hayes "Философские проблемы с точки зрения искусственного интеллекта" (Исчисление ситуаций). |
1969 | Alan Kay в своей докторской диссертации описывает теоретически персональный компьютер. |
1969 | Кнут Д. "Искусство программирования для ЭВМ" том. 1 |
1969 | UNIX (Thomson и Ritchie в AT&T) |
1970* | Prolog (Колмероэ - Colmerauer) |
1970 | Флоппи-дискеты |
1970* | Программа Терри Винограда (Winograd Terry) SHRDLU (Обработка Естественного Языка, Мир Блоков) |
1971 | Первый микропроцессор в США (Intel 8008) |
1971 | Первый карманный калькулятор (Poketronic) |
1971 | Паскаль (Н. Вирт) |
1972* | Х. Дрейфус: "Чего не могут вычислительные машины" |
1972* | Язык Смолток (Smalltalk) разработан в Xerox PARC (Kay) |
1972 | Cray Research |
1973* | Schank и Abelson вводят понятие скрипт (сценарий) - один из методов представления знаний. |
1974* | Первый управляемый робот |
1974* | М. Минский: "A Framework for Representing Knowledge" - фреймы для представления знаний. |
1975* | Cooper и Erlbaum основывают Nestor, чтобы разработать технологию нейронных сетей. |
1975 | Первый персональный компьютер Altair 8800 (256 байт памяти) |
1976* | Greenblatt создает первую Лисп-машину "CONS" |
1976* | Kurzweil создает читающую машину |
1976 | Cray-1 – супер-компьютер, 138 мегафлоп |
1977 | Wozniak и Jobs разрабатывают Apple Computer |
1977 | Основан Microsoft |
1978 | Экспертная система SRI's PROSPECTOR обнаруживает молибденовую жилу |
1978* | Основание Xerox LISP machines |
1979* | Raj Reddy основывает Институт Робототехники в Carnegie Mellon University |
1979* | MYCIN – медицинский эксперт (экспертная система описана в Журнале Американской Медицинской Ассоциации.) |
1980* | Экспертные системы вплоть до тысячи правил |
1980* | Hofstadter написал "Гедель, Эшер, Бах" |
1980 | Xerox, DEC и Intel вводят Ethernet |
1981 | А. Ньюэлл: "The Knowledge Level" |
1981 | IBM выпускает персональный компьютер (PC) |
1981* | Японский Проект Эвм Пятого Поколения |
1981* | PSL (Портативный Стандартный Лисп) работающий на целом ряде платформ |
1981* | ЛИСП-машины от Xerox, LMI, и Symbolics доступные коммерчески, делают динамическую OOP технологию широко доступной |
1981* | Определяется Common Lisp - фактический стандарт на язык Лисп |
1982* | Джон Хопфилд (Hopfield) "оживляет" нейронные сети |
1982* | Экпертная система SRI's PROSPECTOR обнаруживает основной депозит молибдена |
1982 | IBM PC |
1983* | Айзек Азимов пишет "Robots of Dawn" |
1983 | IBM вводит PCjr |
1983 | Sony заявляет о технологии CD |
1983 | С. Лем предсказывает появление компьютерных вирусов в романе "Мир на Земле" |
1984-86 | Корпорации инвестируют 50 миллион $ на разработку ИИ |
1984* | Gold Hill создает Golden Common LISP |
1984* | "Wabot-2" читает музыку с листа и играет на органе |
1984 | Apple создает Macintosh |
1984 | Изобретены оптические диски |
1985* | GM и Campbell's Soup не используют Лисп для экспертных систем |
1985* | Робот Kawasaki убивает японского механика в результате сбоя |
1985* | М. Минский публикует "The Society of Mind" |
1985* | Teknowledge отказывается от Лиспа и Пролога в пользу C |
1985 | C++ |
1986* | Промышленный доход ИИ теперь $1,000,000,000 |
1986* | Робот-игрок (Anderson) обыгрывает в пинг-понг человека |
1986* | Borland предлагает Turbo PROLOG за $99 |
1986* | Полиция Далласа использует робота чтобы прорваться в квартиру |
1986* | Первая OOPSLA конференция по объектно-ориентированному программированию, в котором CLOS впервые рекламируется за пределами Lisp/AI общества |
1986* | McClelland и Rumelhart: "Parallel Distributed Processing" (Нейронные Сети) |
1987* | 1,900 работающих экспертных систем |
1987* | Доход ИИ - 1.4 миллиарда $, исключая робототехнику |
1987* | Экспертная система "XCON" фирмы DEC, используемая для конфигурации компьютеров, делают работу 300 людей, применяя 10,000 правил |
1987 | Япония разрабатывает Систему Автоматизированной Идентификации Отпечатка Пальца |
1988* | 386 чип приводит PC к скорости конкурирующей с машинами LISP |
1988* | Доход экспертных систем - более 400 миллионов $ |
1988* | Hillis "Connection Machine" способна выполнять 65,536 параллельных вычислений |
1988* | М. Минский и Пайперт (Papert) опубликовали дополненное и исправленное издание "Perceptrons" |
1988* | Объектно-ориентированные языки |
1988 | Червь Морриса: сетевой вирус |
1988 | Система Mathematica 1.0 (С. Вольфрам) |
1990 | Новые PC, NeXT, Mac SUN, DEC |
1992* | Apple Computer вводит Dylan, язык из семейства Lisp, как предтечу для будущих языков |
1992 | Закончен Японский Проект Эвм Пятого Поколения |
1992 | Начало японского проекта Real World Computing |
1992 | Более чем 1000 типов компьютерных вирусов |