Становление и развитие

В 1956 г. в Дартмутском колледже (один из старейших университетов США) был проведен двухмесячный семинар, в котором приняло участие 10 ведущих исследователей нового направления:

• • Джон Маккарти (John McCarthy), Дартмутский колледж;
• • Марвин Минский (Marvin Minsky), Гарвардский университет;
• • Клод Шеннон (Claude Shannon), лаборатории Белла;
• • Натаниэль Рочестер (Nathaniel Rochester), IBM;
• • Артур Самюэль (Arthur Samuel), IBM;
• • Аллен Ньюэлл (Allen Newell), университет Карнеги-Меллон;
• • Герберт Саймон (Herbert Simon), университет Карнеги-Меллон;
• • Тренчард Мур (Trenchard Moore), Принстонский университет;
• • Рей Соломонов (Ray Solomonoff), Массачусетский технологический институт;
• • Оливер Селфридж (Oliver Selfridge), Массачусетский технологический институт.

Этот семинар принято считать началом искусственного интеллекта как самостоятельного направления, именно на нем был предложен и утвержден сам термин «искусственный интеллект» (artificial intelligence). Никаких особенных научных результатов Дартмутский семинар не дал. На нем произошли другие важнейшие события: искусственный интеллект был признан самостоятельной отраслью науки, были продемонстрированы первые впечатляющие результаты (подобные программе «Логик-теоретик») и было образовано научное сообщество в результате личного знакомства лидеров.

После этого исследования в области ИИ стали вестись широким фронтом, и не только в США. Появились первые публикации, в которых делались попытки обобщения накопленного материала. Среди специалистов, выступивших с такими работами, были Дж. Маккарти, М. Минский, Э. Фейгенбаум (Е. Feigenbaum, США), Д. Мичи (D. Michie, Великобритания), А. А. Ляпунов и В. М. Глушков (СССР). Разумеется, результаты не заставили себя ждать — было предложено множество идей, большинство из которых используются и в наши дни.

В конце 1950;х гг. была предложена модель поиска на графе. В рамках данного подхода процесс решения задачи представляется в виде поиска пути в графе, вершинами которого являются состояния задачи, а дугами — все возможные допустимые преобразования. Решением задачи является путь от исходного состояния к целевому. В начале 1960;х гг. получило широкое распространение эвристическое программирование (см. гл. 3). Эвристикой называется правило, обычно полученное эмпирическим путем, позволяющее сократить объем перебора в пространстве решений. Эвристическое программирование — разработка стратегий поиска решения на основе заранее известных эвристик. В конце 1960;х гг. были разработаны общие методы автоматического доказательства теорем в исчислениях первого порядка (в частности, метод резолюций Дж. Робинсона (J. Robinson) и обратный метод С. Ю. Маслова, см. гл. 4). На их основе в начале 1970;х гг. были предложены многочисленные инструментальные средства программирования решения интеллектуальных задач. Так, в 1973 г. был создан язык Пролог (см. дополнение в гл. 4), который является популярным средством логического программирования до сих пор. Кроме того, М. Минский предложил концепцию фреймов, давшую начало еще одной популярной форме представления знаний.