Факты всегда таковы, что могут опровергнуть самую упрямую логику.
Ч.Р.[1] Метьюрин. Мельмот Скиталец
В бурно развивающейся науке «искусственный интеллект» скрещиваются и переплетаются проблемы, которые давно волнуют специалистов самых разных научных направлений. Психологи и программисты, философы и инженеры, лингвисты и математики, биологи и кибернетики – все они в той или иной мере соприкасаются с проблемами искусственного интеллекта и участвуют в их решении. Данная книга посвящена одной из этих проблем – моделированию человеческих рассуждений. Интерес к моделированию рассуждений не случаен. Интеллектуальные системы создаются для того, чтобы овеществлять в технических устройствах знания и умения, которыми обладают люди, чтобы решать задачи, относимые к области творческой деятельности человека, не хуже людей. В интеллектуальные системы, особенно в те, которые получили название экспертных систем и предназначены для помощи специалистам в решении их задач, необходимо вложить знание о том, как мы рассуждаем, когда ищем решение. И если не говорить о математике и еще нескольких науках, опирающихся на точные и формальные модели, то наши схемы рассуждений – это тот самый аппарат, с помощью которого осуществляется значительная доля творческой деятельности.
Когда специалисты в области моделирования человеческих рассуждений начали свою работу, они столкнулись с тем, что человеческие рассуждения представляют собой нечто загадочное и детально никем не изучались. Казалось бы, в логике – науке о рассуждениях – за многие века ее существования должны были накопиться горы фактов о том, как люди делают выводы на основании знаний. Но, как выяснилось, логиков традиционно интересует лишь чрезвычайно узкий класс рассуждений, которые можно было бы назвать строгими, а остальные многочисленные формы человеческих рассуждений они не включают в свою компетенцию. Психология мышления также весьма сдержанно относится к тому, как формируются у человека схемы рассуждений и как он ими пользуется в конкретных ситуациях. Лингвисты, которые много занимались логическими проблемами естественного языка, остались далеки от понимания того, как носитель этого языка строит на нем свои схемы принятия решений. До появления работ в области искусственного интеллекта человеческие рассуждения оставались терра инкогнито. Даже само понятие «рассуждение» не получило точного истолкования.
Эта книга похожа на мозаичное полотно, в котором сделаны еще не все детали. Уже виден общий контур, удается схватить нечто, объединяющее между собой отдельные фрагменты, но до окончания работы достаточно далеко. И одна из главных задач книги – попробовать поставить вопросы, сформулировать проблемы, уточнить задачи, которые нужно решить для заполнения лакун в этой мозаике. Поэтому книга состоит как бы из отдельных сцен, выхваченных из некоторого целого. Эти сцены связаны между собой тем, что в каждой из них мы сталкиваемся с пока еще до конца неясным феноменом, который носит название «человеческие рассуждения».
Многие термины, которые будут встречаться в книге, например «посылки», «заключения», «вывод», «логика», «рассуждение» и т.п., не получат строгого определения. Почему – станет ясно из чтения книги. Ее пафос – такое понимание рассуждений, которое намного шире чисто логического истолкования этого термина, приводимого в известном учебнике В.Ф. Асмуса: «Рассуждением называется ряд суждений, которые все относятся к определенному предмету или вопросу и которые идут одно за другим таким образом, что из предшествующих суждений следуют другие, а в результате получается ответ на поставленный вопрос» (Асмус В.Ф. Логика. – М.: Госполитиздат, 1947, с. 147).
В тексте книги нет ссылок на литературу. Все сведения об использованной и цитируемой литературе даны в комментарии, завершающем книгу. Там же приводится ряд замечаний к отдельным разделам книги, а также указана дополнительная литература, относящаяся к кругу затронутых вопросов.
Проблемы моделирования рассуждений представляют интерес для специалистов по интеллектуальным системам и искусственному интеллекту. Об этой области исследований, термины которой встречаются на страницах книги, можно прочитать в ранее изданной книге автора «Фантазия или наука? На пути к искусственному интеллекту» (М.: Наука, 1982. – 280 с.).
Глава первая. У ИСТОКОВ ФОРМАЛЬНЫХ РАССУЖДЕНИЙ
Даже если ваше объяснение настолько ясно, что исключает всякое ложное толкование, все равно найдется человек, который поймет вас неправильно.
Следствие из Третьего закона Чизхолма
Метафора правостороннего и левостороннего мышления возникла в начале семидесятых годов. В 1972 году американский врач Орнстайн провел эксперименты с людьми, у которых были перерезаны межполушарные спайки. Это привело к тому, что оба полушария стали действовать практически независимо. Такая операция была вынужденной, она избавляла больных от тяжелого недуга.
До этого предполагалось, что полушария человеческого мозга действуют, как бы резервируя друг друга. Имела хождение гипотеза о том, что надежность работы мозга определяется двойным резервированием выполнения его основных функций. Но поведение людей с рассеченной связью между полушариями заставило отказаться от этой соблазнительной гипотезы. Оказалось, что механизмы мышления, сконцентрированные в различных полушариях, кардинально отличаются друг от друга. У подавляющего большинства людей, которые являются правшами, левое полушарие, управляющее правой стороной тела, характеризуется тем, что в нем локализован центр речи. У врожденных левшей этот центр локализован в правом полушарии. Но мы в дальнейшем будем говорить для определенности о правшах.