Давайте рассмотрим багаж у стойки регистрации в аэропорту. Наблюдатель может заметить его объем, форму, цвет, материал и даже фирму-изготовителя; летчика больше волнует вес; а пассажира — назначение и принадлежность. То, какие предметы багажа больше похожи друг на друга, чем другие, зависит не только от того, какие свойства у них общие, но и от того, кто сравнивает и когда. Или предположим, что у нас есть три стакана, два из которых наполнены бесцветной жидкостью, а третий — ярко красной жидкостью. Я более склонен сказать, что первые два больше похожи друг на друга, чем каждый из них похож на третий. Но оказывается, что в первом стакане — вода, в третьем — вода, подкрашенная каплей растительного красителя, в то время как во втором — химическая кислота — а я хочу пить.
Напрашивается вывод, что чувство «сходства» должно быть врожденным. Это не противоречие, а простая логика. В бихевиористской психологии если голубя поощряют за нажатие клювом кнопки при наличии красного круга, то он чаще начинает клевать красный овал или розовый круг, чем синий квадрат. Эта «генерализация стимулов» происходит автоматически без дополнительной тренировки и предполагает наличие внутреннего «пространства сходства»; иначе животное будет обобщать все или ничего. Эти субъективные размещения раздражителей необходимы при обучении, поэтому они не могут быть сами по себе выучены. Поэтому даже сами сторонники бихевиористской теории «по горло сыты» врожденными механизмами определения сходства, как заметил логик У. В. О. Квайн (а его коллега Б. Ф. Скиннер не возражал).
Каким же будет это внутреннее пространство сходства для усвоения языка; такое пространство, которое позволяло бы детям делать обобщения на основании родительской речи и приходить к «похожим» предложениям, определяющим все остальное в английском языке? Очевидно, что «Красный больше похож на розовый, чем на синий» или «Круг больше похож на овал, чем на треугольник» здесь не помогут. Должен существовать некий вид ментальных вычислений, делавших бы предложение Джон любит рыбачить похожим на Мэри ест яблоки, но непохожим на Джон может рыбачить, в противном случае ребенок сказал бы Джон может яблоки. Он должен делать предложение Собака выглядит сонной похожим на Человек выглядит счастливым, но непохожим на Собака выглядит во сне, чтобы ребенок мог избежать скачка к ложному заключению. Таким образом, «сходство», направляющее детские обобщения, должно быть анализом речи на наличие в ней существительных, глаголов и синтаксических групп; этот анализ осуществляется Универсальной Грамматикой, встроенной в механизмы обучаемости. Без этой внутренней вычислительной работы, определяющей, какое предложение похоже на какие другие, ребенок никак не смог бы правильно делать обобщения: в каком-то смысле каждое предложение не похоже ни на что, кроме как на дословное повторение самого себя, в другом смысле оно «похоже» на случайную перестановку содержащихся в нем слов, а во всех остальных смыслах «похоже» на любые виды несоответствующих контексту цепочек слов. Поэтому слова о том, что гибкость усвоенного поведения требует внутренних ограничений на сознание не будут парадоксом. Глава, посвященная усвоению языка (см. с. 273–275) предлагает хороший выход: способность детей обобщать, приводящая к бесконечному количеству потенциальных предложений, зависит от анализа детьми родительской речи с использованием фиксированного набора ментальных категорий.
Итак, усвоение грамматики на основе примеров требует особого пространства сходства (определяемого Универсальной Грамматикой). И того же самого требует усвоение значения слов из примеров, что мы наблюдали в описанной Квайном проблеме гавагай, когда у человека, усваивающего значение слова, не было никакого логического основания, чтобы догадаться, означает ли это слово «кролик», «скачущий кролик» или «неразъединенные части кролика». О чем это говорит применительно к обучаемости вообще? Вот как Квайн описывает то, что он называет «посрамлением индукции»:
Тем более становятся интересны другие проявления индукции, где искомое — это обобщение, сделанное не о вербальном поведении нашего соседа, а о жестоком и безличном мире. Вполне разумно, чтобы [ментальные] пространства наших качеств соответствовали качествам наших соседей, поскольку мы одного поля ягоды; и поэтому общая надежность индукции в… деле выучивания слов была предусмотрена заранее. Доверять индукции — это способ найти доступ к природным истинам, и, с другой стороны — яснее понять, что наши представления о распределении качеств соответствуют этим распределениям качеств в природе… [Но] почему то внутреннее пространство, которое мы субъективно отводим под разные качества, так хорошо согласуется с функциональной группировкой в природе, что наши индуктивные выводы имеют тенденцию быть правильными? Почему наше субъективное разбиение пространства на качества должно опираться на природу и иметь последствия для будущего?
Кое в чем нам поможет Дарвин. Если врожденное отведение пространства под качества — это свойство, связанное с генами, тогда то пространство, которое позволило прийти к самым удачным заключениям, имело тенденцию доминировать в процессе естественного отбора. Создания с укоренившейся привычкой делать неправильные заключения имеют грустную, но похвальную тенденцию умирать прежде, чем они произведут себе подобных.
Квайн прав, несмотря на то, что природа гетерогенна, а значит заключения о сходстве, позволяющие нашим обобщениям гармонировать с ним, тоже должны быть гетерогенными. Качества, делающие два высказывания равноценными в смысле усвоения грамматики (например, одинаковый порядок расположения существительных и глаголов) не должны делать их равноценными в смысле отпугивания животных, где важна громкость. Качества, делающие части растения равноценными в смысле вызывания болезни или ее излечивания (например, принадлежность к разным частям растения), это не те качества, которые сделают их равноценными в смысле питания (такие как сладость), равноценными в смысле сжигания в огне (такие как сухость), равноценными в смысле строительства жилища (такие как объем) или равноценными в смысле преподнесения подарка (такие как красота). Качества, которые должны классифицировать людей как потенциальных союзников (такие как проявление расположения) не обязательно должны классифицировать их как потенциальных половых партнеров (такие качества как признаки плодовитости и отсутствие кровного родства). Должно существовать много сходных пространств, определяемых различными инстинктами или модулями, и позволяющих этим модулям делать разумные обобщения в некой области знания, такой как материальный мир, биологический мир или социальный мир.
Поскольку врожденные пространства сходства свойственны логике обучения, не удивительно, что в созданные человеком обучающиеся системы в искусственном интеллекте заложено умение использовать ограничения в некой области знания. В компьютерную программу, которой предстоит изучить правила бейсбола, заложены исходные посылки состязательных видов спорта, чтобы программа не истолковала движения игроков как хореографический танец или религиозный ритуал. В компьютерную программу, которой предстоит выучить прошедшее время английских глаголов, заложено только их звучание; в программу, которой предстоит выучить словарную статью глагола, заложено только его значение. Это требование станет очевидным, если взглянуть на действия программистов (хотя они не всегда могут выразить это в словах). Работая с исходными посылками Стандартной социальной научной модели, ученые-компьютерщики часто заявляют, что их программы — это собрание элементарных единиц мощных общецелевых обучающихся систем. Но поскольку вряд ли найдется храбрец, попытающийся смоделировать все человеческое сознание целиком, исследователи могут выгодно использовать это, предположительно, практическое ограничение. Они вольны самостоятельно приспосабливать эту программу к задачам, которые ей предстоит решить, и могут выступать в роли deus ex machina[150], вводя именно те данные, которые необходимы, в нужное время. Я не критикую их — именно так и должны работать обучающиеся системы!
