Сообщество разума

Всем нам доводилось слышать шутки о том, насколько тупы современные компьютеры. Они присылают нам счета и чеки с нулевыми суммами. Они готовы исполнять бесконечные циклы, повторяя одну операцию миллиард раз подряд. Полное отсутствие у машин здравого смысла – вот еще одна причина, по которой люди считают, что машина не способна обрести разум.

Интересно отметить, что уже некоторые из наиболее ранних компьютерных программ превосходно показали себя во владении тем, что принято считать «экспертными» навыками. Программа 1956 года решала трудные задачи математической логики, а программа 1961 года решала университетские алгебраические задачи. Но до 1970-х годов не удавалось разрабатывать программы для роботов, которые позволяли бы справляться с детскими кубиками, строить из них башни и игрушечные домики. Почему мы в состоянии писать программы для выполнения «взрослых» действий, а вот с «детскими» действиями получается куда хуже? Ответ может показаться парадоксальным: в значительной степени «экспертное» взрослое мышление на самом деле проще, чем мышление детей, занятых игрой! Почему же поведение экспертов моделировать и программировать легче, нежели поведение детей?

Слабо понимаемое словосочетание «здравый смысл» на самом деле обозначает явление, куда более сложное, чем значительная часть «технического» опыта, которым мы восхищаемся. Ни «экспертная» программа по логике, ни аналогичная программа по алгебре не содержат больше сотни «фактов», причем эти факты во многом подобны друг другу. Но этого оказалось достаточно, чтобы решать университетские математические задачи. А теперь вообразите, сколько всего должен знать ребенок, чтобы построить дом из кубиков! Этот процесс включает в себя знание цветов и форм, представление о пространстве и времени, систему сдержек и противовесов, а также способность отслеживать собственные действия.

Чтобы считаться «экспертом», нужно обладать изрядными познаниями относительно сравнительно немногочисленных фактов. По контрасту, «здравый смысл» обычного человека подразумевает гораздо большее разнообразие познаний, которые требую более сложной системы управления.

Существует простая причина, почему приобретать специализированные знания легче, нежели пополнять запасы здравомыслия. Каждый тип знаний нуждается в определенной форме репрезентации и в совокупности навыков, адаптированных к использованию этой формы. После первоначальных усилий по накоплению знаний и навыков специалисту довольно просто пополнять свои знания – при условии, что дополнительный опыт достаточно единообразен и соответствует конкретной форме представления. Адвокат, доктор, архитектор или композитор, которые приобрели некоторый опыт в определенной сфере деятельности, без труда будут накапливать больше знаний подобного же характера. Но подумайте, насколько дольше один человек будет учиться эффективно лечить ряд заболеваний, вести судебные процессы нескольких разновидностей, чертить архитектурные чертежи и сочинять оркестровые сюиты! Большее разнообразие представлений затрудняет обретение «одинакового» объема знаний во всех перечисленных областях. Для каждой новой области нашему образцу придется изучать иную форму репрезентации и новые навыки ее использования. Это отчасти похоже на изучение множества иностранных языков, у каждого из которых своя грамматика, своя лексика и свои идиомы. С этой точки зрения действия детей выглядят еще восхитительнее, так как многие их поступки вызваны собственными изобретениями и открытиями.

7.3. Принцип головоломки

Многие люди считают, что машины способны выполнять только действия, на которые их запрограммировали, то есть напрочь лишены способности к творчеству и оригинальности. Проблема в том, что данный аргумент содержит в себе посылку, которую призван доказать: мол, нельзя запрограммировать машину на творчество! На самом же деле поразительно просто запрограммировать компьютер так, чтобы он начал выполнять операции, вообразить которые заранее не в состоянии ни один программист. Возможно, это следствие того, что мы будем называть «принципом головоломки».

Принцип головоломки:Возможно запрограммировать компьютер для решения любых задач методом проб и ошибок без готовых вариантов решений, при условии, что мы располагаем способом установить факт решения задачи.