Введение

Тайны и загадки мира

Мышление - это одна из многих интереснейших загадок мира. В начале XX века среди физиков было распространено мнение, что все физические законы уже известны и в научных исследованиях речь может идти лишь о количественных уточнениях. После этого появились теория относительности, квантовая механика, атомная энергетика и многое другое. Сейчас опять иногда начинают говорить о том, что мы почти все уже знаем и близки к построению "окончательной теории", объясняющей все в нашем мире. Это заблуждение. Мы практически ничего не знаем о важнейших вещах, касающихся устройства мира. Мы не знаем, что такое электричество, внутриатомные взаимодействия, гравитация, магнетизм и распространяющееся в пустом пространстве поле. Мы ничего не знаем об общем устройстве мира и действующих в нем процессах управления и организации, заменяя иногда это знание упрощенными, не требующими доказательства или проверки религиозными представлениями. Мы не понимаем, что такое бесконечность и вечность, и, соответственно, не знаем, ч то такое пространство и время. Вполне возможно, что мы ничего не знаем об очень многих вещах, не взаимодействующих с известными нам физическими объектами и потому никак не проявляющих себя в нашем мире.

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

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

Может ли машина мыслить?

Мы будем говорить о том, что такое мышление и можно ли его реализовать вне мозга, т. е. техническими или программными средствами. В связи с этим нас в первую очередь будут интересовать различия между живым и неживым и вопрос, являются ли эти различия принципиальными. К ответу нас может подтолкнуть рассмотрение некоторых моделей поведения, восприятия и процесса мышления, а также модели некоторых нейронных механизмов мозга. К сожалению, в большинстве случаев мы вынуждены будем ограничиваться качественным (неформальным) уровнем рассмотрения проблем. Это может затруднять понимание, делая его неоднозначным. С другой стороны, неоднозначность может быть полезна, оставляя простор для воображения и фантазии. Многое из того, о чем мы будем говорить, является не устоявшимися признанными фактами, а гипотезами. Будет хорошо, если эти гипотезы подвергнутся вашей критике или вызовут у вас вопросы.

Определенные сведения по рассматриваемым проблемам вы уже получили после того, как прослушали лекции по интеллектуальным системам, распознаванию образов и нейронным сетям. О моделировании интеллекта написаны тысячи книг, с некоторыми из них вы уже знакомились и, может быть, изучали. В частности, возможно, вы знакомились с вышедшей на русском языке книгой Тьюринга "Может ли машина мыслить?".

В середине прошлого века на фоне бурного начального этапа развития вычислительной техники и программирования в средствах массовой информации, в популярных научных и околонаучных изданиях горячо обсуждался вопрос: может ли машина мыслить? Спорящие разделились на два лагеря - физиков и лириков. Физики - это те, кто на вопрос, может ли машина мыслить, отвечали "да", лирики - те, кто отвечали "нет". За ответом "да" следовали обвинения в грубом механицизме, за ответом "нет" - в идеализме. Спорящие были уверены в своей правоте, хотя серьезной доказательной аргументации ни в первом, ни во втором случае не было. Так, аргументы лириков в основном опирались на утверждение о несводимости психологического уровня рассмотрения к физиологическому, а физиологического - к техническому, поскольку мышление и жизнь - это особые формы движения материи. (Помните Чехова: "Не может быть потому, что не может быть никогда".) Аргументы физиков сводились в основном к проповеди материализма и отрицанию идеализма. Все это особого смысла не имело, поскольку не был определен предмет спора. Правильным был бы ответ "не знаю" или напрашивающийся встречный вопрос: а что такое мышление? Последнее равносильно ответу "не знаю". Вообще-то неплохо было бы ответить и на вопрос: что такое машина, или: что такое не машина, т. е. жизнь? Ответ также не очевиден.

Сократ. Круги знания

Плохо ли отвечать "не знаю"? Нет, не плохо. Плохо - это абсолютная уверенность. Существует рассказ о Сократе и его ученике. Говорят, что ученик как-то сказал Сократу: учитель, почему вы так часто говорите "не знаю"? Я, ваш ученик, говорю "не знаю" гораздо реже. В ответ Сократ нарисовал два круга - большой и маленький и сказал: "Внутри большого круга то, что знаю я, внутри маленького - то, что знаешь ты. На границе большого круга - то, чего не знаю я, на границе малого круга - то, что не знаешь ты. Как видишь, я не знаю гораздо больше, чем ты".

К кругам Сократа можно добавить следующую интерпретацию. Внутри круга знания обладающего мозгом субъекта находится в основном целостная субъективная модель его мира. Модель строится в процессе прямого эксперимента, т. е. она отражает опыт взаимодействия с окружающей средой. Кроме того, если субъект - это человек, то значительная часть субъективной модели мира строится на основе уже имеющейся у него модели с добавлением информации, приобретаемой из книг, а также с помощью других людей, в том числе учителей или проповедников. Информация, лежащая в круге знания, всегда неполна, неточна и субъективна. Поэтому этот круг можно назвать кругом субъективного относительного знания.

На границе круга знания лежит область относительного или актуального незнания. Это то, о чем можно сформулировать какие-то вопросы с использованием имеющегося знания. За пределами области актуального незнания лежит область абсолютного незнания, содержащая неизвестно что.

Пример. Электричество во времена Пушкина у всех людей лежало в области абсолютного незнания. Сейчас у студента физтеха электричество частично лежит в области знания и частично в области актуального незнания. Правда, возможно, что для получения полной разгадки тайны электричества нужно заглянуть в область абсолютного незнания. Можно допустить, что в области абсолютного незнания может существовать что-то вполне материальное, но не просто пока еще неизвестное, а принципиально человеком непознаваемое. Такое допущение может отчасти примирить материалистов и идеалистов.

Пример. Может ли кролик получить хоть какое-то представление о поэмах Гомера? Нет, не может. Модель мира кролика (круг знания) не имеет и не может иметь никаких пространственных и смысловых пересечений с поэмами Гомера, лежащими для кролика в области абсолютного незнания и в подобласти "непознаваемое".

Подходы к определению мышления

На интуитивном бытовом уровне слова "мышление" и "жизнь" всем понятны, однако четких и полных определений не существует. Есть надежда, что для человека проблемы "жизнь" и "мышление" лежат в области актуального (относительного) незнания. Поэтому сегодня точное исчерпывающее определение этих понятий и в первую очередь мышления невозможно, но станет возможным в будущем. Тем не менее, занимаясь исследованием и моделированием мышления или только оценкой перспективности этих исследований, нужно хотя бы в каком-то приближении дать определение мышления. Иначе не будет понятно, о чем идет речь.

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

Тест Тьюринга

Итак, ответ на вопрос, что такое мышление, неизвестен. Общего точного определения не существует, поэтому можно давать разные ответы. Можно и не давать никаких ответов, а просто использовать тест Тьюринга для определения, мыслит или нет конкретная программа или машина. В соответствии с этим тестом важен только результат процесса мышления и не важно, как он достигается. Тест состоит в следующем. Есть образец - мышление человека, с которым сравнивается мышление машины. Конкретная программа (машина) мыслит, если человек, ведя с ней диалог, не может определить, с кем он общается - с машиной или с человеком.

Может ли компьютерная программа, созданная в рамках алгоритмического подхода, развиваемого в направлении "Искусственный интеллект", пройти тест Тьюринга? Такую программу написать можно. Трудности будут состоять в том, что человек, пытаясь "разоблачить" машину, будет ориентироваться не только на содержание ответов и вопросов, но и на сложность фраз, экспрессию, эмоциональную окраску текста, чувство юмора и т. п. Но эти трудности преодолимы. Иногда говорят, что с момента, когда машины начнут проходить тест Тьюринга, начнется соперничество и борьба за выживание между машиной и человеком (называется близкий срок: 2015-2030 годы). Будут ли машины (программы), прошедшие тест Тьюринга, соперничать с человеком и стремиться к его подчинению? Нет, не будут, если они останутся чисто алгоритмическими пассивными системами, не имеющими потребностей, целей, желаний и эмоций. Например, не станут системами, которые не только умеют выигрывать в шахматы у человека, но и хотят это делать. В этом аспекте нужно говорить не о перспективах создания искусственного разума, а о перспективах создания искусственной жизни.

Тест Тьюринга не является определением мышления. Делающаяся оценка, основывающаяся на внешнем сравнении результатов "мышления" машины и человека, может быть лишь очень приблизительной, поскольку никак не очерчивается круг тестовых задач (вопросов). Кроме того, возможно, что мышление - это не столько умение решать задачи, сколько способ решения. Нужно также подчеркнуть, что тест Тьюринга направлен на то, чтобы установить, обладает ли конкретная машина "человеческим" мышлением, то есть точно таким мышлением, каким обладает человек. При этом остается вопрос, является ли мышление человека единственным вариантом. И наконец, тест Тьюринга ровным счетом ничего не дает для ориентации исследований в области моделирования мышления.

Предварительное определение мышления

Не являются удовлетворительными и упоминавшиеся ранее индуктивные определения, хотя в отличие от теста Тьюринга такие определения, безусловно, полезны для общего понимания проблемы и могут использоваться при планировании необходимых направлений исследований.

Может быть, к ответу на вопрос, что такое мышление, полезно идти от анализа задач, для решения которых возник и эволюционно развивался мозг. Живым организмам, в том числе и человеку, для организации эффективного целенаправленного поведения и в конечном счете для выживания необходимо приобретение и использование знаний о своей среде обитания. Приобретаемые знания формируют в мозге активную модель окружающего мира. Эта модель используется для восприятия среды, управления поведением в среде и для наращивания самой модели. Строя в мозге модель мира, обладающий мозгом субъект отражает в модели выявляемые причинно-следственные связи между объектами и явлениями мира, включая и самого себя как объект мира, строит иерархии обобщений по линии частное-общее и укрупнений по линии часть-целое. Подчеркнем, что в основе построения модели мира лежит эксперимент, определяющий связи между причинами и следствиями. Средство для построения модели мира - это мыслящий мозг, конструирующий эксперимент по выявлению причинно-следственных связей в мире и отражающий в себе результаты эксперимента. Интересно понять, как работает это средство и что с его помощью можно узнать о мире.

Таким образом, будем считать, что мышление - это функция мыслящего мозга, строящего на основе эксперимента активную модель окружающего мира и использующего эту модель для активного восприятия мира и активного управления поведением. Это очень общее предварительное определение. В дальнейшем мы постараемся его конкретизировать и приблизиться к ответу на вопрос "Что такое мышление?". Я думаю, что ответ на этот вопрос для человека лежит частично в области знания и частично в области актуального (относительного) незнания. Правда, есть и вероятность того, что полный ответ находится в области абсолютного незнания или даже в области непознаваемости.

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