Об ИИ без мифов. Путеводитель по истории Искусственного Интеллекта

О прозрении Ньюэлла, приведшем к работе со знаниями, есть байка, напоминающая легенду о Ньютоне и яблоке. Якобы мысль о возможности представить знания в виде символов пришла ему в голову в момент когда он наблюдал за работой алфавитно-цифрового печатающего устройства (АЦПУ). В АЦПУ, одном из немногих существовавших тогда периферийных устройств, главной деталью был вращающийся барабан, состоящий из одинаковых дисков. На каждом из размещались печатаемые знаки, а между барабаном и бумагой располагалась красящая лента, а под бумагой располагалась линейка, состоящая из молоточков. В тот момент, когда нужная литера на дорожке оказывалась в нужной позиции, по ленте ударял молоточек, она соприкасалась с бумагой, как в пишущей машинке, так за один оборот барабана печаталась целая строка. В 50-е годы еще не было каких-либо графических устройств, поэтому АЦПУ использовали не только для печати текстов, но и для вывода графики в виде мозаики из букв, цифр и других печатных знаков. В порядке развлечения на длинных полосах АЦПУшной бумаги печатали портреты разных персонажей, а на одну страницу прекрасно укладывалась пулька для популярного в те годы преферанса. Сугубо техническое решение, заложенное в печать на АЦПУ, в силу странной аллюзии вызвало у Ньюэлла мысль о возможности по образу и подобию таких вот тривиальных мозаичных картинок создать символьное представление знаний. И что только он мог увидеть в простой как апельсин мозаике из печатных знаков? Но Ньюэлл допустил банальную ошибку – отождествил простой код литеры с тем символом, которым оперирует мозг. Как можно было соотнести простое механическое устройство с мозгом?

В основу Logic Theorist легла иная формализованная процедура, опробованная ими в эксперименте по механизации принятия решений, где элементами модели служили дети, снабженные специальными карточками, они механически поднимали их в нужные моменты. Для переноса этой процедуры в компьютер был разработан язык программирования IPL (Information Processing Language). Кроме Logic Theorist (1956), на нем были написаны еще две программы General Problem Solver (1957) и шахматная NSS (1958). С помощью Logic Theorist удалось доказать 38 из первых 52 теорем опубликованных в трехтомнике «Принципы математики») Альфреда Уайтхеда и Бертрана Рассела, о результатах двух других неизвестно.

Эти программы следует признать первыми попытками создания еще не названного так AI. Саймон и Ньюэлл выдвинули много позже гипотезу о возможности осуществления разумных действий (general intelligent action) средствами физической символьной системы (Physical Symbol System, PSS). Под системой класса PSS они понимали набор сущностей, названных ими символами, из которых можно составлять другие сущности, названные ими символьными структурами. Согласно гипотезе, PSS может обладать необходимыми и достаточными способностями для воспроизведения интеллектуальных действий вплоть до сильного AI. В формулировке гипотезы Ньюэлла – Саймона содержится следующее утверждение: «Физическая символьная система имеет необходимые и достаточные средства для произведения основных интеллектуальных операций». Гипотеза так и осталась гипотезой, с момента публикации она подвергалась резкой критике со стороны специалистов, среди них: Нильс Нильсон, профессор Стэнфордского университета, ближайший коллега Джона Маккарти, философы Хьюберт Дрейфус и Джон Серл и основоположник современной робототехники Родни Брукс.

Первые диалоговые программы

Первые диалоговые системы были созданы в шестидесятые, то есть после Дартмутского семинара, их создатели не были связаны с его организаторами и с тем представлением об AI, которое там сложилось, более того они и не претендовали на наличие AI программах. Из этих систем наибольшую известность приобрела программы ELIZA, способная имитировать диалог. Название программы адресует нас к Элизе Дулиттл, героине «Пигмалиона» Бернарда Шоу. Самим «Пигмалионом» стал Джозеф Вейценбаум (Joseph Weizenbaum, 1923–2008), профессор MTI, еще один эмигрант из Германии. Он задумывал прототип ELIZA как универсальный симулятор, в который могут быть «загружены» разные личности в соответствии сценарием их поведения, но все ограничилось одной ELIZA, воспроизводящей поведение психотерапевта. Вейценбаум подчеркивал, что ELIZA не «понимает» вопросов, которые ей задают, что это всего лишь некий движок, способный разбирать текст на входе и генерировать по определенным правилам ответный текст на выходе. В основе программы лежит простейший алгоритм, который ищет во введенном тексте совпадения с теми или иными наперед заданными последовательностями символов. Найдя такие совпадения, программа подбирает из них ответ, она, конечно же, не имеет никакого понятия о содержании – она тривиально заменяет одни последовательности символов другими.