«Поспелов Д.А. Моделирование рассуждений. Опыт анализа мыслительных актов»: Радио и связь; М.; 1989
ISBN 5-526 00183-3
Аннотация
Описываются дедуктивные, индуктивные и правдоподобные модели, учитывающие особенности человеческих рассуждений. Рассматриваются методы рассуждений, опирающиеся на знания и на особенности человеческого языка. Показано, как подобные рассуждения могут применяться для принятия решений в интеллектуальных системах.
Для широкого круга читателей.
Поспелов Дмитрий Александрович
Моделирование рассуждений
Опыт анализа мыслительных актов
ПРЕДИСЛОВИЕ
Факты всегда таковы, что могут опровергнуть самую упрямую логику.
Ч.Р. Метьюрин. Мельмот Скиталец
В бурно развивающейся науке «искусственный интеллект» скрещиваются и переплетаются проблемы, которые давно волнуют специалистов самых разных научных направлений. Психологи и программисты, философы и инженеры, лингвисты и математики, биологи и кибернетики – все они в той или иной мере соприкасаются с проблемами искусственного интеллекта и участвуют в их решении. Данная книга посвящена одной из этих проблем – моделированию человеческих рассуждений. Интерес к моделированию рассуждений не случаен. Интеллектуальные системы создаются для того, чтобы овеществлять в технических устройствах знания и умения, которыми обладают люди, чтобы решать задачи, относимые к области творческой деятельности человека, не хуже людей. В интеллектуальные системы, особенно в те, которые получили название экспертных систем и предназначены для помощи специалистам в решении их задач, необходимо вложить знание о том, как мы рассуждаем, когда ищем решение. И если не говорить о математике и еще нескольких науках, опирающихся на точные и формальные модели, то наши схемы рассуждений – это тот самый аппарат, с помощью которого осуществляется значительная доля творческой деятельности.
Когда специалисты в области моделирования человеческих рассуждений начали свою работу, они столкнулись с тем, что человеческие рассуждения представляют собой нечто загадочное и детально никем не изучались. Казалось бы, в логике – науке о рассуждениях – за многие века ее существования должны были накопиться горы фактов о том, как люди делают выводы на основании знаний. Но, как выяснилось, логиков традиционно интересует лишь чрезвычайно узкий класс рассуждений, которые можно было бы назвать строгими, а остальные многочисленные формы человеческих рассуждений они не включают в свою компетенцию. Психология мышления также весьма сдержанно относится к тому, как формируются у человека схемы рассуждений и как он ими пользуется в конкретных ситуациях. Лингвисты, которые много занимались логическими проблемами естественного языка, остались далеки от понимания того, как носитель этого языка строит на нем свои схемы принятия решений. До появления работ в области искусственного интеллекта человеческие рассуждения оставались терра инкогнито. Даже само понятие «рассуждение» не получило точного истолкования.
Эта книга похожа на мозаичное полотно, в котором сделаны еще не все детали. Уже виден общий контур, удается схватить нечто, объединяющее между собой отдельные фрагменты, но до окончания работы достаточно далеко. И одна из главных задач книги – попробовать поставить вопросы, сформулировать проблемы, уточнить задачи, которые нужно решить для заполнения лакун в этой мозаике. Поэтому книга состоит как бы из отдельных сцен, выхваченных из некоторого целого. Эти сцены связаны между собой тем, что в каждой из них мы сталкиваемся с пока еще до конца неясным феноменом, который носит название «человеческие рассуждения».
Многие термины, которые будут встречаться в книге, например «посылки», «заключения», «вывод», «логика», «рассуждение» и т.п., не получат строгого определения. Почему – станет ясно из чтения книги. Ее пафос – такое понимание рассуждений, которое намного шире чисто логического истолкования этого термина, приводимого в известном учебнике В.Ф. Асмуса: «Рассуждением называется ряд суждений, которые все относятся к определенному предмету или вопросу и которые идут одно за другим таким образом, что из предшествующих суждений следуют другие, а в результате получается ответ на поставленный вопрос» (Асмус В.Ф. Логика. – М.: Госполитиздат, 1947, с. 147).
В тексте книги нет ссылок на литературу. Все сведения об использованной и цитируемой литературе даны в комментарии, завершающем книгу. Там же приводится ряд замечаний к отдельным разделам книги, а также указана дополнительная литература, относящаяся к кругу затронутых вопросов.
Проблемы моделирования рассуждений представляют интерес для специалистов по интеллектуальным системам и искусственному интеллекту. Об этой области исследований, термины которой встречаются на страницах книги, можно прочитать в ранее изданной книге автора «Фантазия или наука? На пути к искусственному интеллекту» (М.: Наука, 1982. – 280 с.).
Глава первая. У ИСТОКОВ ФОРМАЛЬНЫХ РАССУЖДЕНИЙ
Даже если ваше объяснение настолько ясно, что исключает всякое ложное толкование, все равно найдется человек, который поймет вас неправильно.
Следствие из Третьего закона Чизхолма
Правое и левое
Метафора правостороннего и левостороннего мышления возникла в начале семидесятых годов. В 1972 году американский врач Орнстайн провел эксперименты с людьми, у которых были перерезаны межполушарные спайки. Это привело к тому, что оба полушария стали действовать практически независимо. Такая операция была вынужденной, она избавляла больных от тяжелого недуга.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64