Шрифт:
В противовес Марвину Минскому и Джону Маккарти Вейценбаум был убежден, что человеческий интеллект сопряжен с чувствами и интуицией, поэтому воспроизвести его на компьютере невозможно. В своем главном труде – «Возможности вычислительных машин и человеческий разум» он назвал «цифровым утопизмом» состояние умов, царившее в среде математиков слепо верящих в свои возможности и потенциал компьютеров, и подверг его жесточайшей критике.
Через несколько лет после Вейценбаума свою диалоговую программу Parry написал психиатр Кеннетом Колби (Kenneth Colby), работавший тогда в Стэнфордском Университете. Его программа PARRY стала зеркальным отражением ELIZA. Если ELIZA симулировала поведение врача психотерапевта, то в PARRY Колби пытался реализовать модель поведения больного, страдающего параноидальным расстройством личности. Модель оказалась настолько удачной, что PARRY стала первой прошедшей тест Тьюринга, более половины экспертов-психиатров приняли ее участие в диалоге за человеческое. Прохождение PARRY теста свидетельствует лишь о способности Кеннета Колби найти способ для имитации поведения параноика. Есть сведения, что PARRY и ELIZA в 1972 году «были на свидании», организованном через посредство ARPAnet, сети, предшествовавшей интернет, можно предположить, что свидетели изрядно повеселились.
Глава 4 Символьный подход к AI, от восхода до заката
Символьный подход в Эпоху Возрождения
Признаки, отдаленно напоминающие символьный подход, можно найти в трудах Раймонда Луллия (Raymundus Lullius, 1235–1315), в них он описал машину, способную приходить к логическим выводам. Этот каталонский монах, поэт, философ и теолог был одним из наиболее оригинальных умов средневековья, чем заслужил у современников почетный титул doctor illuminatus, то есть «озаренный наставник», а после смерти на столетия о нем сохранились противоречивые суждения. Иронический взгляд на Луллия обнаруживается в третьей части «Путешествий Гулливера», написанных Джонатаном Свифтом в 1726 году, 300 лет спустя. В «Путешествии в Лапуту, Бальнибарби, Лаггнегг, Глаббдобдриб и Японию» Гулливер повествует о своем вымышленном визите на летучий остров Лапуту, населенный учеными. Там, бродя по коридорам Великой Академии, он обнаружил странную машину, прозорливо названную Свифтом «компьютером» или «прибором для открытия отвлеченных истин». Прибор представлял собой навешенный на ось каркас с табличками по слову на каждой, при вращении каркаса таблички перемешивались, а когда прибор останавливался, он выдавал некоторую случайную последовательность слов. Собравшиеся вокруг него ученые мужи всесторонне разбирали полученный набор слов, пытаясь найти в нем скрытый смысл и обнаружить новое знание. (Не правда ли, напоминает извлечение информации из Больших данных.)
Однако настоящая машина Луллия была устроена иначе, она состояла из наложенных друг на друга концентрических дисков, такие устройства существовали издревле, их называли волвеллами (volvelle). Особую популярность изготовленные из пергамента или бронзы волвеллы-астролябии приобрели в Древней Греции. Арабы усовершенствовали астролябию и применяли ее для математических вычислений и астрологических предсказаний. В Западной Европе волвеллы появились в XII веке, они служили для астрономических, астрологических и алхимических расчетов. Встречаются волвеллы и сегодня, но лишь как сувенирные бумажные дисковые калькуляторы-игрушки.
Луллий оставил после себя несколько книг, из них основная – Ars Magna («Великое искусство»), в ней излагаются методы, посредством которых человек может не только легко понять и усвоить известные истины, но даже открыть новые. Помнят о Луллии и сегодня, в Европе до наших дней сохранилось несколько центров изучения Ars Magna.
Несмотря на чудачества, в деятельности Луллия было и кое-что рациональное, он за шестьсот лет (!) до ирландского математика Джорджа Буля (George Boole, 1815–1864), создателя алгебры логики, сформулировал нечто близкое, назвав это к «алфавитом для мыслей», а также начальные положения логического анализа, эвристических и дедуктивных методов. Для иллюстраций своих мыслей Луллий использовал диаграммы, похожие на графы, табличные формы представления информации, а также диаграммы Венна.
Интерес к идее символа как носителя мысли возродился в XVI веке, ранее под символом понимался просто знак чего-то, но английский поэт Эдмунд Спенсер (Edmund Spenser, 1552–1599) в 1590 году уточнил «это что-то одно, заменяющее собой что-то другое». Физик, механик, астроном, философ и математик Галилео Галилей пошел дальше – в символе он увидел связующее между человеческим сознанием и окружающим человека материальным миром. В 1623 году Галилей написал: «Я думаю, что любые ощущения вкуса, запаха или цвета и всего остального есть не что иное, как некие символы, существующие в нашем сознании». Продолжателем взглядов Галилея стал французский философ, математик, механик, физик и физиолог Рене Декарт, он дополнил их двумя собственными суждениями о символьном мышлении: первое – все сущее разделено на телесную и духовную субстанции, и второе – сознание не зависит от тела. Английский философ Томас Гоббс в целом соглашался с ним, но, будучи материалистом, отрицал картезианскую независимость духовной субстанции от телесного органа, утверждал, что к мышлению способна только материя. А раз так, то можно утверждать, что подчиненная законам природы работа мозга неродственно связана с отражением реальных материальных процессов в виде символов. В немалой степени становлению символьного подхода способствовали Исаак Ньютон и Готфрид Лейбниц, верившие в возможность объяснить существующее в мире исключительно на основе механических начал. Из всех перечисленных великих ученых идеи Гоббса ближе всего символьному AI, его труды способствовали тому, что умах большинства европейских ученых мышление представлялось как процесс манипуляции символами.
Логические машины XIX века
В XIX веке в Англии среди множества изобретателей Эпохи пара были и те, кто создавал логические машины, оперировавшие символами, среди них первенствовали Чарльз Стэнхоуп (Charles Stanhope, 1753–1786) и Альфред Сми (Alfred Smee, 1818–1877). Знатное происхождение и активное участие в политической деятельности не помешали лорду Стэнхоупу стать успешным изобретателем, автором трех счетных машин, близких по устройству машинам Паскаля и Лейбница, и ряда других новаций. Но главное его детище – Демонстратор Стэнхоупа (Stanhope Demonstrator), в его основе двумерная матричная конструкция, позволявшая механизировать решение простых логических и вероятностных задач.
Хирург Альфред Сми увлекался электробиологией (так называли влияние электричества на жизнедеятельность организма), параллельно он выдвинул утопический проект создания искусственного мозга, состоящего из двух машин – реляционной и дифференциальной. Утверждают, что при доступных изобретателю технологиях эта машина, будь она построена, заняла бы площадь, сопоставимую с территорией Лондона тех времен. В 1851 году Сми опубликовал книгу «Процесс мышления», которая стала популярной в Англии и способствовала распространению взглядов, предполагающих возможность механизации мышления.
Успешным продолжателем дела Стэнхоупа и Сми стал экономист и математик Стэнли Джевонс (William Stanley Jevons, 1835–1882). Ему повезло в жизни: учивший его преподаватель математики дружил с Чарльзом Бэббиджем, жизнь свела его непосредственно со Стэнхоупом, а прочитав книгу Сми, он вступил в переписку с Джоном Булем. Вооруженный полученными знаниями Джевонс в 1874 году выпустил собственную книгу «Принципы науки» и создал действующую логическую машину, названную современниками логическим пианино за ее внешнее сходство музыкальным инструментом. Машина Джевонса представляла собой сооружение высотой около метра, снабженное клавиатурой для ввода аргументов, а с помощью специальных пластинок на лицевой части задавалась таблица истинности. Этого было достаточно, чтобы механизировать вывод несложных логических умозаключений.