Описываются дедуктивные, индуктивные и правдоподобные модели, учитывающие особенности человеческих рассуждений. Рассматриваются методы рассуждений, опирающиеся на знания и на особенности человеческого языка. Показано, как подобные рассуждения могут применяться для принятия решений в интеллектуальных системах.
Для широкого круга читателей.
ПРЕДИСЛОВИЕ
Факты всегда таковы, что могут опровергнуть самую упрямую логику.
В бурно развивающейся науке «искусственный интеллект» скрещиваются и переплетаются проблемы, которые давно волнуют специалистов самых разных научных направлений. Психологи и программисты, философы и инженеры, лингвисты и математики, биологи и кибернетики – все они в той или иной мере соприкасаются с проблемами искусственного интеллекта и участвуют в их решении. Данная книга посвящена одной из этих проблем – моделированию человеческих рассуждений. Интерес к моделированию рассуждений не случаен. Интеллектуальные системы создаются для того, чтобы овеществлять в технических устройствах знания и умения, которыми обладают люди, чтобы решать задачи, относимые к области творческой деятельности человека, не хуже людей. В интеллектуальные системы, особенно в те, которые получили название экспертных систем и предназначены для помощи специалистам в решении их задач, необходимо вложить знание о том, как мы рассуждаем, когда ищем решение. И если не говорить о математике и еще нескольких науках, опирающихся на точные и формальные модели, то наши схемы рассуждений – это тот самый аппарат, с помощью которого осуществляется значительная доля творческой деятельности.
Когда специалисты в области моделирования человеческих рассуждений начали свою работу, они столкнулись с тем, что человеческие рассуждения представляют собой нечто загадочное и детально никем не изучались. Казалось бы, в логике – науке о рассуждениях – за многие века ее существования должны были накопиться горы фактов о том, как люди делают выводы на основании знаний. Но, как выяснилось, логиков традиционно интересует лишь чрезвычайно узкий класс рассуждений, которые можно было бы назвать строгими, а остальные многочисленные формы человеческих рассуждений они не включают в свою компетенцию. Психология мышления также весьма сдержанно относится к тому, как формируются у человека схемы рассуждений и как он ими пользуется в конкретных ситуациях. Лингвисты, которые много занимались логическими проблемами естественного языка, остались далеки от понимания того, как носитель этого языка строит на нем свои схемы принятия решений. До появления работ в области искусственного интеллекта человеческие рассуждения оставались терра инкогнито. Даже само понятие «рассуждение» не получило точного истолкования.
Эта книга похожа на мозаичное полотно, в котором сделаны еще не все детали. Уже виден общий контур, удается схватить нечто, объединяющее между собой отдельные фрагменты, но до окончания работы достаточно далеко. И одна из главных задач книги – попробовать поставить вопросы, сформулировать проблемы, уточнить задачи, которые нужно решить для заполнения лакун в этой мозаике. Поэтому книга состоит как бы из отдельных сцен, выхваченных из некоторого целого. Эти сцены связаны между собой тем, что в каждой из них мы сталкиваемся с пока еще до конца неясным феноменом, который носит название «человеческие рассуждения».
Многие термины, которые будут встречаться в книге, например «посылки», «заключения», «вывод», «логика», «рассуждение» и т.п., не получат строгого определения. Почему – станет ясно из чтения книги. Ее пафос – такое понимание рассуждений, которое намного шире чисто логического истолкования этого термина, приводимого в известном учебнике В.Ф. Асмуса: «Рассуждением называется ряд суждений, которые все относятся к определенному предмету или вопросу и которые идут одно за другим таким образом, что из предшествующих суждений следуют другие, а в результате получается ответ на поставленный вопрос» (Асмус В.Ф. Логика. – М.: Госполитиздат, 1947, с. 147).
В тексте книги нет ссылок на литературу. Все сведения об использованной и цитируемой литературе даны в комментарии, завершающем книгу. Там же приводится ряд замечаний к отдельным разделам книги, а также указана дополнительная литература, относящаяся к кругу затронутых вопросов.
Проблемы моделирования рассуждений представляют интерес для специалистов по интеллектуальным системам и искусственному интеллекту. Об этой области исследований, термины которой встречаются на страницах книги, можно прочитать в ранее изданной книге автора «Фантазия или наука? На пути к искусственному интеллекту» (М.: Наука, 1982. – 280 с.).
Глава первая. У ИСТОКОВ ФОРМАЛЬНЫХ РАССУЖДЕНИЙ
Даже если ваше объяснение настолько ясно, что исключает всякое ложное толкование, все равно найдется человек, который поймет вас неправильно.
Правое и левое
Метафора правостороннего и левостороннего мышления возникла в начале семидесятых годов. В 1972 году американский врач Орнстайн провел эксперименты с людьми, у которых были перерезаны межполушарные спайки. Это привело к тому, что оба полушария стали действовать практически независимо. Такая операция была вынужденной, она избавляла больных от тяжелого недуга.
До этого предполагалось, что полушария человеческого мозга действуют, как бы резервируя друг друга. Имела хождение гипотеза о том, что надежность работы мозга определяется двойным резервированием выполнения его основных функций. Но поведение людей с рассеченной связью между полушариями заставило отказаться от этой соблазнительной гипотезы. Оказалось, что механизмы мышления, сконцентрированные в различных полушариях, кардинально отличаются друг от друга. У подавляющего большинства людей, которые являются правшами, левое полушарие, управляющее правой стороной тела, характеризуется тем, что в нем локализован центр речи. У врожденных левшей этот центр локализован в правом полушарии. Но мы в дальнейшем будем говорить для определенности о правшах.
Тонкие эксперименты и наблюдения позволили специалистам накопить немало сведений об особенностях механизмов работы левого и правого полушарий. И хотя многое здесь еще не выяснено до конца, многое неизвестно, но уже сейчас ясна основная разница между ними. Левое полушарие в своей работе опирается на то, что принято называть самосознанием. Весь окружающий мир как бы делится на два четко разграниченных пространства: «Я» и «не-Я». Между этими пространствами становится возможным активное взаимодействие. Поэтому левополушарное мышление можно было бы назвать активным. Процедуры, реализованные в нем, позволяют активно воздействовать на элементы пространства «не-Я» и, в частности, осуществлять предметную деятельность в этом пространстве. Для того чтобы это стало возможным, необходимо уметь расчленять содержимое пространства «не-Я» на отдельные составляющие. Функции анализа, декомпозиции целого на части – прерогатива левого полушария. Это расчленение происходит благодаря возможности оперирования с признаками конкретных объектов в пространстве «не-Я».
Пространство «Я» также подвергается декомпозиции. Мы воспринимаем себя не только как единое целое, но и как взаимосвязанную совокупность отдельных частей. Левое полушарие обеспечивает как бы вынесение точки наблюдения за пределы пространства «Я». Эта точка наблюдения и характеризует самосознание, отделенное от пространств «Я» и «не-Я». Возможно, что субъективное ощущение «выхода из тела» при принятии ряда препаратов (например, ЛСД), когда сознание кажется сконцентрированным в некоторой точке вне тела, на которое можно «смотреть извне», как раз и характеризует эту особую функцию левополушарного мышления.
Теперь самое время подчеркнуть, что на страницах книги термин «левостороннее» и «правостороннее» (левополушарное и правополушарное) мышление являются условными. Не надо думать, что у человека существуют как бы две различные системы мышления. Мышление человека, конечно, процесс единый, в котором одновременно участвуют оба полушария головного мозга. Но те специфические механизмы мышления, которые в основном локализуются в одном из двух полушарий, удобно объединять в группы, называемые левосторонним и правосторонним механизмами мышления.
Однако левое полушарие способно не только к анализу, разложению всего воспринимаемого в пространствах «Я» и «не-Я» на составляющие. Оно способно к установлению сходства и различия между выделенными частями целого по наличию или отсутствию общих признаков. Механизмы обнаружения сходства и различия между конкретными объектами становятся основой для простейших логических операций: отождествления и различения.
То, что мы описали, характеризует мышление, которое можно было бы назвать конкретно-ситуационным. Но левое полушарие способно на большее, чем такое мышление. Оно способно как бы «оторвать» признаки от конкретного объекта и приписать их абстрактному объекту, обладающему этими признаками. Такие признаки можно назвать категориальными. С их появлением связан и следующий шаг в развитии мышления – образование понятий. Понятия есть совокупности категориальных признаков, определенным образом связанных между собой.
Мы уже говорили, что речевой центр находится в левом полушарии. Появление речи невозможно без механизма образования понятий. Каждому понятию, синтезированному в левом полушарии, соответствует звуковой код, называющий это понятие. Оторванность понятий от конкретной предметной ситуации дает возможность перехода к абстрактным символам, соотносимым со словами языка. А это, в свою очередь, делает естественный язык мощным инструментом символьных преобразований. Так появляется
Эти четыре типа мышления соотнесены с речью. Процедуры, связанные с ними, могут вербализироваться, т.е. описываться в виде текстов на естественном языке. Так возникают, в частности, тексты человеческих рассуждений, основанных на рациональных предпосылках и на осознанных шагах вывода.
Правополушарное мышление обладает иными особенностями. В отличие от левого полушария, которое способно любую конкретную ситуацию во внешнем мире (в пространстве «не-Я») отделить от «Я» субъекта, развести временной и пространственный контекст, в котором существует данная конкретная ситуация, правое полушарие оперирует неразделенными образами конкретных ситуаций (гештальтами), в которых объекты вместе с их отношениями и признаками неразрывно связаны с временем и пространством, а также со всем отражением этого в эмоционально-волевой сфере «Я». В правом полушарии возникают чувственные образы реального мира. С его помощью происходит созерцание этих образов, или застывших в полной неподвижности, или текучих, постоянно меняющихся во времени и пространстве.
Как и для левого полушария, для правого полушария можно выделить несколько уровней или типов мышления.
Следующим уровнем правополушарного мышления является
Высшим уровнем правополушарного мышления служит
Правополушарные образы и действия с ними не находят прямой вербализации. Их словесное описание практически невозможно, как невозможно словами описать впечатление от увиденного потрясшего нас пейзажа. И если для левополушарного мышления характерна единственность того объекта, с которым оно в данный момент оперирует, то для правополушарного мышления характерна множественность, неопределенность этого объекта. Многие яркие сновидения, в которых красочные картины сменяют друг друга в самых немыслимых ассоциациях, являются порождением правого полушария.
Подведем некоторые итоги. Самое важное для того, о чем говорится в этой книге, это наличие многих типов мышления, и прежде всего левостороннего и правостороннего мышления. Логика человеческих рассуждений, возникшая еще в Древней Греции и благополучно дожившая до наших дней, занималась и занимается лишь теми механизмами, которые характерны для левостороннего мышления. А это значит, что вне этой науки остались все способы принятия решений, опирающиеся на нерасчлененные образы правого полушария, преобразуемые сложными операциями ассоциативного типа. Вклад правосторонних механизмов в творческую деятельность огромен. Интуиция, озарение, догадка, поэтический образ – порождения правого полушария. Без этого остается лишь левое полушарие, функции которого чрезвычайно близки к функциям программиста, формирующего алгоритм решения нужной задачи для компьютера или исполнительного механизма типа станка с программным управлением.
Конечно, это очень грубая метафора. Но она отражает суть дела. Если продолжить ее, то можно сказать, что в голове у человека как бы действуют две машины. Левосторонняя машина похожа на современный компьютер. Она оперирует с отдельными элементами, образуя из них некоторые правильные последовательности, соотносит эти последовательности с реалиями внешнего мира и некоторыми реалиями внутреннего мира (с левосторонним компонентом пространства «Я»), планирует предметную деятельность во внешнем мире и анализирует накопленный опыт. Она создает классификацию всех знаний, накопленных в процессе жизнедеятельности, опирающуюся на вербализованные признаки и отношения, оперирует с формально-логическими системами и делает многое другое, что умеет, в принципе, делать программа для компьютера.
Правосторонняя машина на компьютер совсем не похожа. Она работает параллельно, используя ассоциативный принцип. В ее операциях нет четко выраженной цели, планирования на основе этих целей, программирования последовательности операций. В этой машине текут непрерывные процессы, аналогичные волновым, и конечный результат ее деятельности никогда не фиксируется в виде единственно возможного. На сегодняшний день у нас нет технических аналогов правосторонней машины. Мы не знаем, как ее моделировать, ибо пока еще слишком немногое знаем об особенностях ее функционирования.
Сказанное ограничивает содержание книги. В дальнейшем наши модели будут в подавляющем большинстве случаев касаться левостороннего мышления, и лишь изредка мы будем соприкасаться с тем, что происходит в молчаливом правом полушарии.
Пралогическое мышление
Термин «пралогическое мышление» был введен в науку совсем недавно. Его не надо понимать как синоним дологического мышления. Логика в пралогическом мышлении, конечно, есть (без этого невозможен феномен мышления), но она во многом отличается от той логики, к которой мы привыкли. И прежде всего тем, что правостороннее мышление играет в пралогическом мышлении куда большую роль, чем в современном мышлении, которое развивалось от доминирующего правостороннего мышления наших далеких предков к постепенному доминированию левостороннего мышления.
В повести Уильяма Голдинга «Наследники» сделана попытка описать мышление неандертальца. Именно попытка, ибо правостороннее мышление неадекватно тексту на естественном языке. Среди неандертальцев, описанных Голдингом, некоторые уже умеют говорить, но слова пока еще находятся в зачаточном состоянии. Проще и быстрее не говорить, а «видеть внутри головы» и сопереживать с сородичами одинаковые картины, возникающие во всей их полноте и эмоциональной окрашенности. В повести небольшая группа неандертальцев сталкивается с «новыми людьми» – кроманьонцами, у которых левостороннее мышление достигло куда большей силы, чем у неандертальцев. Мотивы и цели их поведения с трудом воспринимаются даже Локом – наиболее овладевшим словом членом небольшой группы неандертальцев. Он долго наблюдает жизнь становища кроманьонцев, пытается понять систему отношений, связывающих между собой наблюдаемые, не расчлененные для него ситуации, и в какой-то момент в его сознании вспыхивает огонь прозрения. Вот как этот момент описывает Голдинг:
«Лок обнаружил „Сходство“. Сам того не ведая, он замечал вокруг некое сходство всю свою жизнь. Грибы на стволе дерева были совсем как уши, и само слово было то же самое, однако различалось в зависимости от обстоятельств, когда его никак нельзя было приложить к слуховым отверстиям по бокам головы. Теперь, мгновенно постигая столь многое, Лок обнаружил, что пользуется сходством в качестве орудия столь же уверенно, как разрубал раньше камнем сучья или мясо».
Осознание сходства как операции – это шаг Лока в сторону левостороннего мышления, отрыванию самой операции от окружающего ее контекста, ситуации. А всякое такое отчленение, изоляция есть отход от неразрывности правосторонних образов. Но процесс такого отчленения, переход к анализу отдельных частей ситуации и к понятийному мышлению растянулся на многие тысячелетия. И в наше время существуют человеческие сообщества, для которых этот процесс все еще не завершен и доминанта правостороннего мышления все еще не преодолена.
Крупнейший специалист по пралогическому мышлению Л. Леви-Брюль сформулировал общий для этого уровня развития мышления
«Сознание испытывает по меньшей мере безразличие, если не отвращение к логическим операциям[2]. Пралогическое мышление является синтетическим по своей сущности. Я хочу сказать, что синтезы, из которых оно состоит, не предполагают, как те синтезы, которыми оперирует логическое мышление, предварительных анализов, результат которых фиксируется в понятиях. Другими словами, связи представлений обычно даны здесь вместе с самими представлениями. Синтезы в первобытном мышлении появляются в первую очередь и оказываются почти всегда
Приходится лишь удивляться тому, как Леви-Брюль сумел угадать в конце двадцатых годов, что в пралогическом мышлении ярко проявляются те механизмы восприятия мира, которые диктуются особенностями правого полушария.
Отметим еще некоторые особенности пралогического мышления, частично отмеченные Леви-Брюлем, а в остальной части – другими исследователями, работавшими позже.
1. В пралогическом мышлении тесно переплетаются коллективные мифологические представления и индивидуальные рациональные представления о внешнем мире и своем положении в нем. Мифологический компонент представлений теснейшим образом связан с правополушарными механизмами, а рациональные представления опираются на реальный опыт трудовой деятельности, реальные манипулирования с предметами внешнего мира и реальные наблюдения за его закономерностями. Симбиоз этих представлений, которые с логической точки зрения, как правило, противоречат друг другу, в пралогическом мышлении не вызывает никаких трудностей. Мир реальный и мир мифологический описываются различными законами. Если в первом возможно только то, что не противоречит жизненной практике, то во втором может быть все то, что невозможно в реальном мире. Но эти миры сосуществуют одновременно, они пронизывают друг друга, и любой предмет реального мира одновременно является предметом и мира мифологического, соединяя в своей сути и конкретную реализацию в окружающем человека мире, и символ, в виде которого он входит в неизменную систему образов мифологического мира. Поэтому становится возможным отождествление различных объектов реального мира в мире мифологическом (вспомним о представлениях бореро: они и попугаи арара одно и то же, хотя, конечно, бореро в реальном мире отличают арара от представителей своего племени).
Итак, из того, что
Какие-то осколки мифологического компонента пралогического мышления дожили и до наших дней. Когда мы читаем сказки, в которых волки разговаривают, бескрылые кони переносят героя по воздуху, не тратя на это времени, а клубок шерсти показывает правильный путь к цели, то, несмотря на то, что вся повседневная практика нашей жизни говорит, что так не бывает, мы все-таки не отбрасываем от себя тексты, противоречащие нашим знаниям о мире, а с удовольствием погружаемся в странный мир сказки. Не только сказки, но и мифы, легенды, былины донесли до нас очарование того пласта мифологических представлений, которые для наших далеких предков были насыщены той же жизненностью, как и обычные повседневные представления. И в нашей памяти мирно уживаются утверждения
2. Для пралогического мышления может быть сформулирован закон подобия: то, что внешне подобно, имеет одинаковую сущность и может использоваться одинаково. Изменение внешнего облика объекта, как следует из этого закона, неумолимо приводит к изменению его сущности, к потере им тех свойств, которыми этот предмет обладал вначале. Из этого закона вытекала тесная связь, которая устанавливалась между духовными качествами человека и окружающим его материальным миром. Он же лежал в основе тенденции наделения свойствами материальных объектов духовной деятельности людей. Тотемом первобытного племени могло быть не только живое существо, но и неодушевленный предмет, который в силу закона подобия, ассоциативного сходства с какими-то частями человека или элементами его деятельности становился заместителем человека.
Можно сказать, что закон подобия, применяемый некритически, порождал тот непрерывный поток ассоциативных замещений, который столь характерен для потока образов, рождаемых правым полушарием.
3. В пралогическом мышлении память играет особую роль. Образы правого полушария, которые мы уже сравнивали с кадрами фильма, составляют основу этой памяти. Она играет более важную роль, чем вывод. Вспомнить что-то аналогичное или ассоциативно связанное с текущим образом-ситуацией – это значит и осуществить своеобразный вывод. Если что-то вспоминается вслед за мелькнувшей в сознании картиной, то фиксируется зависимость этих представлений. Закон превращения соположения во времени следования факторов в каузальную связь их, конечно, логически не оправдан. Но именно он позволял людям, находящимся на стадии пралогического мышления, заполнять огромные пробелы в их знаниях о взаимосвязях в окружающем мире. Этот закон обеспечивал надежность поведенческих решений в ситуациях, где человек впервые сталкивался с явлениями и фактами. Но законы коллективных представлений и накопленный собственный (пусть ошибочный!) опыт помогали ему принять решение, для которого не было никаких логических обоснований.
4. Люди, у которых правое полушарие доминирует над левым, эмоционально весьма чувствительны. Именно поэтому в их памяти так ярко запечатлеваются образы-ситуации. Высокая эмоциональность тех, для кого характерно пралогическое мышление, несомненна. Особенно легко возбуждаются в них аффекты страха и гнева. На фоне этих аффектов фиксируется классификация знаний об окружающем мире и своем месте в нем. Изгнание за нарушение табу из племени, как правило, приводит к смерти, ибо интеграция себя и рода настолько высока, что изгнание вызывает волну страха, превышающую границу возможного. Отсюда вера в то, что сохранение табу обеспечивает сохранение психологического гомеостазиса существования, чувства слияния с родом или племенем в единый организм. Сохранение табу – основа неизменности жизни, статичности ее. Всякое изменение опасно, ибо с каждым изменением меняется сущность вещей и самого мира. Отсюда стремление к таким действиям и решениям, которые не противоречат жесткой системе ограничений, идущих из мифологических представлений даже тогда, когда реальный мир и реальные представления сигнализируют о бессмысленности или опасности принимаемых решений. Критерием выбора тут служит не прагматическая польза или верность принимаемых решений, а их соответствие принятой без всякой критики системы табу.
5. С самого начала развития сознания и самосознания, сначала коллективного, а потом и индивидуального, возникли
Такая шкала порождает совокупность разделенных пространств МЫ и не-МЫ, свойства которых различны. Это позволяет считать, что ОНИ находятся вне наших законов, вне нашего опыта и ИМ можно приписывать все, что угодно. Так появляются живущие где-то далеко люди с пёсьими головами, фаги, пожирающие все вокруг, и другие ОНИ. Возникает форма рассуждения, основанная на этой оппозиции, оправдываемая ею: «ОНИ не такие, как МЫ, и, следовательно, ИХ надо уничтожать». В более поздней форме эта схема становится менее жесткой.
Оппозиционные шкалы типа МЫ – ОНИ не исчерпывают всех типов оппозиции. В силу свойств правостороннего мышления идея бинарной оппозиции начинает переноситься и на другие объекты, создавая как бы образующие, относительно которых упорядочивается статическая картина мира. Возникают оппозиции: правый–левый, мужской–женский, восток–запад, верх–низ, внутри–снаружи и т.п. В силу ассоциативности правостороннего мышления все эти оппозиционные шкалы в каком-то смысле эквивалентны. Правое начинает отождествляться с мужским и верхом, левое – с женским и низом. Возникает единая система противопоставлений, в которых концевые точки оппозиционных шкал описывают дуалистическую картину мира, сводясь к разбиению всего пространства на пространства «МЫ» и «не-МЫ».
И до наших дней в народных поговорках, пословицах, заповедях мы легко обнаруживаем остатки рассуждений, опирающихся на оппозиционные шкалы, концы которых соотнесены с нашим, дружественным нам пространством и пространством враждебных нам ОНИ. Вот примеры из румынского фольклора, записанные в XIX–XX веках: «Когда кукушка поет слева – нехорошо, когда справа – все пойдет хорошо», «Если весной увидишь ангела в небе, во время жатвы у тебя не будет болеть поясница, если на земле, то будет» или «Если землетрясение бывает днем – к богатству, ночью – к убытку».
Значительно позже бинарные шкалы начинают превращаться сначала в тернарные, а затем и в шкалы с еще большим числом позиций. Такое превращение приводит к переходу от неподвижного и неизменного мира мифологических представлений к динамическому, постоянно изменяющемуся миру реальностей. На рис. 1 показано, как оппозиционная шкала МЫ – ОНИ превращается в тернарную шкалу МЫ – ВЫ – ОНИ. Кто же такие эти ВЫ? Они возникают в зоне столкновения МЫ и ОНИ и служат посредниками между двумя ранее резко отделенными друг от друга общностями (рис. 1,
Рис. 1.
Когда относительно недавно состоялся первый контакт маленькой группы людей, живших на одном из Андоманских островов, с представителями современного человечества, то ни те, ни другие не сомневались, что перед ними существа, близкие им. Это был контакт различных культур, но это был контакт людей. Наступает момент, когда МЫ и ОНИ начинают контактировать, и тогда возникают ВЫ, которые еще МЫ, но уже не ОНИ (рис. 1,
Подобно этой тернарной шкале, на которой появляется пограничное значение ВЫ, возникают ассоциативно связанные с нею тернарные шкалы с пороговыми значениями: верх – низ, внутри – снаружи, свет – тьма и т.п. С реальными объектами (порог дома, окно, перекресток дорог, граница леса и т.п.), которые выступают в виде центральной позиции на бывших бинарных оппозиционных шкалах, начинают связываться мифологические представления и обряды. А за ними возникают и рассуждения, опирающиеся на свойства мифологизированных пограничных элементов. В том же корпусе румынских фольклорных наставлений, примеры из которого уже приводились, есть и такие: «Не смотри внутрь дома через окно снаружи, потому что он разрушится» или «Кто на этом свете сделает колодец, у того будет вода на том свете».
Дети, родители и взрослые
Слова, вынесенные в заголовок этого раздела, не надо понимать буквально. За ними скрывается нечто иное. Именно эти термины использовал известный американский психотерапевт Е. Берне, создавший теорию
По мнению сторонников трансакционного анализа, в каждом из нас одновременно сосуществуют как бы три личности, названные в этой теории «ребенок», «родитель» и «взрослый». В любой момент нашей жизни одна из этих ипостасей является доминантной, диктуя нам присущий ей стиль поведения и общения. От того, сколь часто в качестве доминанты выступает та или иная ипостась, люди по своему поведению приближаются к ребенку, родителю или взрослому.
Три ипостаси, показанные на рис. 2, следуя традиции трансакционного анализа, будем обозначать соответственно
Рис. 2.
Для нас интересно различие между ипостасями с точки зрения разных знаний, связанных с ними, и разных используемых ими схем рассуждений. Пласт знаний
Родительские знания лежат где-то на границе между вербальными и невербальными знаниями. Это весь пласт знаний, воспринимаемых нами в период нашего детства без всякой критики. Вера, а не критическая эмпирическая убежденность, лежит в основе этих знаний. Зачастую они также имеют яркую эмоциональную окраску. Но эмоции здесь несколько иные. Гнев и ярость, бурные страсти и саднящие душу противоречия, презрение и бесчувственность сопровождают этот пласт знаний, в образовании которых кроме новой коры левого и правого полушарий принимает участие глубинное структурное образование, которое К. Саган называет
Знания взрослого целиком принадлежат левому полушарию. Это осознанно добытые индивидуумом знания, которые осмыслены критически (возможно, проверены практикой), хранящиеся в памяти не в качестве пассивного корпуса сведений, а как совокупность фактов и процедур, нужных для повседневной деятельности в реальном мире. К этому же пласту относятся и некоторые правополушарные знания, которые либо не вербализируются, либо вербализируются с большим трудом. Это те знания, которые практически отсутствуют в виде текстов на естественном языке и не входят в многочисленные учебники по различным сторонам человеческой деятельности. Обычно мы их называем навыками, уменьем, профессионализмом. Умение танцевать, изготовлять особо сложную деталь, ездить на велосипеде и многое другое нельзя объяснить ученику с помощью текстов, порождаемых левым полушарием. Единственный вид овладения ими – это подражание, сопереживание вместе с учителем самого процесса.
Три различных пласта знаний порождают три различных класса схем рассуждений. Для детского пласта это даже не рассуждения, а некоторые переживания или сопереживания. Наиболее показательна схема рассуждения «Хочу ?». А если для получения ? необходимо, чтобы сначала было ?, т.е. необходимы посылки ? для получения ?, то детский способ рассуждений таков, что существование ? просто постулируется. Вот пример рассуждения, основанного на детском пласте знаний:
– Купи мне велосипед, как у Андрея!
– Но он же велик для тебя. Вот вырастешь, тогда куплю.
– Купи! Я уже вырос.
Рассуждения, характерные для пласта знаний
«Ведические принципы принимаются как неопровержимые, так как они не могут содержать ошибок. Это значит принимать… В Индии, если один говорит другому: „Ты должен поступать так!“ – другой человек может переспросить: „Почему ты так думаешь? Разве это ведическое предписание, что я должен следовать тебе без каких-либо доказательств?“ Ведические предписания нельзя извращать. В конечном счете, если вы внимательно изучите значение этих предписаний, то найдете, что все они безошибочны».
Следуя рассуждениям родительского уровня, первобытные охотники перед охотой танцуют вокруг изображения животного или духа зверей. Эта схема может быть выражена в виде следующей сентенции: «Все наши предки плясали перед выходом на охоту, и из этого следовала удача на охоте». Желание удачи велико, но для того, чтобы для ее возникновения обеспечить все необходимые посылки, надо не только реализовать все свое умение и применить практические знания из пласта
С правилами, зафиксированными в схемах такого рода, тесно связан еще один закон, характерный для пралогического мышления. Это закон отказа от отрицательных примеров. Когда магические обряды приносили пользу, то положительный результат приписывался магическим действиям. Если же вместо пользы возникал вред, то это вовсе не заставляло критиковать магические посылки. Дело объяснялось проще: кто-то применил более сильную магию против или магические действия были выполнены без соблюдения всех необходимых условий. Незыблемость посылок не мог поколебать никакой отрицательный пример.
Рассуждения, опирающиеся на знание
Схемы рассуждений типа «Если ?, то ?», принадлежащие трем различным ипостасям человека, можно сопоставить со схемой, показанной на рис. 3. Из этой схемы видно, что на уровне
Рис. 3.
Интересно посмотреть, как взаимодействуют между собой два человека с точки зрения той доминирующей ипостаси, которая у них имеется. На рис. 4 показано взаимодействие, которое в трансакционном анализе называется
Параллельные трансакции на уровне
– Посмотрите на этих парней! И это современная молодежь!
– Да, конечно, когда мы с вами были молодыми, так вести себя никто бы себе не позволил.
– Вот именно. А разве прилично так одеваться, как они?
– Совершенно с вами согласна. Это не одежда, а просто балаган какой-то. Они делают это, как нарочно.
– И ведь, знаете, курят…
Подобный диалог можно продолжать сколь угодно долго. Ведь тема неисчерпаема, а мнение собеседниц, их знания, основанные на пласте
Параллельные трансакции на уровне
Рис. 4.
Кроме параллельных трансакций бывают еще
Рис. 5.
а) – Посмотрите на этих парней! И это современная молодежь!
– Ну, что вы! Вполне хорошие парни. Наверняка, как и мы, размышляют о жизни, учатся, работают. Это в вас просто проявляется обычное заблуждение, что каждое новое поколение хуже предыдущего, потому что непохоже на него.
б) – Дорогая, ты не знаешь, где моя шляпа?
– Там, где ты ее бросил! Ты никогда не можешь ничего класть на место.
в) – Дорогая, ты не знаешь, где моя шляпа?
– Почему ты вечно мной недоволен и кричишь на меня?
г) – Иди, убери свою комнату! Никак от тебя нельзя добиться порядка
– Не приказывай мне! Я уже не маленькая, хватит! Не ты тут хозяйка, а папа!
д) – Извини, папа. Я обязательно к завтрашнему утру должен закончить эту работу.
– Почему ты вечно все оставляешь на последний день?!
Как видим, основой высказываний при непараллельных трансакциях могут быть как правосторонние знания уровней
В конце этого раздела упомянем еще об одном виде трансакций –
Рис. 6.
е) – Куда ты припрятала мои очки?
– Ты что, ослеп! Вот же они, лежат прямо перед тобой!
Внешне персонаж 1 обращается к персонажу 2 на уровне
ж) Используя крышку полированного стола, покрытого слоем пыли, муж пишет жене на столе «Я тебя люблю». Это высказывание внешне выглядит как обращение к жене с приглашением к параллельной трансакции на уровне
з) Исходная ситуация аналогична предшествующей, но скрытая трансакция мужа: «Не сердись за шутку, содержащую упрек».
и) На выставке молодой художник говорит симпатичной девушке, которая заинтересовалась его работами:
– Самые хорошие мои работы не здесь, а в мастерской. Приходите ко мне сегодня вечером, я вам их покажу. Девушка, которой понравились не только (а может быть, и не столько) картины, но и их автор, отвечает:
– Это приглашение для меня очень лестно. Я приду.
Скрытые трансакции, как и непараллельные, лежат в основе многих человеческих рассуждений, причины и посылки которых скрыты внешним слоем высказываний. При незнании скрытого подтекста эти высказывания часто кажутся лишенными логики.
Как рассуждает ребенок
Какие наблюдения можно сделать, изучая как ребенок овладевает мышлением? Какие тайны приоткрываются в знаменитом возрасте «от двух до пяти»?
Период «от двух до пяти» особый. Это переходный период, на котором доминанта правого полушария постепенно под влиянием развития речи и научения манипулированию со словами, заместителями реальных предметов, постепенно сменяется доминантой левого полушария. И лишь очень немногие из детей – будущие поэты, музыканты и некоторые другие проходят через горнило этих лет, сохраняя доминанту правого полушария.
Мы уже говорили, что мышление ребенка до овладения речью строится на основе правосторонних механизмов. Но вот в его речи стали появляться отдельные звуковые цепочки. Это означает, что в левом полушарии начала активизироваться та ее часть, которая связана с порождением составляющих звукового кода. Из огромного числа звуков начинают формироваться устойчивые классы – фонемы. Для того чтобы фонемы возникли, требуется выделить ряд признаков, по которым звуки объединяются в классы. Затем возникает слово. Но его категориальное значение размыто, текуче, слово еще вплавлено в ту ситуацию, в которой оно встретилось. Если малыша спрашивают: «Где бабушка?» и он поворачивается к фотографии, висящей на стене, делая указательный жест рукой, то, если ему задать тот же вопрос, предварительно убрав фотографию, он снова в ответ на него будет поворачиваться и указывать рукой на место, где эта фотография висела. На этом этапе слово еще накрепко связано с ситуацией, неотделимо от нее.
Отделение слова от образа-ситуации происходит в возрасте где-то от полутора до двух лет, когда наступает овладение морфологией языка. Это период словотворчества, в недрах которого слова начинают сортироваться по морфологическим признакам. Возникают слова для обозначения предметов, отношений между ними, признаков и действий. Возникают первые классификационные схемы – зачаток использования знаний о мире для определения понятий и самых простых выводов. Не обладая еще способностью выделения категориальных признаков, мышление ребенка на этом этапе относится к тем типам, которые в начале этой главы мы назвали конкретно-ситуационным и эмпирическим.
Когда малыша подобного возраста просят определить, что такое собака, он может, например, показывая на место укуса сказать: «Она меня вот сюда укусила». Конкретные и категориальные совокупности часто сосуществуют одновременно:
– Скажи, Андрюша, кто водит паровоз?
– Машинист. Дядя такой, он в будочке сидит.
– А кто ломает игрушки?
– Петька. Он нехороший.
И лишь постепенно, когда категориальное мышление становится преобладающим, на последний вопрос ребенок может ответить словом, сотворенным им в этот момент: «Ломатель».
В процессе дальнейшего развития ребенок последовательно овладевает различными типами высказываний. Сначала у него появляется способность к номинации, т.е. называнию предметов, затем он учится высказываниям, в которых локализуется местонахождение предметов. Чуть позже возникают императивы, в которых содержатся просьбы и приказания о тех или иных действиях. Затем возникают формы высказываний, предназначенных для описания различных событий и ситуаций. На этом этапе возникает возможность замещения невербальных образов-ситуаций правого полушария их вербализованными обедненными описаниями левополушарного типа. Потребность в коммуникации, общении компенсирует это обеднение, а сама коммуникация происходит на положительном эмоциональном фоне. На следующем шаге становится возможным выражение отношений между частями предметов и ситуаций, а также отношений принадлежности. Почти одновременно возникают тексты, в которых описываются качества тех или иных предметов, их прагматические и категориальные признаки. И лишь после этого ребенок овладевает такими сложными высказываниями, как вопрос или отрицательное утверждение.
Наблюдения за развитием естественных языков, сопоставление их в генетическом плане наводит на мысль о том, что путь развития человеческого мышления в разных местах земли с неизбежностью проходил одинаковые ступени, зафиксированные в языковых средствах. Этот путь пока еще не до конца ясен, многие участки его еще не исследованы, но в самом общем виде он включает в себя следующие семь этапов.
1. Улавливание связи между предметами или фиксация ее отсутствия при самом общем и недифференцированном понимании связи.
2. Выявление поссесивной связи, т.е. связи во времени следования одних событий или ситуаций за другими.
3. Выявление партетивной связи, т.е. связи типа часть-целое или целое-часть.
4. Выявление контактно-дистанционных связей как во времени, так и в пространстве, т.е. введение отношений типа раньше, позже, далеко, соприкасаться и т.п.
5. Выявление связей объектно-субъектного уровня, с помощью которых становятся возможными высказывания о реалиях, находящихся вне субъекта, и его взаимоотношениях с ними.
6. Введение пространственных связей с отношениями типа снаружи-внутри, большой-маленький, далеко-близко.
7. Введение и использование темпоральных (временных) отношений, отличных от дистанционных.
Эта совокупность этапов структуризации внешнего мира описывает постепенный переход от мира, в котором мифологическое и реальное тесно переплеталось и взаимодействовало, к миру, где эти два представления оказываются резко разделенными. В конце этой эволюции правое и левое мышление отделяются друг от друга, и возникает доминанта левого над правым.
Дети в своем развитии как бы повторяют движение по этим этапам, постепенно овладевая тем, что составляет основное достижение современного человека – понятийным мышлением.
Особенности человеческих рассуждений
Пора подвести некоторые предварительные итоги. В этой вводной главе сделана попытка дать эскизный очерк тех оснований, на которых строится человеческое мышление, и, в частности, человеческие рассуждения. Сформулируем все сказанное выше в виде набора кратких утверждений.
1. Обычное представление, что мышление человека рационально, что все рассуждения человека имеют вербализуемые посылки, в корне неверно. Рациональный компонент в мышлении занимает определенное место, а вербализуемый компонент – лишь небольшую часть этого места. Человеческие рассуждения основываются не только на левосторонних механизмах, но и на механизмах, характерных для правостороннего мышления. Эмоциональные рассуждения, рассуждения, опирающиеся на родительский пласт знаний, рассуждения на основе скрытых от вербализации аналогий и ассоциаций порождаются правосторонними механизмами и не погружаются в рациональные логические схемы. Вот пример диалога врача-психотерапевта с пациентом, у которого ассоциации и аналогии столь случайны и необоснованны, что его умозаключения строятся вне привычной человеческой нормы (диалог приведен в одной из статей известного специалиста в этой области А. Добровича). Реплики врача и больного маркированы буквами В и Б.
В.: Чем вы встревожены?
Б.: Я знаю, меня хотят убить.
В.: Почему вы так думаете?
Б.: Когда я шел домой, на улице стоял неизвестный человек.
В.: Что это значит?
Б.: Он хотел меня убить.
В.: Почему вы так думаете?
Б.: Он держал в руке пачку «Беломора».
В.: Что это значит?
Б. (со слезами на глазах): Убийство.
В.: Почему?
Б.: «Беломор» означает белый мор, гибель.
В.: Означает ли это еще что-нибудь?
Б.: Вообще, это название канала. Но в данном случае – намек, потому что меня хотят убить.
Цепь ассоциативных связей может оказаться зашифрованной и в текстах людей вполне здоровых, но с неподавленными механизмами правополушарного мышления. Поэзия и проза поэтов дают тому немало примеров. Достаточно открыть прозу или стихи Цветаевой, Мандельштама, Вознесенского, чтобы убедиться в огромном богатстве ассоциаций, сцепляющих между собой отдельные образы, картины и мысли.
2. Для выводов на уровне знаний ребенка и родителя (уровни
3. В основе многих рассуждений лежат преобразования на шкалах, с которыми соотносятся элементы рассуждения. На эти шкалы проецируются знания человека об окружающем мире и о себе самом. В этой главе подробно рассказано лишь об оппозиционных шкалах, но далее будут описаны и иные типы шкал.
Приведем в качестве примера три шкалы, показанные на рис. 7. Первая является шкалой тяжести уголовных преступлений. Чем правее лежит точка на этой шкале, тем более тяжелым считается преступление. На второй шкале отмечены сроки наказания, назначаемые за совершенные преступления, а на третьей шкале в некоторых условных единицах отмечены оценки способности заключенного к полному исправлению после наказания. Эти три шкалы на рисунке соответственно обозначены буквами
Рис. 7.
4. Убежденность в правоте посылок может иметь не только мифологическое обоснование, которое характерно при использовании родительских знаний, но и некоторую чисто личностную природу, связанную с отрицательными эмоциями, порожденными этими посылками. Если, например, некоторый факт вызывает у человека отрицательные эмоции, то он «вытесняет» его из зоны активности, и человек «не замечает» его существования. Поэтому и выводы, которые следуют из этого факта, субъектом не реализуются, а многие из тех выводов, которые невозможны при наличии неприятного факта, могут порождаться. Вывод может основываться на неверных посылках, которые имеются у субъекта. Например, Наполеон был твердо убежден в том, что пароходы плавать по воде не могут. Он выводил этот факт из неверной посылки, что железо тяжелее воды и никакой железный предмет на поверхности воды держаться не может. Отказ от подобных заблуждений иногда приводит к переворотам в науке, как это случилось при отказе от идеи теплорода или при отказе от истинности пятого постулата в геометрии Эвклида. Наконец, справедливость тех или иных умозаключений может определяться совокупностью морально-этических норм, принятых в данном обществе. Сентенции типа «Справедливость – благо людей» или «Какова бы не была цель, не всякие средства допустимы» характеризуют подобные рассуждения. Очень часто за этими рассуждениями стоят типовые сценарии поведения, принятые в данном социуме. Примеры: «Я на тебя обиделась. Ты даже не поцеловал меня при встрече» или «Он увидел, что рядом с ним стоит пожилая женщина с тяжелой сумкой в руках. Ему стало стыдно, он тут же встал и предложил женщине сесть».
5. Использование одновременного существования различных миров приводит к тому, что могут возникнуть рассуждения, в которых участвуют противоречивые факты. Сейчас речь идет не о том случае, когда эти факты «разведены» по непересекающимся мирам, а о том, когда они присутствуют одновременно, в одном мире. Упоминавшиеся уже бореро одновременно люди и птицы, а край леса одновременно граница царства мертвых и живых.
Но противоречивость рассуждений выступает не только в этой форме. Человек, например, в состоянии хранить в своей памяти и при случае опираться на них как на посылки совершенно противоположные по смыслу утверждения. Фольклор любого народа буквально заполнен такими противоречивыми сентенциями: «Работа – не волк, в лес не убежит» и «Всякий труд от бога» или «Делу время – потехе час» и «Солдат спит – служба идет» или «Ученье – свет, а не ученье – тьма». Можно привести и еще более шокирующие логиков-пуритан примеры, когда в одной фразе утверждается, что одновременно имеет место некоторый факт и его отсутствие. Вот фраза из стихотворения Юнны Мориц «Море»: «Оно слепое и зоркое», а вот фраза из весьма популярной песни: «Речка движется и не движется, вся из лунного серебра». И такими откровенно противоречивыми высказываниями человек оперирует с завидной легкостью, усматривая смысл там, где логики отказываются его видеть.
6. Всякое рассуждение основывается на двух началах: собственно схеме рассуждения и принципах выбора именно этой схемы. Вторая компонента рассуждения в искусственном интеллекте называется схемой управления рассуждением. О ней мы будем говорить в гл. 5. Сейчас заметим только, что когда мы говорили об эмоциональном или религиозном рассуждениях, то в этих терминах отражалось наше представление об источнике, которым данное рассуждение управляется.
7. На последующих страницах книги мы столкнемся с немалым количеством других особенностей человеческих рассуждений: размытостью и неточностью посылок, своеобразными «рассуждениями по дереву», рефлексивными рассуждениями и многими иными видами человеческих способов утверждать то или иное. А начнем мы с удивительного открытия – силлогистики Аристотеля.
Глава вторая. СИЛЛОГИСТИКА И ГЕРМЕНЕВТИКА РАССУЖДЕНИЙ
Что сделал Аристотель?
Развитие всех наук протекает в условиях возникновения множества новых идей, многие из которых оказываются ошибочными. Рождаются и умирают десятки, а то и сотни теорий, бывает, что новые данные опровергают ранее сложившиеся убеждения. Нередки случаи, когда на этих убеждениях покоилось стройное здание данной науки. Лишенное их, оно рассыпается, как карточный домик, а на его месте начинает возводиться новое здание. Так в драматических столкновениях, среди которых изредка вспыхивают гениальные открытия, кропотливым трудом десятков поколений исследователей создается и модернизируется здание той или иной науки.
Но из всего всеобщего процесса есть одно парадоксальное исключение. Существует теория, построенная одним человеком и практически сразу, которую никто не пытался критиковать или опровергать. Ее лишь уточняли и модернизировали. И хотя со времени ее создания прошло уже значительно больше двух тысяч лет, она по-прежнему занимает почетное место в науке.
В средние века автор этой теории пользовался такой популярностью, что его наверняка бы причислили к святым, если бы он не родился за четыреста лет до рождения основателя этой религии.
Это исключение –
Прежде, чем пояснить вновь появившиеся понятия, попробуем ответить на вопрос: какую задачу хотел решить Аристотель, создавая свою теорию? Он жил в те времена, когда научные споры были основным видом научной деятельности. «В споре рождается истина» – выражение, пришедшее к нам из эпохи этой седой древности. Только в дискуссиях и спорах можно было отстоять свою точку зрения и усвоить, что хочет сказать твой коллега. Со времен Сократа получили широкое распространение специальные виды спора – сократические беседы. В ходе такого спора доказательство выдвинутого положения защищалось с помощью ответов двух типов («согласен» или «не согласен») на любые высказывания оппонентов выдвинутого положения.
Искусство вести подобные беседы высоко ценилось. И, по-видимому, одной из первопричин исследований Аристотеля было стремление найти такие формы рассуждений, которые при правильном их использовании не нарушали бы истинности исходного положения. Истинность тут понималась не как некоторый абсолют. Идея была в другом. Как строить рассуждения, чтобы они лишь поддерживали исходное положение (в его истинности надо было убедить оппонентов), а не опровергали его? Помня о весьма популярном Сократе, Аристотель не мог не знать, что часто для показа силы своей логики этот мыслитель выдвигал заведомо ложное положение, но с помощью специально построенных
Аристотель и его современники уже знали, что существует по крайней мере три типа рассуждений: от общего к частному, от частного к общему и от частного к частному. Идея первого типа рассуждений основывалась на том явном для людей положении, что если общее утверждение верно, то должно быть верными и частные утверждения, определяемые этим общим рассуждением. Именно такого типа рассуждения и называют
Два других типа рассуждений с точки зрения истинности вывода куда менее ясны. Рассуждения от частного к общему отражают наш путь постижения окружающего мира и нас самих в нем. Общие утверждения возникают на пути обобщения частных, отражающих совокупность наших единичных опытных фактов. Такие рассуждения называются
Исходя из этих соображений (не по форме, конечно, а по существу) Аристотель выбрал для формализации именно дедуктивные рассуждения. Хотя и в область индуктивных рассуждений Аристотель внес определенный вклад, но он, конечно, не может сравниться с тем, что удалось сделать этому философу в области дедуктивных рассуждений.
Еще раз зафиксируем два положения, связанные с работой Аристотеля в интересующей нас области: 1) исходные посылки рассуждения являются истинными; 2) правильно применяемые приемы перехода от посылок к другим вытекающим из них утверждениям и из посылок и ранее полученных утверждений к новым вытекающим из них утверждениям должны сохранять истинность всех получаемых утверждений, т.е. истинные посылки порождают только истинные следствия.
Именно это свойство силлогистики Аристотеля, как со временем стала называться созданная им система, позволила средневековому философу и богослову Фоме Аквинату использовать теорию Аристотеля для обоснования всей христианской теологии. Сделал это он с помощью следующего приема. Поскольку по учению христианской церкви определенная часть сочинений, составляющая книги Ветхого и Нового Заветов, является боговдохновенной, то все утверждения, содержащиеся в них, являются абсолютно истинными. Их истинность не меняется. А значит, они образуют посылочный базис логической системы, в которой невозможны противоречия. Из них можно с помощью силлогистики Аристотеля порождать новые утверждения, которые также будут истинны. И если многие из этих утверждений человеческий рассудок отказывается принимать, сомневается в их допустимости, то, следовательно, рассудок земного человека слаб и не дорос еще до истинных откровений. Ведь еще на заре распространения христианского учения один из его апологетов Тер…[3]
…их больше двух. Для получения заключения в сорите нужен многошаговый процесс, а для проверки истинности заключения не два шага (как на рис. 11–13), а столько шагов, сколько посылок имеется в сорите.
На каждом шаге при поиске заключения в сорите выбирается пара посылок, которые могут образовать одну из четырех силлогистических фигур (верхних частей схем на рис. 10). Если такая пара найдена, то она порождает по законам силлогистики заключение. Если к этому моменту еще не все множество исходных посылок использовано, то использованные на данном шаге посылки вычеркиваются из списка посылок, а вместо них добавляется найденное промежуточное заключение. Новое множество посылок рассматривается как исходное для следующего шага вывода.
Рассмотрим два примера получения заключения в соритах. Первый сорит содержит три посылки:
Малые дети неразумны.
Тот, кто может укрощать крокодилов, заслуживает уважения.
Неразумные люди не заслуживают уважения.
Чтобы начать процесс вывода, необходимо сначала привести все посылки к
Всякие малые дети есть неразумные люди.
Всякий, укрощающий крокодилов, есть заслуживающий уважения.
Всякие неразумные люди не есть заслуживающие уважения.
Возьмем первую и третью посылки. Если обозначить через
Рис. 15.
На рис. 15 в верхнем ярусе показаны два возможных варианта областей истинности для первой посылки. Вторая посылка такова, что ее добавление к каждой из областей первой посылки дает только одну альтернативу. Обе области, показанные в нижнем ярусе, есть области типа
Всякие, заслуживающие уважения, не есть малые дети.
Всякий, укрощающий крокодилов, есть заслуживающий уважения.
Если теперь
Рис. 16.
При получении заключений мы из соображений наглядности каждый раз обращались к графической интерпретации областей истинности. На самом деле для правильных модусов силлогистики Аристотеля (поскольку схемы посылок однозначно определяют схему заключения в каждой из четырех фигур) эти заключительные схемы могут при необходимости выдаваться автоматически. Например, для первой фигуры если посылки имеют тип
Первая фигура:
Вторая фигура:
Третья фигура:
Четвертая фигура:
Проиллюстрируем процесс такого механического перехода на примере следующего сорита:
1. Те, кто нарушает свои обещания, не заслуживают доверия.
2. Любители выпить очень общительны.
3. Человек, выполняющий свои обещания, честен.
4. Ни один трезвенник не ростовщик.
5. Тому, кто очень общителен, всегда можно верить.
Если читатели попробуют «с ходу» сказать, какое заключение следует из этих посылок, то они тут же поймут, что сделать это практически невозможно. Поэтому будем двигаться постепенно, выполняя все необходимые в силлогистике шаги. Постепенность весьма важна, ибо она позволит впоследствии сделать из анализа этого процесса важные выводы для автоматизации вывода рассуждений. Прежде всего преобразуем все посылки сорита в нормальную форму.
1. Всякий, кто нарушает свои обещания, есть не заслуживающий доверия.
2. Всякий любитель выпить есть человек очень общительный.
3. Всякий, кто выполняет свои обещания, есть человек честный.
4. Всякий трезвенник не есть ростовщик.
5. Всякий общительный человек есть человек, заслуживающий доверия.
Обратим внимание на то, что переход к нормальной форме для посылок требует прежде всего уточнения того, что за универсум объединяет все имеющиеся посылки. Каков он для нашего сорита? О каких сущностях идет в посылках речь? По-видимому, общей сущностью для всех, о ком говорится в посылках сорита, является сущность с именем «люди», как это было и в предшествующем сорите. Заметим, что если мы не хотим оперировать с «отрицательными классами» сущностей, то надо провести дальнейшую нормализацию посылок, ибо в силлогистике Аристотеля должно неукоснительно выполняться правило, согласно которому при
Итак, девять классов сущностей вместо полагающихся шести. Какие из классов можно исключить из рассмотрения? Анализируя семантику имен классов, можно прийти к тому, что имеют место соотношения:
Сохраним все высказывания, в которые не входят классы
На рис. 18 показана общая структура системы, позволяющей получать силлогистические выводы. Четыре блока системы выполняют следующие функции. Новые факты, поступающие в систему, попадают в лингвистический блок, который преобразует их в нормальную форму. Если вспомнить первоначальную форму посылок в сорите о ростовщиках и любителях выпить, то становится понятным, что работа лингвистического блока не столь проста. В его задачу входит не только «навешивание» кванторов «всякий» и «некоторые», но и вычленение имен классов сущностей, а также освобождение высказываний от тех слов, которые не влияют на суть той информации, которая в высказывании содержится. Лингвистический блок должен определить, говорит ли высказывание о некоторой единичной сущности или о совокупности таких сущностей.
Рис. 18.
Наконец, в задачу лингвистического блока входит расшифровка входного сообщения. Эти сообщения могут быть двух типов: факты для пополнения базы фактов системы и факты, истинность которых хотелось бы установить. В первом случае факт после его перевода в нормальную форму передается в базу фактов, а во втором – поступает в блок формирования заключения, где он выступает в качестве задания на вывод.
Значительные проблемы возникают при исключении омонимии в названиях классов сущностей. Лингвистический блок должен, например, установить, что в рамках некоторого определенного универсума «люди» имена «трезвенники» и «те, кто не пьют» относятся к одному и тому же классу сущностей. Установление подобных соотношений невозможно без учета специфики той проблемной области, к которой относятся силлогистические утверждения. В памяти лингвистического блока должна храниться достаточная информация о возможных преобразованиях имен классов сущностей.
Если очередной факт, переведенный в нормальную форму, поступает в базу фактов, то прежде чем занять в ней свое место, он подвергается проверке с помощью процедур, встроенных в базу фактов. Сначала проверяется, не содержится ли такой же факт в базе. Если подобный факт уже есть, то он не дублируется. Затем проверяется, не противоречит ли вновь поступивший факт тем, которые уже хранятся в базе фактов. Противоречивыми являются пары, отмеченные крестиком в табл. 2.
Таблица 2
Они противоречивы тогда, когда в обоих высказываниях речь идет об одинаковых классах сущностей
Поэтому если, например, на вход базы фактов поступил факт
Какие решения принимает система, если она обнаруживает противоречие между вновь поступившим фактом и теми, которые до этого хранились в базе фактов? Какому из двух выявившихся противоречивых фактов система должна верить?
На эти вопросы практически нет ответа. Возможные альтернативы: хранение всех фактов при условии, что противоречивые факты относятся к различным возможным мирам; исключение этой пары фактов из базы фактов, так как в системе нет средств для определения предпочтительности истинности того или иного факта; привлечение дополнительной информации для выбора из двух противоречащих фактов одного, истинность которого обоснована больше.
Поясним эти альтернативы на следующем примере. Пусть в базе фактов хранился факт
При выборе второй альтернативы система должна будет стереть из базы фактов информацию о классе сущностей «лошади» или убрать из нее факт
Наконец, если используется третья альтернатива, то система может, например, не воспринять факт, касающийся Пегаса, зная из каких-то побочных источников, что в памяти хранятся лишь факты, относящиеся к области коневодства, и что Пегас не является именем конкретной сущности.
Кроме чистого противоречия, выявить которое принципиально несложно, при вводе нового факта в базу фактов приходится сталкиваться и с проблемами
Продолжим обсуждение работы системы, структура которой показана на рис. 18. Возможны два режима работы системы:
После нахождения такой пары она передается в блок формирования заключения. В этом блоке проверяется возможность вывода, т.е. возможность того, что пара типов посылок в данной фигуре силлогизма образует правильный модус. Если правильный модус не образуется, то вырабатывается требование на поиск новой пары посылок. Если же вывод возможен, то его результат сравнивается с высказыванием, являющимся целью доказательства теоремы. Если полученное заключение есть искомое высказывание, то процесс доказательства обрывается и результат, говорящий о том, что теорема верна, выдается из системы. Если этого не произошло, то полученное заключение добавляется в базу фактов и процесс поиска доказательства продолжается.
В рассмотренной процедуре возникает проблема остановки. Если нужный факт не выводится из той системы посылок, которая имеется в базе фактов, то как это узнать? Единственный возможный ответ связан с полным перебором всех сочетаний посылок, дающих фигуры силлогизма. Это же касается и случая прекращения процесса пополнения базы фактов после введения нового факта в систему.
Суммируя все сказанное, необходимо отметить, что, несмотря на внешнюю простоту процедуры вывода в силлогистике, в ней, как в капле воды, отражаются все те трудности, которые связаны с поиском вывода. Прежде всего это трудности понимания поступающих в систему сообщений, истолкования их в терминах, понятных на уровне внутреннего языка (в нашем случае это необходимость в процедурах нормализации сообщений). Затем это ряд трудностей, вызываемых процедурами проверки поступающего сообщения на согласованность содержащейся в нем информации с той информацией, которая ранее хранилась в памяти системы. Это трудности поиска, не опирающегося на какую-то цель, или при известной цели (в случае доказательства теоремы) не опирающегося на какие-либо соображения о путях движения по дереву вывода. Наконец, это трудности, связанные с прекращением процедур вывода и формированием отрицательного ответа на поставленный перед системой вопрос о выводимости.
Все эти трудности в той или иной форме будут присущи и другим системам моделирования человеческих рассуждений, ибо они являются принципиальными для всех
Формальная система – это четверка вида
Ф=<
Множество
Множество
Множество
Наконец,
Формальные системы обладают одним общим свойством – автономностью. Если в такой системе задать все четыре множества, то она самостоятельно начнет генерировать множество выводимых в ней синтаксически правильных совокупностей. Они будут порождаться в результате применения различными способами правил вывода к совокупностям из множества
Легко усмотреть, что силлогистика Аристотеля и ее расширения, описанные нами, являют собой пример формальной системы. В качестве элементов
Другие подходы к моделированию человеческих рассуждений, возникшие в столь же давние времена, что и силлогистика, не сумели достигнуть ее уровня. Но анализ их достижений полезен, ибо позволяет ввести некоторые типы нестрогих человеческих рассуждений, которые были отброшены силлогистикой как не отвечающие строгим логическим принципам. Ибо истина и ложь в человеческих рассуждениях это не Истина и Ложь с большой буквы, о которых говорят строгие логические теории. Но и они имеют право говорить об Истине лишь тогда, когда исходные факты, служащие посылками, не могут быть подвергнуты никакой критике. А возможно ли это? Во всяком случае, возможно ли это, когда мы рассуждаем о проблемных областях, знание о которых у нас не абсолютно? Ответ, как мне кажется, дан героем повести «Сказка о тройке» А. и Б. Стругацких Фарфуркисом:
«Действительно, что такое ложь? Ложь это отрицание или искажение факта. Но что есть факт? Можно ли вообще в условиях нашей невероятно усложнившейся действительности говорить о фактах? Факт есть явление или деяние, засвидетельствованное очевидцами? Однако очевидцы могут быть пристрастными, корыстными или просто невежественными. Факт есть деяние или явление, засвидетельствованное в документах? Но документы могут быть подделаны или сфабрикованы. Наконец, факты есть деяния или явления, фиксируемые лично мной. Однако мои чувства могут быть притуплены или даже совсем обмануты привходящими обстоятельствами. Таким образом, оказывается, что факт как таковой есть нечто весьма эфемерное, расплывчатое, недостоверное, и возникает естественная потребность отказаться от такого понятия. Но в этом случае ложь и правда автоматически становятся первопонятиями, неопределимыми через какие бы то ни было более общие категории. Существует Большая Правда и антипод ее, Большая Ложь. Большая Правда столь велика и истинность ее столь очевидна всякому нормальному человеку, каким являюсь и я, что опровергать ее и искажать ее, т.е. лгать, становится совершенно бессмысленно. Вот почему я никогда не лгу и не лжесвидетельствую».
Это высказывание Фарфуркиса должно звучать для читателя предостережением от слепого поклонения ясным и прозрачным моделям рассуждений, в основе которых лежат генераторы правильных заключений, т.е. формальные системы. Ибо в подобных генераторах вывод всегда правилен, но это ничего не говорит об истинности получаемого заключения. Истинность определяется не только правильностью вывода, обеспечиваемой самой формальной дедуктивной системой, но и истинностью тех посылок, которые были выбраны в качестве аксиом. Именно поэтому во времена Аристотеля силлогизм
казался истинным, ибо посылка «Все лебеди белые» подтверждалась, как и посылка «Все люди смертны», всем человеческим опытом, накопленным в Греции той эпохи. И понадобились сотни лет, чтобы убедиться в ложности этой посылки, ибо в Австралии были обнаружены черные лебеди. И если теперь заключение силлогизма о лебедях является явно ложным, сам способ его получения, т.е. путь доказательства, остается правильным.
Забытые науки
На пути развития человеческих знаний о внешнем мире возникали и исчезали целые науки. Одни из них, например алхимия или риторика, известны современному человеку хотя бы понаслышке, о других, например экзегетике, герменевтике или мантике, знает весьма узкий круг специалистов, занимающихся историей науки и культуры.
Но в последние годы отмечается возрождение интереса к этим, казалось бы, прочно забытым наукам. Появляются книги, посвященные алхимии и ее влиянию на современные представления в химии, вновь возрождаются исследования в области риторики, используемой как в теории аргументации (о которой в этой книге речь будет позже), так и в юриспруденции. Герменевтические схемы становятся предметом тщательного изучения специалистами, работающими в области семантики текстов. Поистине многое новое – это хорошо забытое старое. Очищенные от мистической шелухи, в которую они были надежно запрятаны, некоторые результаты алхимии, герменевтики или экзегетики начинают включаться в современную сумму научных сведений и методов, переживая новое рождение.
Алогичность ряда положений священных книг древности, наличие в них непонятных и многозначно толкуемых мест породили среди адептов соответствующего учения стремление к выявлению той внутренней логики и непротиворечивости, которая должна быть в «боговдохновенных» сочинениях. Упоминавшийся уже Фома Аквинский использовал для этих целей силлогистику Аристотеля. Комментаторы первых пяти книг Ветхого завета, считавшихся в иудаизме священными, избрали другие приемы рассуждений, давшие обширную талмудическую литературу, представляющую собой логические (точнее, герменевтические) комментарии к Пятикнижию и комментарии на ранее сделанные комментарии.
Нас, конечно, интересуют не те конкретные результаты, которые получили богословы при использовании разработанных ими приемов получения заключений, а сами приемы как схемы возможных человеческих рассуждений. Эти схемы распадаются на три типа:
В данном разделе основное внимание будет уделено герменевтическим схемам. В таких схемах происходит анализ не отдельных высказываний, как это было, например, в силлогистике Аристотеля, а всего текста, в котором существует данное высказывание. Для герменевтики важно не только то, о чем говорится в тексте, но и как устроен сам текст, как организована его структура, в каком порядке идут в нем высказывания и отдельные слова в этих высказываниях.
Рассмотрим ряд схем получения заключений, характерных для герменевтики.
1. В одном из стихотворений К. Бальмонта есть такая строка: «Все моря целовали его корабли». Эта фраза явно неоднозначна. Неясно, кто кого целует: моря корабли или корабли моря. Однако если внимание читателя специально не обратить на этот факт, то эта неоднозначность как бы исчезает. Подавляющее большинство читателей (как, по-видимому, и сам К. Бальмонт) будет считать, что именно моря целовали корабли, а не наоборот. Весьма известный пример такого рода: «Мать любит дочь» – также демонстрирует неоднозначность субъекта и объекта, но большинство людей, встречая подобную фразу, твердо уверены, что субъектом ее является мать, а не дочь. И, наконец, еще один пример: «Он встретил ее на поляне с цветами». У этой фразы три смысла в зависимости от того, где были цветы: у него в руках, у нее в руках или просто росли на поляне. Абсолютное большинство людей воспринимает эту фразу однозначно, считая, что цветы росли на поляне, а не составляли букета в руках у него или у нее.
Мы почти бессознательно учитываем при истолковании смысла русских предложений порядок слов в них и взаимную удаленность одних слов от других. Мы склонны считать, что в предложении сначала упоминается субъект, а затем объект, на который направлено действие. Мы склонны также считать, что чем ближе находятся слова в предложении друг к другу, тем теснее связь между ними. Эти психологические законы восприятия текста опираются на наш повседневный опыт работы с текстами и повседневное восприятие живой речи и отражают тот факт, что в подавляющем большинстве случаев это действительно так и бывает. А многозначно понимаемые фразы встречаются весьма редко.
Опишем ряд герменевтических схем, основанных на учете взаимного расположения слов в тексте.
1a. Обозначим через
«Если вам хочется услышать истинную поэзию, то возьмите русских поэтов: Пушкина, Лермонтова, Тютчева и почитайте их». С точки зрения приема, который мы анализируем, заключение рассуждения нужно понимать так, что Некрасова читать не рекомендуется, ибо общее «русские поэты» предшествует частному, заданному перечислением подкласса класса «русские поэты», содержащему только трех указанных поэтов.
1б. Если частное предшествует общему, то заключение касается общего. Пример: «Если вам хочется услышать истинную поэзию, то возьмите Пушкина, Лермонтова, Тютчева, русских поэтов и почитайте их». В этом случае с точки зрения законов герменевтики почитать надо не обязательно одного из трех поэтов, чьи имена перечислены перед именем общего для них класса сущностей «русские поэты», но любого из поэтов, входящего в этот класс.
1в. Если частное заключено между двумя общими, то заключение относится к тем расширениям частного, которые сохраняют сущность этих частных. Следующий пример поясняет этот прием: «Ты можешь купить на свои деньги все, что хочешь: посуду, холодильник, гарнитур для спальни, словом, все, что тебе нужно». Из этой фразы должен следовать вывод, что можно истратить деньги на любые вещи, нужные для оборудования квартиры, но никак не на одежду или украшения.
2. Если имеются два утверждения, из которых одно относится к некоторому классу сущностей
2а. Если частный случай упомянут в контексте общего случая, то на частный случай распространяются все выводы, вытекающие из общего случая, а все пояснения к частному случаю являются истинными и для общего случая. Рассмотрим пример: «Всякая найденная вещь должна быть возвращена владельцу или передана в стол находок. Если кто-то забыл книгу, выходя из метро, то надо окликнуть его, пока он не вышел из вагона, или догнать его. Если же пассажира в вагоне не было, когда была обнаружена книга, то ее надо сдать в стол находок». Согласно правилам герменевтики, восходящим еще к толкованию Пятикнижия талмудистами, подобный текст переносит все, что сказано о книге, на любые предметы, обнаруженные в вагоне метро.
2б. Если некоторое частное утверждение общего утверждения находится с ним в тексте одновременно и содержит посылки, более частные, чем общее утверждение, то этот частный случай есть исключение из общего утверждения. Примером такой схемы рассуждений может служить вывод о том, что в общественном транспорте военнослужащий не обязан отдавать честь вышестоящему начальнику, так как в уставе одновременно содержится общее требование отдачи чести военнослужащим при встрече со старшим по званию, а также частное требование, указывающее конкретные условия (посылки), при которых честь не отдается.
2в. В предшествующем случае посылки частного утверждения входили в посылки общего утверждения, но приводили к другому заключению, отменяющему общее. Но возможен случай, когда заключение частного утверждения не только не отменяет общее, но как бы усиливает его. Проиллюстрируем это на примере закона о хищениях, который вполне мог бы быть в уголовном кодексе некоторой страны: «При хищении имущества граждан преступник несет наказание в виде тюремного заключения от двух до пяти лет. При хищении в особо крупных размерах срок его наказания от семи до девяти лет.» В этом примере второе утверждение по форме является частным, а первое общим. Однако заключение второго утверждения усиливает заключение первого.
Два последних типа герменевтических рассуждений весьма часто используются в юриспруденции, усиливая и смягчая наказания в зависимости от тех или иных конкретных посылок, входящих, как правило, в посылки общих утверждений.
3. Этот герменевтический прием рассуждения весьма распространен в юриспруденции всех стран. Если в некотором месте текста, когда говорится о чем-то и допускается, что это что-то необходимо следует из посылок
4. Если в тексте содержатся два утверждения, противоречащие друг другу, то либо в тексте имеется утверждение, примиряющее их, либо такое утверждение надо построить, введя в противоречащие утверждения такую посылку, которая «разводит» их и снимает их противоречивость. Этот прием весьма хитроумно использовали талмудисты для устранения вопиющего противоречия, связанного с указаниями срока употребления опресноков во время пасхи. В книге «Второзаконие» в одной и той же главе говорится, что опресноки надо употреблять в пищу и шесть и семь дней. Ситуация исключительно тяжелая. Но вот как талмудисты преодолели ее. По учению фарисеев первый сноп нового урожая торжественно приносился в храм на второй день пасхи. После его освящения в храме разрешалось есть хлеб нового урожая. Учитывая это обстоятельство, талмудисты устранили противоречие, добавив к заключениям о том, что опресноки надо есть шесть дней и что опресноки надо есть семь дней, посылки о типе муки, используемой при выпечке опресноков. Если это мука получена из зерен старого урожая, то такие опресноки можно есть все семь пасхальных дней, а если для их приготовления используется мука из зерен нового урожая, то число дней потребления опресноков, естественно, сокращается до шести.
К сожалению, процедуры поиска дополнительных посылок, «разводящих» противоречивые высказывания, до сих пор не созданы. Если бы это удалось, то многие проблемы сохранения непротиворечивости баз данных и баз знаний в современных интеллектуальных системах, а также непротиворечивости рассуждений, опирающихся на факты и знания, были бы решены.
5. Если в ряду однотипных утверждений что-то упоминается ранее, то оно автоматически переносится на все последующие утверждения. Если бы этот прием герменевтики перенести на текст известной русской сказки «Терем-Теремок», то можно было бы существенно сократить ее текст, ибо повтор всего диалога с вновь пришедшим к теремку персонажем не нужен. Достаточно лишь последней его части, отличающей его от предшествующего диалога. Правда, тогда бы потерялась вся прелесть и привлекательность этой сказки.
Наверное, читатель уже уловил суть герменевтических схем. Конечно, в отличие от строгих силлогистических рассуждений, сомнение в справедливости которых возможно лишь при очень тщательном их анализе, правильность герменевтических рассуждений можно подвергнуть критике «с ходу». Однако с их помощью удается объяснить многие особенности человеческих рассуждений, которые, как мы уже неоднократно подчеркивали, не являются в большинстве своем рассуждениями, порождаемыми формальными системами. Именно поэтому мы рассмотрим еще несколько «экзотических» схем рассуждений.
Разнообразные логические системы, родившиеся в Индии, Китае, Японии и других странах, дают немало примеров моделей рассуждений, которые не принимаются теми, кто считает необходимым, чтобы в основе логической системы дедуктивного типа лежала идея формальной системы. Здесь не место давать сколь-нибудь глубокий анализ систем Востока, в которых логика тесно переплетается с философией, а зачастую и с религией. Наша задача состоит лишь в том, чтобы у читателя сложилось представление, что многие особенности человеческих рассуждений (прежде всего опирающихся на правосторонние механизмы), никак не отражаемые в логических теориях Европы, находят место в теориях, рожденных в Азии.
Этим системам ничуть не были чужды идеи чисто дедуктивных рассуждений по типу силлогистики Аристотеля. Вот как звучит дошедший до нас из глубины веков разговор философа Махинды, посланца царя Ашоки, ревностного проповедника и распространителя буддизма, с царем Цейлона Ланка Деванампиятиссом. В этом разговоре Махинда проверяет логические способности царя Цейлона, ибо для восприятия философии буддизма, по мнению Ашоки, требуется определенный уровень логического мышления, способности к рассуждениям логического типа:
– Как называется это дерево, о царь?
– Это дерево называется манго.
– Существуют ли здесь еще деревья манго, кроме этого?
– Существует множество деревьев манго.
– А существуют ли здесь другие деревья, кроме этого дерева манго и других деревьев манго?
– Существует множество деревьев, о достопочтенный, но это деревья, которые не есть деревья манго.
– А существует ли здесь, кроме других деревьев манго и тех деревьев, которые не есть деревья манго, еще другие деревья?
– Вот это дерево манго, о достопочтенный.
– Есть ли здесь люди твоего рода, о царь?
– Здесь много людей моего рода, о достопочтенный.
– А есть ли здесь кто-либо, не принадлежащий к твоему роду, о царь?
– Да, их здесь еще больше, чем людей моего рода.
– А есть ли здесь кто-либо, кроме людей твоего рода и других?
– Это я, о достопочтенный.
Результатом этой проверки Махинда был, несомненно, доволен. Условия для распространения буддизма оказались на Цейлоне вполне подходящими, ибо царь Ланка Деванампиятисс вполне справился с задачами выделения классов сущностей и выявления тех жергоновых отношений, которые между ними имеются. Он даже оказался способным на силлогистические заключения! Этот пример показывает, что в Индии периода развития буддийского учения логика уже достигла уровня силлогистики. Однако в ней не был сделан решающий шаг: не совершился переход к замкнутой дедуктивной системе. Силлогистические заключения остались всего лишь одним из приемов для проведения рассуждений. Интересно, что в буддийской логике силлогизм был не трехчленным, как у Аристотеля (две посылки и заключение), а пятичленным. Но его пятичленность определялась не тем, что использовались сориты с четырьмя посылками, а тем, что он представлял собой как бы два силлогизма Аристотеля, сцепленные друг с другом. Рассмотрим пример такого рассуждения.
В этом рассуждении второе утверждение найдено по аналогии с первым наблюдением. Третье утверждение есть переход от частного к общему. Четвертое утверждение устанавливает связь по общности (аналогии) между первым и вторым утверждением. Наконец, общее заключение выводится из всего предшествующего. Таким образом, в пятичленном рассуждении, приведенном нами, используются одновременно индуктивные и дедуктивные рассуждения, а также вывод по аналогии.
Не чужды были буддийским мыслителям и герменевтические схемы. Они, например, широко пользовались так называемым «принципом куропаток», который звучал так: «Если в тексте о чем-то говорится как о множестве, то число элементов множества равно трем». Этот странный принцип обосновывается тем, что по закону о жертвоприношениях количество жертвенных животных (в том числе и куропаток) никак не ограничивалось. С другой стороны, имел место закон, запрещающий убийство. Коллизия этих двух требований и породила конформистский «принцип куропаток».
В философском учении школы хуаянь, процветавшей в Китае, имеются элементы логики, в которой закон тождества понимается не статично, как в силлогистике Аристотеля, а диалектически. В такой форме закон тождества звучит следующим образом: «Всякое
«Мир дхарм ши это мир явлений, которые изменчивы, многообразны, отличны друг от друга, все события и предметы этого мира взаимосвязаны. Мир дхарм не является миром сущностей, неизменных и вечных. Этот мир есть некоторая единая субстанция. И оба мира неотделимы друг от друга, взаимозависимы, образуют единое неразрывное целое. Ши и ли взаимно обусловлены,
В этой позиции предугаданы многие законы, которые позже стали изучаться в диалектической логике. В настоящее время эта логика находится в стадии становления, в стадии поиска формального аппарата, который позволил бы ей достичь того же уровня формализации, который достигнут в формальных логиках, отражающих человеческие рассуждения о мире явлений, в котором нет диалектических переходов. Но уже в древности философы и мыслители пытались в своих логических построениях преодолеть статичность и метафизичность описываемого мира и выдвигать положения, подобные тем, которые приняты в философской системе хуаянь или сформулированы в древнеиндийской сутре Ланкаватра: «Вещи не такие, как они выглядят, но и не другие».
Попытки ввести диалектику в схемы логических рассуждений делались, конечно, не только на Востоке, но и в Европе. Достаточно вспомнить Гегеля с его диалектическим методом. Но до сих пор так и не удалось создать формальную систему, в рамках которой описывались бы законы рассуждения, опирающиеся на диалектику. Это дело будущего. И, возможно, для этого потребуется расширение самого понятия формальной системы.
А сейчас мы переходим к описанию двух мощных формальных дедуктивных систем, порожденных наукой Нового времени. Именно эти системы впервые позволили автоматизировать ряд характерных для человека способов рассуждений, опирающихся на схему дедуктивного вывода.
Глава третья. АВТОМАТИЗАЦИЯ ДОСТОВЕРНЫХ РАССУЖДЕНИЙ
Исчисление высказываний
Под
Не всякие фразы на естественном языке могут быть высказываниями. Например, утверждение «Девушка была очень красивой» таковым не является. Одни мужчины могут согласиться с мнением, высказанным в этой фразе, т.е. посчитать, что это утверждение истинно, но другие могут и не принять данной точки зрения, т.е. посчитать утверждение ложным. Такого рода утверждения в рамках формальной системы, называемой
О формальной системе речь шла во второй главе, и читатели, наверное, помнят, что такие системы задаются как четверки, состоящие из множества базовых элементов
В качестве элементов множества
Сформулируем теперь совокупность синтаксических правил для исчисления высказываний.
1. Всякое элементарное высказывание является правильной совокупностью (будем говорить далее
2. Если ? и ? являются правильными формулами, то правильными формулами являются также ?, (?&?), (??) и (??).
3. Других правильных формул в исчислении высказываний нет.
Между знаками логических связок , &, и и конструкциями естественного языка существует некоторая связь, которую проиллюстрируем на примерах. Воспользуемся стихотворением Давида Самойлова «Пестель, поэт и Анна». Вот его начало:
В этом четверостишии можно выделить четыре элементарных высказывания:
Вспомним, что такое конъюнкция и дизъюнкция. Во второй главе, определяя эти связки, мы говорили, что ?&? является истинным, если истинны оба утверждения ? и ?, а ?? является истинным, если истинно хотя бы одно из утверждений ? или ?. Такое определение связок позволяет перейти от структуры, в которой используются союзы И и ИЛИ, к записи ((
Проверим, достигаем ли мы нужной цели с помощью данной комбинации. Если ? и ? ложны, то ложны правильные формулы (?&?) и (?&?) и, следовательно, по свойству дизъюнкции ложна и вся большая формула. Если же ? и ? одновременно истинны, то опять обе конъюнкции ложны, так как в них входят ложные высказывания, получающиеся из истинных путем отрицания, и, следовательно, вся дизъюнкция опять является ложной. И лишь тогда, когда из двух высказываний ? и ? одно истинно, а другое ложно, мы получаем истинность всего высказывания. После этого уточнения правильная формула исчисления высказываний, соответствующая нашему примеру, примет вид ((
Рассмотрим еще одну цитату из того же стихотворения: «…Если трон находится в стране в руках деспо?та, тогда дворянства первая забота сменить основы власти и закон». Введем два элементарных высказывания:
Исследуем запись (
Наверное, самым разумным с точки зрения здравого смысла было бы вообще отказаться от определения истинности или ложности выражения (ЕСЛИ ? ТОГДА ?), когда ? является ложным. Ибо для выводов в этом случае нет никакой информации. Во второй главе мы использовали знак выводимости . Вот с его-то помощью и можно формализовать случай, когда в записи
И еще одно замечание, касающееся импликации. Эта связка, как и разделительная дизъюнкция, может быть сведена к комбинации других связок, имеющихся в исчислении. Читатели легко могут убедиться в справедливости замены ?? на ??. Однако по ряду причин в исчислении высказываний в его классической форме импликация сохраняется как самостоятельная связка[5].
Не нужно думать, что переход от фраз на естественном языке к соответствующим им правильным формулам исчисления высказываний столь прост. На этом пути стоит немало трудностей, И прежде всего потому, что частицы и союзы языка типа НЕ, И, ИЛИ, ТО, ЕСЛИ и т.п. не являются однозначными свидетельствами наличия похожих на них связок. Цитата из стихотворения «Смерть поэта» Д. Самойлова иллюстрирует это положение:
Встречающиеся здесь И и ИЛИ не являются прямыми аналогами связок исчисления высказываний.
Мы ввели множество базовых элементов и множество синтаксических правил. Теперь необходимо ввести множество аксиом. В логике в качестве множества аксиом выбирают обычно совокупность правильных формул, которые являются
Читатели могут сами убедиться в том, что при всех комбинациях истинности и ложности формул ?, ? и ? четыре выписанные аксиомы всегда являются истинными. Такие аксиомы принято называть
Перейдем к описанию правил вывода
Первое правило носит название
Второе правило называется модус поненс (лат. modus ponens) или
Мы полностью описали исчисление высказываний. Заметим еще раз, что оно устроено так, что в результате выводов из аксиом получаются лишь тождественно истинные формулы. Можно показать, что система логических аксиом может быть выбрана таким образом, что для любой тождественно истинной формулы всегда найдется цепочка выводов (логических рассуждений), с помощью которой она будет выведена из системы аксиом путем применения правил подстановки и заключения. Другими словами, может быть построена полная система аксиом, из которой будут выводиться все тождественно истинные формулы и только они. Как показали исследования логиков, таких полных систем аксиом существует много. Система из четырех аксиом, которую мы только что рассмотрели является полной. Ее предложил известный немецкий математик и логик Д. Гильберт.
Подобное свойство исчисления высказываний позволяет достаточно легко ответить на кардинальный вопрос, возникающий для любой формальной системы: принадлежит ли некоторая правильная формула к множеству формул, выводимых в данной формальной системе? Для ответа на этот вопрос надо построить таблицу, в которой в левой части перечислены все возможные комбинации значений истины и лжи для высказываний, входящих в эту формулу (легко видеть, что при
Пусть, например, надо узнать, выводима ли в исчислении высказываний формула ((??)?). В эту формулу входит одно высказывание ?. Поэтому нужно проверить лишь две комбинации истинности: когда ? истинно и когда оно ложно. В первом случае по свойству импликации первая скобка является истинной, ибо ? ложно. Но тогда истинна и вся формула, ибо импликация истинна, когда истинны ее левая и правая части. Если же ? ложно, то первая скобка является ложной, так как левая часть импликации (??) истинна, а правая ложна. Но тогда вся формула является истинной. Тем самым доказано, что интересующая нас формула является тождественно истинной и, следовательно, выводимой в исчислении высказываний.
О чем все это говорит? Прежде всего о том, что процедура выводимости в исчислении высказываний конструктивно разрешима. Проверка общезначимости (тождественной истинности) формулы сводится к построению нужной конечной таблицы и перебору всех вариантов, содержащихся в ее левой части, с целью определения истинностного значения проверяемой формулы. Получение первого значения «ложь» свидетельствует о невыводимости. Если же при всех комбинациях, перечисленных в левой части таблицы, формула принимает значение «истина», то она выводима с помощью описанных выше двух правил вывода из той или иной полной системы абсолютных аксиом.
Проиллюстрируем эту процедуру еще на одном примере. Проверим, является ли выводимой формула ((??)((??)&?)). В этой формуле (будем обозначать ее ?) имеется три высказывания, что приводит к необходимости рассмотрения истинного значения ? на 23=8 комбинациях. Эти комбинации и соответствующие шаги по определению истинностного значения ? на них даны в табл. 3, в которой И и Л означают соответственно значения «истина» и «ложь».
Таблица 3
Появление в пятой строке в столбце ? значения Л свидетельствует о невыводимости исследуемой формулы. На этом шаге процесс вывода можно прекратить. Остальные строки в таблице приведены лишь для полноты картины.
«Логик-теоретик»
Так была названа программа для ЭВМ, созданная в середине шестидесятых годов американским кибернетиком А. Ньюэллом в содружестве с психологом Г. Саймоном. Она была предназначена для доказательства теорем в исчислении высказываний, т.е. для поиска обоснования тождественной истинности некоторых утверждений. Для того чтобы перейти к описанию программы «Логик-теоретик», введем предварительно понятие о равенстве двух выражений исчисления высказываний. Будем говорить, что выражения ?1 и ?2 равны между собой, и записывать этот факт обычным образом ?1=?2, если на всех возможных наборах интерпретации истинности входящих в них элементарных высказываний истинность ?1 и ?2 одинакова.
Появление знака равенства, которого не было в исчислении высказываний, не должно нас смущать. Его легко можно исключить из рассмотрения, введя формулу ((?1&?2)(?1&?2)). Читатели могут проверить, что эта формула будет истинной только в том случае, когда оценки истинности ?1 и ?2 одинаковы. Тогда утверждение, что ?1=?2, становится эквивалентным утверждению, что формула ((?1&?2)(?1&?2)) является истинной.
«Логик-теоретик» должен был доказывать справедливость утверждений вида ?1=?2 для различных ?1 и ?2. Однако авторы «Логика-теоретика» не пошли по прямому пути. Не стали строить таблицы для ?1 и ?2 и проверять совпадение истинности ?1 и ?2 на всех возможных интерпретациях истинности их аргументов. Ведь с ростом числа аргументов
В основу процесса доказательства они положили идею ликвидации различий в формульной записи ?1 и ?2. Авторы программы составили перечень из шести различий.
1. В ?1 и ?2 различное число членов в формулах. Например, ?1=??, а ?2=??[6].
2. В ?1 и ?2 имеется различие в основной связке (т.е. в связке, которая выполняется последней). Например, ?1=(??)(), а ?2=(?)?.
3. Перед всем выражением для ?1(?2) стоит знак отрицания, а перед ?2(?1) его нет. Например, ?1=(??), а ?2=??.
4. Аналогичное различие, но оно касается не всего выражения для ?
5. Скобки в ?1 расставлены не так, как в ?2. Например, ?1=?(??), а ?2=(??)?.
6. Записи для ?1 и ?2 отличаются порядком следования подвыражений. Например, ?1=(??)?, а ?2=?(??).
Для того чтобы иметь возможность ликвидировать подобные различия, используются 12 преобразований формул исчисления высказываний. Первые семь преобразований носят тождественный характер, т.е. не меняют истинного значения преобразуемых формул. Последние пять верны только при условии, что левая часть их является тождественно истинной (
В преобразованиях использованы большие латинские буквы, которые могут соответствовать любым подвыражениям формул ?1 и ?2. Стрелки и показывают направление преобразований. (Знак есть по сути знак .)
С помощью этих преобразований можно устранять различия между ?1 и ?2, которые мы перечислили выше. Укажем в специальной табл. 4 классы преобразований
Таблица 4
Крестики поставлены там, где можно устранить различие с помощью соответствующего преобразования.
Покажем работу программы «Логик-теоретик» на несложном примере. Пусть требуется доказать равенство ?1=?2, имеющее вид
Применим к ?1 первое преобразование из
Поскольку в ?1 осталось еще выражение
Теперь можно применить второе преобразование из
Четвертое преобразование из
Пример, конечно, не отражает всех особенностей работы программы «Логик-теоретик». Мы несколько упростили задачу. Как видно из таблицы различий, выбор преобразования на каждом шаге далеко не однозначен. В формулах могут существовать одновременно несколько различий, а для ликвидации различия можно использовать несколько преобразований. Всякий вывод, как бы он не был организован, носит переборный характер. И успешность того или иного выбора преобразования не может быть оценена локально, в момент выбора. Поэтому программа вынуждена перебирать варианты, заходить в тупики, проходить циклы прежде, чем она сможет найти правильный путь решения. Повышение эффективности процесса вывода – центральная проблема всех автоматизированных систем дедуктивного вывода.
Исчисление предикатов
Исчисление высказываний не позволяет описывать дедуктивные рассуждения всех типов, в частности силлогистические умозаключения. Оно слишком бедно выразительными средствами.
Его естественным развитием является исчисление предикатов. Как и исчисление высказываний, исчисление предикатов представляет собой формальную систему. Мы не будем описывать его в такой строгой форме (любители строгости могут найти подобные описания в литературе к данному разделу), а попытаемся оставаться на содержательном уровне описания.
Под предикатом будем понимать некоторую связь, заданную на наборе из констант или переменных, например утверждение «
В исчислении предикатов используются те же операции, что и в исчислении высказываний. С их помощью образуются предикатные формулы. Будем обозначать предикаты большими латинскими буквами. Примерами предикатных формул могут служить
В исчислении предикатов используются два квантора:
Вспомним И.А. Крылова: «А вы, друзья, как ни садитесь, все ж в музыканты не годитесь!». Обозначим через Р(
А вот Ф. Тютчев: «Бывают роковые дни лютейшего телесного недуга и страшных нравственных тревог…». Если
Отметим, что имеют место следующие соотношения:
Справедливость их вытекает из смысла кванторов. Они позволяют любую формулу в исчислении предикатов представить в виде предваренной нормальной формы (ПНФ). В ней сначала выписываются все кванторы, а затем предикатные выражения. Например, формула
записана в ПНФ.
Введение кванторов и , а также их отрицаний наводит на мысль о связи исчисления предикатов и силлогистики Аристотеля. Вспомним еще раз смысл кванторов, использованных в силлогистике:
На первый взгляд такая замена вполне законна. Но для того, чтобы убедиться в этом, необходимо показать, что в исчислении предикатов могут быть выведены все модусы силлогистики Аристотеля.
Система аксиом и правила вывода в исчислении предикатов могут быть заданы следующим образом. В качестве системы аксиом берется любая известная система аксиом исчисления высказываний и к ней добавляются специфические для исчисления предикатов аксиомы, например, такие:
Смысл их очевиден. Первая аксиома говорит о том, что если
К правилам вывода, используемым в исчислении высказываний, в исчислении предикатов добавляются еще три правила.
1. Пусть
2. Если
3. Если
Использование такой системы аксиом и такого множества правил вывода позволяет в исчислении предикатов из тождественно истинных формул получать тождественно истинные.
Вернемся теперь к попытке вложения силлогистических утверждений в исчисление предикатов. Исследование выводимости 24 модусов, верных в силлогистике Аристотеля, в исчислении предикатов привело к следующему результату. Если предполагать, что все классы сущностей непусты, т.е. рассуждения не касаются мыслимых сущностей (например, драконов или русалок), то приведенная выше замена силлогистических выражений выражениями логики предикатов будет полностью справедлива. Другими словами, при непустых классах сущностей все модусы силлогистики Аристотеля выводятся в исчислении предикатов.
Иная ситуация возникает при допущении пустых классов сущностей. В исчислении предикатов предикаты с пустыми областями для аргументов ведут себя совсем не так, как такие же предикаты с непустыми областями. В этих условиях оказываются невыводимыми все модусы силлогистики, в которых вывод носит частный характер, а обе посылки носят общий характер. Например, оказываются невыводимыми модусы
Хотелось бы обратить внимание читателей на только что полученный результат моделирования. Даже в области дедуктивных рассуждений, дающих всегда достоверные результаты, характер человеческих рассуждений может быть различным. И он не обязан совпадать (как это показывает случай с силлогистикой) с теми схемами рассуждений, которые демонстрирует исчисление предикатов.
Общая схема вывода
Опишем общую схему выводов, лежащую в основе большого количества моделей человеческих достоверных рассуждений. Она приведена на рис. 19. Обратим сначала внимание на рис. 19,
Рис. 19.
Дерево вывода с такими условиями переходов от вершины к вершине носит название
Схема вывода не обязательно описывается в виде дерева. Она может иметь вид произвольной сети, ориентированной, неориентированной или частично ориентированной. На рис. 19,
Подобная ситуация приятна, но редко встречается в действительности. При решении любой задачи, даже если заранее известен ее ответ, к которому надо стремиться (для школьника эта ситуация с подглядыванием в ответ до решения задачи весьма типична), мы не видим перед собой полного лабиринта возможностей. Мы пытаемся построить этот лабиринт, видя лишь начальные «площадки лабиринта» и не зная, что лежит между ними и «целевыми площадками». В нашем примере мы стоим на начальной площадке, в вершине ?1, и не знаем, куда идти. Мы делаем попытку перейти в ?2 (т.е. вывести утверждение), но видим, что этого нельзя сделать. Тогда мы движемся в сторону утверждения ?3 и обнаруживаем, что его доказательство возможно. Теперь в нашем распоряжении две площадки лабиринта: ?1 и ?3. Из ?3 можно двигаться в четырех направлениях. Одно из них, ведущее назад к ?1, интереса не представляет. Попытка продвинуться к ?2 и ?5 оказывается успешной. Возникает новый фронт достигнутых площадок (доказанных утверждений). Теперь его образуют ?2, ?3 и ?5. Площадка ?1 исключается из активного фронта, так как использованы все связи этой площадки с другими площадками лабиринта. На следующем шаге достигаются площадки ?4 и ?6. Наличие среди доказанных выражений целевого ?6 позволяет завершить процесс доказательства. После этого можно произвести «чистку», в результате которой останется лишь тот путь, который кратчайшим образом приводит от начального утверждения ?1 к целевому ?6.
На примере мы описали процедуру, которая, как легко видеть, носит универсальный характер и пригодна для поиска пути вывода в лабиринтах произвольного типа. Эта процедура известна среди специалистов под названием
Возможен и другой способ поиска доказательства. Он носит название
Различие между прямой и обратной волной состоит в том, что они порождают в процессе своего движения различные промежуточные «фронты» площадок, что приводит к различному числу шагов при поиске. Часто используется смешанный метод вывода, при котором одновременно движутся прямая и обратная волны. При встрече этих волн формируется путь вывода от начальных аксиом к целевым выражениям.
Несколько иной разновидностью схем вывода являются так называемые
В знаменитом рассказе «Убийство на улице Морг» Эдгара По сыщик-любитель Огюст Дюпен помещает в газете объявление о находке орангутанга, который, по слухам, принадлежит матросу мальтийского корабля. На вопрос о причинах такого объявления Огюст Дюпен отвечает следующим образом:
«Но вот обрывок ленты, посмотрите, как она засалена, да и с виду напоминает те, какими матросы завязывают волосы. К тому же таким узлом мог завязать ее только моряк, скорее всего мальтиец. Я нашел эту ленту под громоотводом. Вряд ли она принадлежала одной из убитых женщин. Но даже если я ошибаюсь и хозяин ленты не мальтийский моряк, то нет большой беды в том, что я сослался на это в моём объявлении. Если я ошибся, матрос подумает, что кто-то ввел меня в заблуждение, и особенно задумываться тут не станет. Если же я прав, – это козырь в моих руках. Как очевидец, хоть и не соучастник убийства, француз, конечно, не раз подумает, прежде чем пойти по объявлению. Но вот он станет рассуждать: „Я не виновен, к тому же я человек бедный; орангутанг и вообще-то в большой цене, а для меня это целое состояние, зачем же терять его из-за пустой мнительности. Вот он, рядом, только руку протянуть. Его нашли в Булонском лесу, далеко от места, где произошло убийство. Никому в голову не придет, что такие страсти мог натворить дикий зверь. Полиции ввек не догадаться, как это случилось. Но хотя бы обезьяну и выследили – попробуй докажи, что я что-то знаю; а хоть бы и знал, я не виноват. Главное, кому-то я уже известен. В объявлении меня так и называют владельцем этой твари. Кто знает, что этому человеку еще про меня порассказали. Если я не приду за моей собственностью, а ведь она больших денег стоит, да известно, что хозяин – я, на обезьяну падет подозрение. А мне ни к чему навлекать подозрение, что на себя, что на эту бестию. Лучше уж явлюсь по объявлению, заберу орангутанга и спрячу, пока все не порастет травой“».
Читателю предлагается построить по этому тексту альтернативное дерево рассуждений владельца орангутанга.
И последнее замечание к тексту этой главы. Конечно, не надо считать дедуктивные схемы рассуждений панацеей для всех случаев. Метод, обычно приписываемый Шерлоку Холмсу, не всегда ведет к успеху.
Для многих читателей имя Шерлока Холмса навсегда связано с изяществом и неоспоримостью дедуктивного метода рассуждений. Но при внимательном чтении произведений Конан-Дойля легко обнаружить, что знаменитый сыщик пользовался не только дедуктивными рассуждениями. Шерлок Холмс никогда не забывал и об индукции.
Всякое порождение новой версии – это индуктивный шаг. Дедукцией является лишь обоснование выдвинутой версии. А выдвижение новых версий тесно связано с переходом от некоторых частных фактов к общим утверждениям относительно их, т.е. с правдоподобными рассуждениями. И настало время перейти к их обсуждению.
Глава четвертая. АВТОМАТИЗАЦИЯ ПРАВДОПОДОБНЫХ РАССУЖДЕНИЙ
От Аристотеля до Бэкона
Аристотель упоминал о двух основных процессах рассуждений: нисходящем или дедуктивном и восходящем или индуктивном. Иногда говорят, что дедукция – это рассуждение «от общего к частному», а индукция – «от частного к общему». При таком понимании этих двух процессов возникает иллюзия, что они как будто обратны друг другу и одну схему рассуждений можно получить из другой прямым обращением. Этой иллюзии поддался и Аристотель. Увлеченный красотой и стройностью воздвигнутого им здания силлогистики, он попытался втиснуть в его объемы и индуктивное рассуждение, ввести схему индуктивного силлогизма. Но здесь его подстерегала неудача. Индуктивные рассуждения никак не хотели отливаться в ту стройную форму, которая так подошла дедуктивным рассуждениям.
Попытки адептов учения Аристотеля исправить, уточнить, расширить понятие индуктивного силлогизма остались тщетными. В основе различия дедукции и индукции лежало нечто более существенное, чем думали мыслители, не желавшие выходить за рамки мира, очерченного рукой гениального Аристотеля.
Напомним еще раз основную цель, которую преследовал Аристотель, создавая силлогистику. Она должна была стать непобедимым оружием в споре. Если оппонент признавал общее положение, относящееся к классу однородных объектов или явлений (а как он мог не признать, например, столь очевидную истину, что «Все люди смертны»), и принадлежность какого-либо объекта или явления к этому классу (например, что «Сократ есть человек»), то ему ничего не оставалось сделать, как признать, что общий для всего класса признак переносится и на отдельный элемент этого класса. Возражать против такого хода рассуждений мог бы только человек, спорить с которым не имеет никакого смысла, ибо он отвергает очевидное.
Если бы аналогичная цель стояла перед спорящим, который пользуется методом индукции, то схема его рассуждений должна была быть следующей. Сначала он мог бы сообщить оппоненту несколько утверждений об отдельных представителях класса, в существование которого должны верить оба спорящих. Каждое такое утверждение должно касаться одного и того же признака, связанного с элементами этого класса (например, оппоненту надо было сообщить, что «Гомер смертен», «Фидий смертен», «Эзоп смертен», и добиться от оппонента признания правильности этих утверждений). После этого надо было прийти с противником к согласию, что все эти элементы принадлежат одному классу (в нашем примере, что Гомер, Фидий и Эзоп являются людьми). Далее нужно было совершить главный индуктивный шаг, перейти к утверждению о классе (т.е. ввести утверждение «Все люди смертны») и заставить противника принять это утверждение.
Трудность таится именно на последнем шаге спора. Примет или не примет этот шаг оппонент, зависит от степени его уверенности в правильности данного шага. Этот шаг требует не умения логически обосновывать свои действия и рассуждения, а веры в свою справедливость. Можно ли от трех конкретных утверждений о Гомере, Фидии и Эзопе перейти к общему утверждению о всех людях? Ответ на этот вопрос не снимается, если мы к названным трем великим представителям греческой культуры добавим еще кого-нибудь. Где граница, после которой индуктивный шаг станет оправданным? Ответа на этот вопрос нет и быть не может. Именно поэтому
Мы получили весьма важный вывод о том, что каждое правдоподобное утверждение
Подчеркнем еще раз принципиальное различие между дедуктивной и индуктивной схемами рассуждений. Если посылки в дедуктивной схеме выбраны правильно, являются истинными, то получаемые с их помощью заключения не могут быть ложными. Если они нас чем-то настораживают, вызывают недоумение, то надо еще раз проверить истинность посылок. Убедившись в их правоте, ничего не остается делать, как полностью принять следующие из них выводы. Если посылки в индуктивной схеме выбраны правильно, являются истинными, то получаемые с их помощью заключения могут быть как истинными, так и ложными. Та или иная точка зрения на заключения зависит от степени субъективной уверенности в достаточности посылок для получения заключения. Именно поэтому вместо оценки истинности или ложности заключения в правдоподобных рассуждениях используется оценка правдоподобности (или истинности)
Известный специалист по психологии восприятия Р. Грегори писал:
«В самой природе дедуктивных утверждений содержится нечто в высшей степени странное. Дедукция оперирует формальным символическим алфавитом. Мы вправе сказать, что дедукция небиологична, поскольку ее не могло быть до появления формального языка. В связи с этим чрезвычайно заманчива мысль об
Таким образом, индукция тесно связана с восприятием, опытом. Когда в развитии научного мировоззрения возник этап понимания, что опытные данные, эксперимент, реальная деятельность по достижении определенных целей служат единственным мерилом обоснования научных построений, тогда наступила пора индукции.
Понимание роли индуктивных рассуждений в научном познании связано с именем двух людей, носивших одинаковую фамилию. Один из них, Роджер Бэкон, был францисканским монахом и выдающимся мыслителем. С целью прославления церкви и воплощения своей мечты о том, что католическая церковь должна царить над всем миром, этот монах в 1265 году посвятил папе Клименту IV свою работу, где сделал набросок новой экспериментальной науки, которая должна была дать в руки человечества инструмент к познанию природы и роли высшего разума в ее существовании. Только через опыт возможно постижение истины – к такому выводу пришел Роджер Бэкон. И, критикуя метод Аристотеля, он писал: «Было бы лучше сжечь сочинения Аристотеля и начать все сызнова, нежели принимать его заключения без проверки».
Но францисканец поспешил. В XIII веке схоластическая наука еще не собиралась сдавать свои позиции. Аристотель считался вершиной научной мысли. И надо было дожидаться XVII века, когда человек, обладавший большой политической властью и непревзойденным красноречием, лорд Веруламский Фрэнсис Бэкон опубликует свой труд под красноречивым и недвусмысленным названием Novum Organum[7]. В этой работе философ обратил внимание ученых на важность экспериментального метода в науке. Мысль о том, что всякое научное положение, полученное в теории, должно подтверждаться практикой, сформулирована им четко и исчерпывающе. Фрэнсису Бэкону повезло куда больше, чем его однофамильцу. Он высказал свои мысли в нужное время, когда экспериментальная наука начала победное шествие по миру. И за это он стал признанным отцом нового направления в научном познании.
Но если внимательно разобраться в сочинениях Фрэнсиса Бэкона, то в них вряд ли удастся обнаружить пропагандируемый им метод индуктивного развития науки. Ничего подобного силлогистике Аристотеля у него нет. А поэтому вплоть до середины XIX века в области индуктивных рассуждений ничего не менялось. Их теории просто не существовало.
Индукция Джона Стюарта Милля
В процессе наблюдения за окружающим миром мы решаем две главные задачи, связанные с созданием модели, его описывающей. Прежде всего мы выделяем в наблюдаемом некоторые сущности. В логике им соответствуют некоторые понятия. А кроме того, мы устанавливаем между этими понятиями определенные отношения. Эти отношения могут быть как наблюдаемыми непосредственно с помощью наших органов чувств (например, отношения типа «субъект-действие» или «быть раньше»), так и достраиваемыми на основании некоторой «логики знаний» (например, отношения типа «причина – следствие» или «цель – средство»).
Среди всех этих отношений едва ли не главнейшую роль для познания окружающего мира играют
Принципы установления причинно-следственных отношений, которые предложил Милль, основываются на идеях выделения сходства и различия в наблюдаемых ситуациях внешнего мира.
Способность улавливать сходство и выделять различия – фундаментальная способность, по-видимому, всех живых существ. Опираясь на эту способность, Милль сформулировал свои принципы индукции.
Первым из них является
Схематически этот принцип можно описать в виде следующей схемы:
Здесь знак трактуется лишь как появление
Второй основополагающий принцип индуктивного рассуждения Милля носит название
Схематическое представление этого принципа Милля выглядит следующим образом:
В этой схеме все примеры являются положительными. Из нее по Принципу единственного сходства вытекает, что
Еще один принцип Милля –
Принцип единственного остатка можно проиллюстрировать следующей схемой:
Следовательно,
Отметим ряд особенностей схем Милля. Прежде всего, они справедливы лишь при условии, что в описании ситуации имеется полное множество наблюдаемых фактов или явлений. Например, в последнем случае может оказаться, что и исключение
Другими словами, появление некоторого элемента ситуации может определяться не отдельными факторами или элементами, а их совокупностью, задаваемой с помощью сложного логического выражения. В левой части причинно-следственного отношения может стоять сложное выражение, в котором отдельные элементы могут быть связаны между собой конъюнктивными и (или) дизъюнктивными связками.
Проиллюстрируем это на следующих примерах. В качестве первого примера рассмотрим ситуации, показанные на рис. 20. С ними связана следующая история. Когда некий человек встречает на улице необычных зверюшек, то, глядя на них, он или радуется, или печалится. Нас интересует, какие качества зверюшек приводят человека в хорошее расположение духа. Другими словами, что является причиной его улыбки. Для удобства ответа на этот вопрос на рис. 20 положительные примеры и контрпримеры разделены штриховой чертой.
Рис. 20.
Как видно из рисунка, зверюшки обладают тремя признаками: формой спины, числом ног и формой ног. Что же вызывает улыбку? Используем метод Милля. Возьмем в качестве первой возможной причины форму спины у зверюшки. Положительные примеры таковы, что во всех наблюдаемых случаях эта форма выгнута вниз. Обозначим этот признак через
Таким образом, ни один из признаков зверюшки по отдельности не может быть причиной улыбки человека. Попробуем выделить
Приведенный пример показывает, что при использовании методов индуктивных рассуждений, которые предложил Милль, весьма важную роль играет способ выделения признаков или фактов, с помощью которых описываются ситуации.
Еще один пример связан с ситуациями, показанными на рис. 21. Теперь нас беспокоит реакция зверюшки на тех людей, которых она встречает на улице. У зверюшки хорошее настроение, когда она встречает людей с выражением на лице, как в положительных примерах. И ее настроение становится плохим, когда ей встречаются люди с такими лицами, как на отрицательных примерах. Возникает вопрос о причине появления у зверюшки хорошего настроения при встрече с людьми. Три элемента лица: рот, нос и глаза, полностью характеризуют выражение человеческого лица. Будем обозначать эти признаки как
Рис. 21.
В этом случае надо попытаться найти
Для того чтобы учесть третий пример, надо построить
Попробуем теперь найти причину, когда зверюшка бывает в плохом настроении. Обратимся для этого к отрицательным примерам и попробуем на них выделить общее ядро сходства. Оно легко обнаруживается. Это
Если составить таблицу, в которой перечислены все комбинации истины и лжи для
Такая ситуация не является стопроцентной. На рис. 22 мы снова встречаемся с известной нам зверюшкой. Но здесь выражения для
Чем различаются два рассмотренных случая? Пусть на пути нашей зверюшки встретился человек с лицом, обведённым на рис. 21 и 22 в рамочку. Как среагирует на него зверюшка? В случае, показанном на рис. 21, она тут же перейдет в хорошее настроение, ибо
Рис. 22.
Его можно разрешить лишь волевым усилием. Надо включить новый персонаж в число либо положительных, либо отрицательных примеров. В реалии разбиение чего-либо на классы (в наших случаях на два класса) вытекает из каких-то прагматических требований. Например, все люди, отнесенные к положительным примерам, относятся к зверюшке доброжелательно. Их не нужно опасаться. А люди, относимые к группе отрицательных примеров, таковы, что лучше обойти их стороной. От них ждать добра не приходится. Тогда волевое отнесение нового персонажа к той или иной категории должно получить практическое подтверждение своей правильности или неправильности. Если встреча с ним для зверюшки окажется благоприятной, то его, конечно, надо относить к положительным примерам. В противном случае его место среди отрицательных примеров.
Мы продемонстрировали весьма важное положение, связанное с процессом индуктивного обобщения. Если
Пусть, например, мы снова имеем классификацию, которая соответствует ситуациям, показанным на рис. 21. Но контрольный пример поступает в систему с указанием, что он относится к группе отрицательных примеров. А система в соответствии с ранее построенной классификацией относит его к положительному классу. В таком случае необходимо внести коррективы в классификацию, полученную ранее, выработать новую классификацию с учетом нового множества отрицательных примеров.
Вывод из этого только один. Поскольку множества положительных и отрицательных примеров не охватывают всех возможных случаев, то
Рассуждения по аналогии
Начнем с задачи. Посмотрим на первую строку, показанную на рис. 23. В этой строке представлено преобразование
Рис. 23.
Какой смысл мы вложили в слово «аналогичное», когда говорили о преобразованиях? По крайней мере, двоякий. Во-первых, мы предположили, что элементы, из которых состоят слова и рисунки, как-то соответствуют друг другу. Например, елочки и фигурки из третьей строки ассоциируются у нас с буквами, из которых состоят слова, а буквы важны не сами по себе, а по тому месту, которое они занимают в словах. Во-вторых, мы предполагаем, что сохраняется суть преобразования, хотя элементы, с которыми преобразование оперирует, могут быть другими.
Эти соображения помогают уловить расплывчатый смысл, вкладываемый людьми в понятие аналогии. На рис. 24 показано три преобразования для треугольника
Рис. 24.
Первая попытка формализовать понятие рассуждения по аналогии была предпринята Лейбницем. В своем сочинении «Фрагменты логики» он ввел понятие пропорции для отношения аналогии.
Для иллюстрации того, как может быть использована диаграмма Лейбница, рассмотрим
Проиллюстрируем эту мысль, взяв «кусок» пространства Осгуда, относящийся к понятиям, используемым для указания родства. То, что они в семантическом пространстве расположены компактно, было доказано экспериментально. Этот «кусок» пространства Осгуда показан на рис. 25. Для удобства введена система координат и сделано такое преобразование, чтобы все точки, соответствующие интересующим нас понятиям, оказались лежащими в вершинах единичного куба (правомочность такого преобразования в пространстве Осгуда мы тут не обсуждаем).
Рис. 25.
Пусть даны три элемента пропорции Лейбница
Для дальнейшего необходимо уточнить понятия «похожесть» и «аналогия», использованные в диаграмме для пропорции Лейбница, и придать им по возможности строгий смысл. Сделать это можно следующим образом. Выберем некоторый алгебраический язык для описания
Чтобы все сказанное стало понятнее, рассмотрим конкретный пример. На рис. 26 показана серия изображений, соответствующая пропорции Лейбница, в которой, как всегда, надо восстановить недостающее звено, т.е. осуществить (если это возможно) вывод по аналогии. Для описания изображений введем языки 1 и 2. В языке 1 в качестве элементов возьмем изображение солнца
Рис. 26.
Введем теперь элементы языка 2. Это луна
Рассмотренная процедура носит общий характер. Можно строго доказать, что если в пропорции Лейбница
Заметим, что из этого утверждения вытекает, что необходимым условием для возможности рассуждений по аналогии с использованием пропорции Лейбница служит требование коммутативности ее диаграммы. Требование
Несмотря на все сказанное, полное описание модели рассуждений по аналогии всё еще не получено, так как пропорция Лейбница явно не исчерпывает всех случаев рассуждений подобного типа. Да и в случае, когда мы имеем дело действительно с пропорцией Лейбница, остаются нерешенными по крайней мере два вопроса: как построить языки 1 и 2 и как установить взаимно однозначное соответствие между ними. Возможные в этом случае трудности иллюстрирует рис. 27. На этом рисунке показаны ситуации
Рис. 27.
Готовы ли мы признать описанные две ситуации аналогичными? И должен ли Тристан действовать так же, как Ромео? Из соответствующих литературных произведений мы знаем, что развитие ситуации
Этот вопрос пока остается без ответа. Поэтому ограничимся лишь тем, что для рассуждений по аналогии можно считать твердо установленным. В следующем разделе попытаемся объединить то, что нам уже известно об индуктивном методе Милля и рассуждениях по аналогии.
ДСМ-метод
Сокращение ДСМ, вынесенное в название метода, означает Джон Стюарт Милль. Оно показывает, что метод поиска закономерностей по множествам положительных и отрицательных примеров, к описанию которого мы переходим, опирается на методы индукции, предложенные этим ученым. Их реализация в виде комплекса действующих программ на ЭВМ выполнена современными исследователями.
Введем три множества:
Пусть мы вдруг оказались в стране, где до этого нам не приходилось бывать. Выйдя из гостиницы, мы увидели, что у подъезда стоит такси, выкрашенное в ярко-желтый цвет. Через некоторое время рядом останавливается еще одно такси такого же цвета. В нашей голове возникает положительная гипотеза вида «В этой стране, если автомобиль выполняет роль такси, то цвет его будет желтым». Оценка достоверности этой гипотезы при двух наблюдениях будет невелика. Но если во время прогулки по улицам города мы увидим, что такси окрашены в тот же желтый цвет, то оценка выдвинутой при выходе из гостиницы гипотезы будет все время возрастать. Станет ли она когда-нибудь равной единице? Если после недельного пребывания в стране наша гипотеза будет подтверждаться лишь положительными примерами, то на родине, рассказывая знакомым и друзьям о своих впечатлениях, связанных с поездкой, мы вполне можем заявить: «А такси у них покрашены в ярко-желтый цвет, что очень удобно – сразу можно найти его, когда нужно». Значит ли это, что гипотеза о цвете такси приобрела оценку достоверности, равную 1?
Можно ввести два типа истинности:
На этом простом примере видна разница между дедуктивным и индуктивным умозаключением. При использовании информации из путеводителя о цвете такси вы уже не нуждаетесь в эксперименте. Полученное знание носит общий характер. В каждом конкретном случае (например, при поиске такси) его можно механически применять, фиксируя цвета проходящих машин. Никакого нового знания при решении конкретных задач, связанного с цветом такси, получить нельзя. При получении же информации из наблюдений формируется новое знание, которого раньше не было. Гипотеза о цвете такси в данной стране – это новая информация. Таким образом, индуктивное рассуждение способно порождать новые знания. В этом смысле оно куда более «интеллектуально», чем дедуктивное рассуждение.
Достижение эмпирической истины (а только такая истина и возможна при индуктивных рассуждениях) вполне возможно. Для этого достаточно некоторого множества положительных примеров при полном отсутствии отрицательных примеров, опровергающих выдвинутую гипотезу. А число необходимых положительных примеров, необходимых для того, чтобы считать гипотезу эмпирически истинной, может быть разным в различных обстоятельствах и у разных людей. Недаром же все представители рода человеческого делятся на тех, кто готов верить в нечто всего по одному примеру, и тех, кто подобно евангельскому Фоме никогда не может уверовать до конца даже в самые очевидные для остальных истины.
Рассмотренный пример иллюстрирует процесс оценивания степени достоверности гипотезы, когда предполагаемая причина (в нашем случае – принадлежность автомашины к множеству такси) уже выделена из множества возможных причин. В ДСМ-методе формализован не только этот этап, но и предшествующий ему этап нахождения кандидата в причины, которая могла бы вызвать интересующее нас следствие. В примере это соответствовало бы следующему. Наблюдая на улицах города потоки автотранспорта и выделяя среди автомашин ярко-желтые, надо «сообразить», что желтыми являются только такси.
Причины могут быть различными по типу. Наиболее редкими являются
Кроме причин
Вернемся к ДСМ-методу. После сказанного становится ясным, что нахождение причин – кандидатов для формируемых гипотез – дело далеко не простое. В положительных и отрицательных примерах эти причины скрыты в описаниях реальных объектов, обладающих или не обладающих интересующими нас свойствами. Из этих описаний надо выделить кандидатов в причины, а затем убедиться, что выбор оказался не случайным. При первом реальном использовании ДСМ-метода одной из конкретных задач была задача нахождения причин того, что некоторое органическое химическое соединение будет обладать свойством биологической активности. Постулировалась, что информация о причинах биологической активности скрыта в структурной формуле того или иного соединения. Какие-то особенности этих формул оказывали влияние на интересующее исследователей свойство. Экспериментально для многих соединений было установлено наличие или отсутствие в них биологической активности. Эти экспериментальные факты составляли множество положительных и отрицательных примеров. На основании их программы, реализующие ДСМ-метод, должны были найти новые, не известные химикам и фармакологам закономерности, позволяющие без экспериментальной проверки (весьма дорогой и длительной) оценивать возможность того, что вновь синтезированное вещество будет обладать биологической активностью.
Суть того, как это делалось с помощью ДСМ-метода, состоит в следующем. Рассмотрим группу положительных примеров. Находим некоторую часть описания объектов, общую для определенной совокупности примеров из этой группы. Например, обнаруживаем в значительной части структурных формул соединений, обладающих свойством биологической активности, кольцевую структуру с фиксированным заполнением позиций в этой структуре. Тогда есть основания считать ее кандидатом в причины. Таких кандидатов может оказаться несколько. Образуем матрицу
На каждом шаге работы ДСМ-метода используются новые наблюдения, пополняющие множества положительных и отрицательных примеров. Эти новые наблюдения могут либо подтверждать сформированные гипотезы
Если некоторая положительная или отрицательная гипотеза
Новые гипотезы формируются не только на основании выделения в примерах определенного сходства (общей части в описании). Они могут использовать и метод различия, также сформулированный Миллем. Различие выявляется для примеров, относящихся к группам положительных и отрицательных примеров. Найденное различие служит кандидатом для гипотез, включаемых в
Кроме выявления кандидатов в причины
Как уже было сказано, в ДСМ-методе кроме прямой реализации идей Милля используются еще некоторые выводы по аналогии. Для этого на множестве описаний объектов вводится тем или иным способом понятие сходства. Если, например, речь идет о структурных формулах химических соединений, то мерой сходства для них могут быть совпадение самих структур при различных заполнителях позиций или, наоборот, наличие в некоторых фиксированных позициях структур одинаковых элементов. Если установлено отношение сходства, то в ДСМ-методе происходит вывод по аналогии. Он осуществляется следующим способом. Если гипотеза
Нечеткий вывод
Ранее мы говорили о кванторах общности и существования в исчислении предикатов и о близких к ним по смыслу кванторах в силлогистике Аристотеля. Эти кванторы – не единственные. Могут встречаться и более сложные указатели. И как раз их-то чаще всего используют в своих рассуждениях люди. Эти кванторы в отличие от классических кванторов будем называть
Вот, например, квантификатор «только». Какова его роль в наших рассуждениях? Если кто-то говорит: «Маша из всех каш ест только гречневую», то квантификатор «только» выделяет из множества сущностей с именем «каши» одну определенную сущность. В этом случае рассматриваемый квантификатор играет роль выделителя определенной группы элементов. В другом утверждении «Только тропические страны пригодны для возделывания кофе» квантификатор «только» выполняет именно эту роль – выделителя из множества стран тех, которые относятся к тропическим. Утверждение, приведенное нами, порождает два других утверждения: «Существуют тропические страны, в которых возделывается кофе» и «Для всех стран, которые не являются тропическими, неверно утверждение, что в них можно возделывать кофе». Но в естественном языке «только» может использоваться и для указания на другие способы вычленения событий. Вот несколько примеров: «Я купил только чашки» (т.е. я купил чашки, а не что-либо иное), «На лекцию пришло только пять студентов» (т.е. именно пять, а не другое число), «Он приедет только завтра» (а не сегодня? не послезавтра?). Число подобных примеров можно неограниченно продолжать.
«Только» – не единственный экзотический квантификатор. Чего стоит, например, квантификатор «Даже»! Сравним два утверждения: «Даже Джек смог догнать эту лисицу» и «Даже Джек не смог догнать эту лисицу». Внешне оба утверждения весьма похожи. Но квантификатор «даже» выполняет в них различную роль. В первом утверждении Джек стоит на нижнем конце шкалы, по которой упорядочены все собаки, пригодные для охоты на лис, а во втором утверждении квантификатор «даже» ставит Джека на первое место в этой шкале. До настоящего времени не создана теория рассуждений с подобными квантификаторами. Поэтому в данном разделе рассмотрим лишь вполне определенную группу квантификаторов, которую будем называть
Их название указывает на тесную связь с новым разделом математики – нечеткой математикой. Слово «нечеткая» да еще в применении к математике вызывает законное недоумение. Но такова калька английского слова fuzzy, которое можно переводить еще как «размытая» или «расплывчатая». Именно это слово использовал Л. Заде – основатель нечеткой математики. В отличие от обычного понятия множества, известного каждому, кто сталкивался с математикой, Заде ввел понятие
На рис. 28,
Рис. 28.
Если опросить достаточное количество людей, то можно получить усредненные характеристики того, что люди считают высоким ростом. На рис. 28,
«Высокий» – это представитель множества нечетких квантификаторов. Теперь можно сказать, что некоторый квантификатор является нечетким, если для него оказывается возможным построить функцию принадлежности к соответствующему нечеткому множеству. Таких квантификаторов в человеческих рассуждениях немало. Вот несколько примеров из стихотворений Б.Л. Пастернака: «Мне далекое время мерещится, дом на стороне Петербургской», «Огни заката догорали. Распутицей в бору глухом в далекий хутор на Урале тащился человек верхом», «На протяженьи многих зим я помню дни солнцеворота, и каждый был неповторим и повторялся вновь без счета». В них использованы нечеткие квантификаторы, формирующие нечеткие множества с именами «далекое время», «далекое место», «многие зимы». Для них можно построить соответствующие функции принадлежности, использовав, в частности, дополнительную информацию из текста стихотворения или из нормативных знаний о длительности человеческой жизни или об оценках расстояний, преодолеваемых верхом.
Введем важное понятие
На рис. 28,
Перейдем теперь к нечетким рассуждениям. Напомним сначала, что один шаг достоверного вывода можно описать в виде схемы следующего вида.
Здесь над чертой стоят те утверждения, истинность которых уже доказана, а ниже черты – утверждения, истинность которых логически следует из верхних утверждений и тех правил вывода, которые используются в данной логической системе. Для большей наглядности рассмотрим один частный, но весьма распространенный случай вывода, с которым мы уже сталкивались, – по правилу модус поненс. Напомним его схему:
Рассмотрим теперь схему вида
Здесь 1 – нечеткий квантификатор, показывающий, что истинность
Знак вопроса стоит тут на том месте, где должен находиться некоторый нечеткий квантификатор. Интуиция подсказывает нам, что им должен быть квантификатор «часто». Вывод «часто я не выхожу на улицу» выглядит вполне в духе человеческих умозаключений.
Рассмотрим еще одну схему:
Здесь квантификатор 1 стоит в другой позиции. Примером такого рассуждения может служить следующая схема:
Какой квантификатор надо здесь подставить вместо знака вопроса? Однозначный ответ на этот вопрос вряд ли возможен. В схеме нет информации о частоте события
Рассмотрим, наконец, схему
Конкретный случай ее реализации:
Здесь определение 2 более обосновано. По-видимому, большинство читателей не будут возражать, если вместо знака вопроса будет стоять квантификатор «нередко», хотя могут быть и другие мнения.
При создании логик, моделирующих нечеткие рассуждения, делалось немало попыток поиска формальных процедур, позволяющих «вычислять» вид 2. О некоторых из них говорится в комментариях к данному разделу. В следующем разделе мы опишем один из возможных способов такого «вычисления», а в заключительном разделе главы познакомимся еще с несколькими предложениями такого рода. Но прежде чем делать это, остановимся еще на одном моменте, связанном с использованием нечетких квантификаторов при рассуждениях.
В высказываниях «В Ленинграде часто идет дождь» или «Мой ребенок часто болеет» использован один и тот же нечеткий квантификатор «часто». Но каждому ясно, что за ним скрывается неодинаковая фактическая частота. Дожди в Ленинграде, наверное, идут куда чаще, чем болеет ребенок. Один и тот же квантификатор соотносится в этих высказываниях с различными
Известен, например,
В этой диаграмме
Такая близость рассуждений по аналогии и нечетких рассуждений не случайна. Ибо в основе этих рассуждений лежит идея сходства, похожести.
Нечеткая силлогистика
Силлогистика Аристотеля совсем недавно вновь стала объектом пристального внимания исследователей. Идеи нечетких рассуждений оказались перенесенными на модусы и фигуры, казавшиеся венцом достоверных рассуждений. Прежде чем изложить эти идеи, опишем одну историю, которую можно было бы назвать «Силлогизм бабушки».
«Жара уже спадала, когда Сумбурук и Твидл приехали в один маленький городок – кажется, где-то на юге Франции. Возле автостоянки был бар. Они оставили машину, договорились встретиться в баре вечером и разошлись кто куда. Сумбурук пошел бродить по незнакомым улицам, а Твидл сразу направился в бар: он всегда больше предпочитал сидеть, чем ходить.
К вечеру в бар, помахивая бамбуковой тросточкой, вошел Сумбурук. На голове у него был роскошный блестящий цилиндр.
– Вырядился, прямо как Макс Линдер. Только полосатых панталон не хватает, – сказал Твидл, когда Сумбурук приблизился к нему. – Красивая тросточка. И цилиндр, кстати, тебе идет.
– Хочешь, можешь тоже купить. Они продаются на каждом углу. А кто в цилиндре… – Сумбурук слегка, кончиками пальцев коснувшись цилиндра, сделал незаметный жест, и тросточка в другой его руке завертелась, как пропеллер. – Те, с тросточкой, я заметил, почти всегда, – закончил он и присел за стойку, собираясь заказать себе абсент. Но не успел он это сделать, как с удивлением обнаружил, что рюмка крепкого зеленоватого напитка уже стоит перед ним.
– Не удивляйся, – заметил Твидл. Он (Твидл кивнул на бармена) увидел, как ты вертел тросточкой, вот и все. Держу пари, здесь все, кто с тросточкой, пьют исключительно абсент. По крайней мере, за три часа, пока я здесь, он ни разу не ошибся. Да и то сказать, – Твидл еще раз оглядел Сумбурука, – с таким цилиндром и тросточкой можно разве в этом городе пить что-нибудь кроме абсента?
Сумбурук сделал глоток и на секунду задумался.
– Я, кажется, могу дать ему дельный совет, – сказал он и показал незаметно на бармена. Сумбурук щелкнул пальцами, и бармен поглядел на него.
– А тем, кто в цилиндре, вы тоже сразу наливаете абсент?
– Да, если в руках еще и тросточка, – ответил бармен.
– Но в этом городе все, кто в цилиндре, ходят с тросточкой, разве нет?
– Почти все, – поправил бармен. – Вам налить что-нибудь другое? И он с подозрением посмотрел на цилиндр Сумбурука
– Все в порядке, – успокоил его Сумбурук. Просто мой вам совет: тому, кто в цилиндре, с тросточкой он или без тросточки, можете, не спрашивая, тоже смело наливать абсент – не ошибетесь никогда.
– Не ошибусь? – переспросил бармен. – Никогда? Вы уверены?
– Ну, почти никогда. Еще Аристотель говорил, если почти все, кто носит цилиндр, ходят с тросточкой, и почти все, кто ходит с тросточкой, пьют только абсент, то почти все, кто носит цилиндр, тоже пьют только абсент. Согласны? – спросил Сумбурук. Он когда-то изучал логику и немного гордился этим[8].
– Вы не правы, – к удивлению друзей вежливо, но твердо возразил бармен. – Еще моя покойная бабушка, помню, любила повторять, если почти все, кто носит цилиндр, ходят с тросточкой, и вместе с тем почти все, кто ходит с тросточкой, пьют только абсент, то наверняка можно сказать только одно: из тех, кто носит цилиндр, многие пьют только абсент. Многие – да, согласен. А сказать "почти все" – это неверно.
Сумбурук никогда не был формалистом, – скорее, напротив. Но тут, немного задетый, он (с кем не бывает!) задал вопрос, который вряд ли пришел бы в голову Максу Линдеру:
– А что значит "многие"?
– Да-да, – поддержал его Твидл, – "многие" это что, больше 30 %, больше 50 % или, может, больше 90 %?
– Ну, 90 % это вряд ли, – сказал бармен, слегка ошарашенный таким обилием неизвестно откуда взявшихся цифр. – Во всяком случае "многие" это не то же самое, что "почти все". В нашем городе вкусы меняются медленно, и поверьте, я на собственном опыте знаю: моя бабушка была права.
– По всему выходит, что ваша бабушка умнее Аристотеля, – заметил Твидл.
Бармен пожал плечами.
– Я, простите, ничего не знаю о человеке по имени Аристотель. Он, наверное, грек, а я наполовину француз. Но могу сказать одно, – тут он взял бутылку абсента и налил нашим друзьям еще по рюмке, – моя бабушка была очень умная и добропорядочная женщина».
Постараемся разобраться в силлогизме бабушки. Введем ряд обозначений:
Получение всей этой информации требует некоторого статистического обследования жителей города и их привычек. Результаты такого обследования могут быть сведены в
Таблица 5
В этой таблице
1. z1+z2+z3+z4+z5+z6+z7+z8=1.
Это соотношение вытекает из нормировки, так как
2. Восемь ограничений вида
3. Предположим, что в городе множества жителей, которые носят цилиндр, ходят с тросточкой и пьют только абсент, не являются пустыми. Это означает, что должны выполняться следующие неравенства:
Значение ? выбрано так, чтобы все эти три неравенства были справедливы.
4. Еще два неравенства связаны с тем, что величины
В этих ограничениях два параметра: ? и ?. Варьируя их, можно вводить различные нечеткие квантификаторы в силлогизм типа силлогизма бабушки или силлогизма Сумбурука.
Дадим некоторые необходимые пояснения к приведенной системе. Посылки силлогизма бабушки, как его сформулировал бармен, звучат так: «Из тех, кто носит цилиндр, почти все ходят с тросточкой» И «Из тех, кто ходит с тросточкой, почти все пьют только абсент». Заглавная буква И отделяет один член посылки от другого. Первый член посылки говорит о том, что
Их спор происходит в условиях некоторого «контекста». Этот контекст определяется величинами
Силлогизмы бабушки и Сумбурука – это формальный вывод вида
Как разрешить спор? Выход один. Надо задать значения ?, ? и ? и свести проблему к решению типовой задачи линейного целочисленного программирования, которая формулируется следующим образом. Найти целочисленные значения
достигает своего максимума.
Если задача решена и минимум
Значит, все зависит от того, как определены ?, ? и ?. Пусть для определения этих значений мы опросили четырех людей
Таблица 6
Интерпретация чисел в таблице следующая. Опрашиваемый считает, что можно говорить «почти все», когда явление это встречается не реже, чем в 95 случаях из 100. Аналогично интерпретируются и остальные элементы таблицы. В первом столбце стоят значения ?, во втором ?, а в третьем ?. Каждая строка может быть использована для решения задачи линейного программирования, которую мы сформулировали. Если решить возникающие четыре задачи, то выяснится, что силлогизм бабушки оказывается истинным во всех случаях, кроме третьего. В третьем случае прав Сумбурук, а бабушка ошибается.
Из сказанного ясно, что при исследовании нечетких силлогизмов (или D-
Рассуждая о споре в баре, мы незаметно сформулировали метод формального поиска оценок нечетких квантификаторов в схемах рассуждений. Ведь если вернуться к схемам предшествующего раздела, то становится ясным, что метод решения силлогизма бабушки вполне пригоден для поиска 2 в заключениях этих схем.
Коллекция схем
Среди схем правдоподобных рассуждений встречаются не только те, которые мы расссмотрели и которые основаны на индуктивном выводе, аналогиях или нечетких квантификаторах. Многими исследователями предлагались и иные схемы. Их количество достаточно велико и продолжает расти. В этом разделе мы приведем (практически без комментариев) примеры схем, в основе которых лежат соображения, связанные с теорией вероятностей и аналогией, а также несколько схем, типичных для
Рассмотрим прежде всего схемы рассуждений, опирающиеся на свойства вероятностей, т.е.
Рассуждением, основанным, например, на схеме 2, может служить следующее: «С вероятностью, большей 0,7, при переохлаждении двигателя он не заводится с помощью стартера. Вероятность того, что он не заводится, меньше 0,5. Следовательно, вероятность того, что двигатель переохлажден, меньше min(1,1–0,7+0,5), т.е. меньше 0,8». Так же нетрудно придумать примеры и для других схем вероятностных рассуждений.
Рассмотрим две схемы
Значения
Рассмотрим еще две схемы, в которых наряду с необходимостью учитывается возможность некоторых фактов, явлений или действий. Подобные схемы (как и две предшествующие) характерны для упоминавшейся теории возможностей.
Пример рассуждения, основанного на схеме 7: «Когда поднимается температура в реакторе, чрезвычайно необходимо понизить в нем давление. Возможность повышения температуры в реакторе высока. Следовательно, возможность того, что надо будет снижать давление в реакторе, либо больше нуля, либо больше той возможности, которая приписана событию повышения температуры». Альтернативный характер этого рассуждения обусловлен тем, что
Завершим раздел еще тремя схемами рассуждений, в которых учитывается возможная взаимосвязь
Каждый, кого интересуют схемы правдоподобных рассуждений, может без труда увеличить нашу коллекцию, например, заимствовав их из книги Д. Пойи, приведенной в списке литературы. Нам же необходимо двигаться дальше к тем человеческим схемам рассуждений, в которых активно используются знания, хранящиеся в его памяти, т.е. к рассуждениям, на которые опирается интеллектуальная деятельность человека и ее моделирование в современных интеллектуальных системах.
Глава пятая. ВЫВОД В БАЗЕ ЗНАНИЙ
Что такое интеллектуальная система
Проблема моделирования человеческих рассуждений стала чрезвычайно актуальной в конце 70-х годов, когда в области искусственного интеллекта появились практически интересные системы. В последующие несколько лет возникла новая отрасль индустрии – производство интеллектуальных систем.
Причин скачкообразного развития работ по созданию систем искусственного интеллекта было несколько. Главнейшими из них можно считать три: необходимость создания ЭВМ пятого поколения, переход к роботизированным производствам и появление экспертных систем.
Как известно, ЭВМ пятого поколения отличаются от машин предыдущих поколений тем, что в них встроены функции программиста. По словесному заданию задачи, сформулированному на ограниченном профессиональном языке, эти ЭВМ способны сами построить необходимую рабочую программу (синтезировать ее из отдельных модулей, хранящихся в памяти ЭВМ) и выполнить ее. Для этого в состав ЭВМ должна входить база знаний, в которой хранится информация о закономерностях, присущих данной проблемной области, и методах решения характерных для нее задач. Кроме того, в состав ЭВМ должен входить специальный блок – решатель, в который встроены процедуры, подобные логическому выводу. С помощью решателя на основании сведений из базы знаний автоматически синтезируются нужные для пользователя программы. На рис. 29 приведена общая структура ЭВМ пятого поколения. Отметим, что процессор, показанный на рисунке, – это обычное арифметическое устройство с необходимой оперативной памятью, а внешняя память служит для хранения данных, нужных для решения задач. Таким образом, база знаний является новым специфическим блоком (как и система общения и решатель) в структуре ЭВМ пятого поколения.
Рис. 29.
В роботизированных производствах используются роботы третьего поколения. Они должны быть достаточно автономны в своих действиях и уметь выполнять необходимый набор операций в динамически изменяющихся условиях производства. Это означает, что они не могут довольствоваться набором встроенных в них программ жесткого поведения. Интеллектуальный уровень таких роботов должен быть достаточно высоким. В их систему управления необходимо включить специальный блок – планировщик, задачей которого является составление программы действий робота в тех реальных условиях окружающей среды, которые в данный момент наблюдаются рецепторной системой робота. Для планирования целесообразной деятельности робот третьего поколения должен обладать определенными знаниями о свойствах окружающей среды и методах достижения целей в ней. Эти знания хранятся в его базе знаний, показанной в общей структуре робота на рис. 30. Глядя на этот рисунок, легко установить аналогии со схемой, показанной на предыдущем рисунке. В ЭВМ пятого поколения и в роботах третьего поколения осуществляется планирование будущей деятельности: автоматический синтез программы, выполняемый решателем, и программа деятельности, создаваемая планировщиком. Оба блока работают на основе знаний, хранящихся в базе знаний.
Рис. 30.
Экспертные системы, структура которых показана на рис. 31, также содержат базу знаний и логический блок, функции которого похожи на функции решателя и планировщика. Задача логического блока состоит в поиске вывода, ответа на входное сообщение, поступившее в систему. В базе знаний хранится необходимая информация о проблемной области, в которой работает пользователь. Его запросы поступают на профессиональном ограниченном естественном языке. В системе общения они преобразуются во внутреннее представление, с которым работает логический блок. Это внутреннее представление преобразуется в запрос к базе знаний. Если прямого ответа на запрос в базе нет, то логический блок осуществляет поиск косвенной информации, получаемой из хранящейся в базе с помощью достоверного или правдоподобного вывода. Система объяснения (это специфический блок, отличающий экспертные системы от других интеллектуальных систем) при необходимости по требованию пользователя поясняет ему, как получена та информация, которая выдана в качестве ответа.
Рис. 31.
Мы хотим отметить, что ядром всех основных типов рассмотренных интеллектуальных систем являются база знаний и блок, осуществляющий вывод с помощью знаний (решатель, планировщик или логический блок). Этот вывод составляет основную процедуру, реализуемую в интеллектуальных системах.
Знания о внешнем мире могут иметь двоякую природу. Они могут содержать
1. Если Академия заблагорассудит присоединить к себе ученого русского или иностранца, который не столько еще известен, чтобы мог требовать чести быть почетным членом, но своими полезными сочинениями или познаниями, или же ревностию и старанием, оказав полезные Академии услуги, обратил на себя отличное внимание, то она принимает его в корреспонденты, которые также разделяются на русских и иностранных. (Устав Санкт-Петербургской Академии наук 1836 года, № 85)
2. Если враг не сдается, то его уничтожают. Если кто к нам с мечем придет, то от меча и погибнет. (Высказывания полководцев.)
3. Если температура в верхней зоне превысит 75°, то необходимо открыть задвижку № 7. (Из инструкции.)
Число подобных примеров можно увеличивать до бесконечности. Они показывают, что представление фрагментов наших знаний о внешнем мире и действиях в нем в виде продукций имеет весьма большое распространение. Часть специалистов по интеллектуальным системам считает, что запись знаний в виде систем продукций носит универсальный характер – любые знания можно записать в такой форме. Они приводят немало примеров, когда знания, внешне не имеющие продукционной формы, удается перевести в систему продукций. Вот один из таких примеров.
Химические реакции мы со школьных лет привыкли воспринимать в форме соотношений следующего вида:
И т.д.
Покажем, как подобные утверждения можно записать в продукционной форме. Введем шесть сортов базовых элементов. К первому сорту отнесем металлы:
Эта продукция годится для описания двух из приведенных выше химических реакций. Для описания третьей реакции используем другой тип продукций.
Вспомним программу «Логик-теоретик», которую мы обсуждали в третьей главе. Она была основана на том, что при доказательстве равенства двух выражений в исчислении высказываний использовалось понятие различия в двух выражениях и подбирались такие преобразования, которые эти различия устраняли. Для соотнесения различий с преобразованиями была построена таблица, в которой указывалось, какие преобразования какие различия устраняют. От этой таблицы чрезвычайно легко перейти к продукционной системе. Если
Два последних примера показывают, что продукциями являются не только те выражения, которые имеют форму «Если…, то…», но и многие другие выражения. К ним, по сути, сводятся все каузальные, т.е. причинно-cледственные утверждения, подобные тем, которые мы обсуждали в предшествующей главе. К ним же относятся и любые схемы вывода типа «посылки – следствие». Замкнутые системы правил типа законов короля Павзолия, описанных в романе Пьера Луиса «Приключения короля Павзолия»[9], также могут рассматриваться как особая форма продукций. Даже такие утверждения, как знаменитое «Если звезды зажигают, значит, это кому-то нужно» (В. Маяковский), можно рассматривать как продукцию.
Продукционные системы
Анализ структур ЭВМ пятого поколения, роботов автономного типа и экспертных систем приводит к обобщенной структуре, показанной на рис. 32. Эта схема при условии, что система
Рис. 32.
Теперь приступим к классификации продукций.
1. Продукции типа
В качестве
2. Продукции типа
3. Продукции типа
4. Продукции типа
5. Продукции типа
6. Продукции типа
7. Продукции типа
8. Продукции типа
9. Продукции типа
Сказанное наводит на мысль, что продукции могут иметь весьма различное значение. В качестве их левых и правых частей могут выступать и некоторые утверждения, и действия. Возможны не только те интерпретации, которые мы привели выше, но и ряд других. Например, продукции типа
Часто вместо продукций типа ?? рассматривают более сложные конструкции. В общей форме продукции имеют вид
i, П, P, A B, Q.
Здесь
Элемент П характеризует
Наконец,
Однако в общем виде продукции встречаются весьма редко. Предусловия характерны лишь для больших по объему и разнородных по составу баз данных и знаний, а постусловия – для планирующих систем роботов, когда используются продукции типа
Если продукционная система такова, что на некотором шаге процесса может быть реализована не одна продукция, а несколько, то возникает ситуация, в которой необходимо уметь управлять ходом процесса. Эта ситуация настолько важна и принципиальна, что мы посвятим ее анализу специальный раздел. Именно в этом анализе раскрываются особенности использования продукций для моделирования рассуждений.
Управление выводом
Несколько изменим предшествующий рисунок. Будем считать, что информация из внешнего мира
Последнее допущение позволяет ввести понятие
Если в некоторый момент
Для выбора важен вопрос о влиянии порядка выбора на окончательный результат рассуждений. Если имеются две продукции и ситуация такова, что изменение состояния базы знаний, которое может возникнуть при срабатывании одной из них, сказывается на выполнимости условий срабатывания для другой, то такие продукции естественно назвать зависимыми. Если две продукции независимы, то порядок их выбора из фронта не может сказаться на результате рассуждения. Поэтому интерес представляют лишь зависимые продукции.
Как осуществлять выбор в этом случае? Для пояснения складывающейся ситуации рассмотрим следующий пример. Только что кончилась лекция, наступил двухчасовой перерыв и группа студентов обсуждает проблему: куда сейчас пойти? В имеющихся условиях есть две альтернативы: пойти в кино (но никто не знает, какая там идет картина) или пойти в кафе-мороженое (но ни у кого нет уверенности, что кафе работает). Ясно лишь одно, что выбор одного варианта исключает выбор другого, так как кино и кафе-мороженое находятся в разных концах города. Убедившись, что кафе не работает, нет надежды успеть в кино, а обнаружив, что в кино ничего интересного не идет, нет надежды поесть мороженое. В условиях, когда никто из студентов не имеет никакой информации о кино и кафе, единственным разумным способом выбора является известное бросание монетки, т.е. случайный выбор. Но если в момент обсуждения появляется их сокурсник, который говорит, что только что был в кино и ушел, не досмотрев скучную картину (тем самым он меняет состояние «баз знаний» остальных студентов), то выбор активизируемой «продукции», соответствующей программе достижения кафе-мороженого, станет однозначным.
Описанная ситуация является в некотором смысле экстремальной. Один выбор исключает другой. Чаще это не так – после неудачного выбора можно вернуться к альтернативному выбору и попробовать другой вариант. Чтобы так можно было делать в процессах рассуждений, необходимо сохранять состояние базы знаний в момент выбора. Для реализации этого при принятии решения об альтернативном выборе можно, например, запоминать не всю информацию, имеющуюся в данный момент в базе знаний, а только ту ее часть, которая меняется в результате применения продукций из выбранного варианта. Если вариант окажется удачным, то новое состояние базы знаний будет сформировано на основе полученной в ходе проверки варианта информации. Если попытка окажется безрезультатной, то произойдет возвращение к состоянию базы знаний в момент выбора, а информация, полученная в ходе плохого варианта, сотрется из памяти. Практически все системы моделирования рассуждений в интеллектуальных системах используют этот прием, который называется «бэктрекинг».
Но в любом случае остается проблема выбора продукции из готового фронта. Психологов весьма интересует вопрос, как это делают люди. К сожалению, однозначного ответа на этот вопрос пока нет. При экспериментах с программой «Логик-теоретик» ее авторы проводили сравнение работы программы с тем, как ведут себя в многочисленных возникающих по ходу доказательства случаях альтернативного выбора люди. В частности, последовательность, в которой перечислены различия в формулах, используемая для выбора преобразований в программе «Логик-теоретик», отражает экспериментально наблюдаемые приоритеты, демонстрируемые людьми.
Отсутствие точных психологических данных о способах выбора продукций из фронта людьми привело к тому, что в интеллектуальных системах стали использовать эвристические соображения, которые могут и не отражать особенности человеческих рассуждений. Так, весьма популярной стратегией выбора является принцип «стопки книг». Этот принцип описывает процедуру наиболее быстрого (в среднем) способа поиска нужной книги в стопке книг. Если каждый раз, использовав некоторую книгу, класть ее в стопку сверху, то часто используемые книги постепенно сосредоточатся в ее верхней части, а внизу будут лежать те, которые почти никогда не требовались. Если при поиске очередной нужной книги начинать просмотр стопки сверху, то она, как правило, встретится довольно скоро. Если продукции во фронте будут упорядочены по частоте их предшествующего успешного использования и активизироваться будет первая продукция этого фронта, то принцип стопки книг будет реализован.
У этого принципа есть определенный аналог в процедурах работы с информацией у человека. Если потребовать от испытуемых «не задумываться», говорить первое, что «приходит в голову», то на просьбу «Назовите поэта XIX века», как правило, будет дан ответ «Пушкин», а на просьбу «Назовите плодовое дерево» в подавляющем большинстве случаев ответ «Яблоня». Это, конечно, справедливо для испытуемых, живущих в средней полосе СССР. В других местах и социо-культурах возникнут свои приоритетные ответы. Человек как бы всегда имеет наготове, «на языке», подходящие отклики на часто встречающиеся ситуации.
Другой эвристический прием, заставляющий вспомнить герменевтические рассуждения, состоит в проверке в первую очередь продукции с самым длинным условием
Но такие априорные внешние способы задания продукций, выбираемых из фронта, не всегда оправданы. В большинстве случаев тот или иной выбор зависит от текущего состояния базы знаний
Мы специально не расшифровываем латинские термины, так как они совершенно не мешают понять суть работы метапродукции в данной экспертной системе.
Довольно часто возможность применения той или иной продукции зависит не только от того, какие именно продукции входят во фронт (как в только что приведенном примере метапродукции), но и от того, какие продукции в этот фронт не вошли. Другими словами, влияние может оказывать как «положительный», так и «отрицательный» контекст, в котором происходит выбор продукции из фронта готовых продукций.
Когда имеется выбор из нескольких продукций, то их можно выполнять последовательно, альтернативно или параллельно. Если считать, что в период реализации продукций из фронта время как бы останавливается (т.е. сохраняется неизменной база знаний со своим состоянием
Другой проблемой управления реализацией системы продукций является поиск наиболее эффективных способов проверки выполнения условий
У психологов бытует термин «поле активного внимания». В это поле попадает та часть хранимой в памяти человека информации, которая обусловливает его текущие размышления или рассуждения. Как бы лучом прожектора эта информация выхватывается из огромного хранилища всевозможных знаний. Поле активного внимания скользит по памяти, не всегда подчиняясь нашему желанию. Как порой мучительно трудно выудить нужную информацию (например, вспомнить фамилию человека, лицо которого вам явно знакомо), как, отчаявшись, мы перестаем об этом думать, а оно «само, без видимых усилий» как бы всплывает из темных, неосвещенных глубин памяти.
Нечто аналогичное применяют специалисты в области баз знаний, вводя механизм
Мы рассматривали до сих пор лишь такие продукции, в которых
При работе с правдоподобными продукциями применяются приемы, аналогичные описанным в четвертой главе. Вместо числового значения оценки правдоподобия в таких продукциях могут встречаться нечеткие квантификаторы, как в D-силлогизмах.
Кроме обычных приемов вывода (как достоверного, так и правдоподобного) для систем продукций могут использоваться и иные способы получения результатов рассуждений. Один из них – это получающий в последнее время распространение
Вывод на семантической сети
Семантические сети – это наиболее общая модель представления знаний об окружающем интеллектуальную систему мире и способах действий в нем. В самом общем виде семантическая сеть есть множество вершин, каждая из которых соответствует определенному понятию, факту, явлению или процессу, а между вершинами заданы различные отношения, изображаемые дугами. Дуги снабжены именами или описаниями, задающими семантику отношений. Вершины также помечены именами или описаниями, содержащими нужную для понимания семантики вершины информацию.
Прибегнем, как всегда, к наглядному примеру. Известный роман Э. Хемингуэя «Острова в океане» начинается так:
«Дом был построен на самом высоком месте узкой косы между гаванью и открытым морем. Построен он был прочно, как корабль, и выдержал три урагана. Его защищали от солнца высокие кокосовые пальмы, пригнутые пассатами, а с океанской стороны крутой спуск вел прямо от двери к белому песчаному пляжу, который омывался Гольфстримом».
Попробуем отобразить информацию, содержащуюся в этом отрывке, в виде семантической сети. Введем систему понятий, которым для удобства присвоим имена по первым буквам соответствующего слова текста: Д – дом, СВМ – самое высокое место, К – коса, Г – гавань, ОМ – открытое море, КП – кокосовые пальмы, С – солнце, КС – крутой спуск, ДВ – дверь, П – пляж, Г – Гольфстрим. Теперь будем постепенно строить семантическую сеть, вводя нужные отношения и описания. На рис. 33,
Рис. 33.
При переходе имеется определенный произвол в представлении текста, касающийся формирования описаний. Те или иные сведения можно отражать прямо в структуре сети, а можно и в описаниях. Например, в нашем случае не было введено понятие «ураган» или понятие «пассат». Сведения о них содержатся в описаниях. Но можно было бы ввести для них специальные вершины и отразить эти понятия в структуре семантической сети.
В зависимости от того, какую смысловую нагрузку несут отношения в семантической сети, их можно классифицировать по различным типам. Если они, например, отражают каузальные отношения, то мы имеем дело с семантическими сетями, называемыми
Вывод на семантической сети можно представить в продукционной системе, в которой каждая продукция имеет вид
Рис. 34.
На рис. 34 показана такая продукция. Знак вопроса означает, что в качестве имени вершины может выступать любое из тех, которые имеются в базе знаний. Но если знак вопроса заменен какой-то вершиной, то в правой части продукции появляется такое же имя. Исходное состояние базы знаний показано на рис. 35,
Рис. 35.
Обработка продукции идет следующим образом. В семантической сети, показанной на рис. 35,
В более сложно организованных образцах для поиска могут присутствовать условия применимости продукций, о которых говорилось при обсуждении общей формы продукции. Например, образец мог бы иметь вид «Если имеет место
Если при выводе на семантической сети фрагмент
Читатель должен почувствовать, что пополнение знаний – процедура весьма непростая. Приведенный простенький пример уже продемонстрировал необходимость в альтернативном выборе при пополнении, а также в правдоподобных рассуждениях.
Но самое главное – этот альтернативный выбор может оказаться источником всевозможных неверных выводов при дальнейшей работе с базой знаний.
Остановимся лишь на одном случае такой опасности, который среди специалистов по интеллектуальным системам получил название эффекта
Рис. 36.
В обычной логике вывод всегда бывает монотонным. Если из множества утверждений {
На рис. 36,
Возможность неоднозначного доопределения сетей, хранящихся в памяти, приводит к тому, что после доопределения выводиться могут различные утверждения, зависящие от сделанного пополнения. Поэтому проблема пополнения непроста. Поэтому переход к построению выводов, опирающихся на знания (а именно они активно используются в современных интеллектуальных системах), вызывает к жизни многие новые и не совсем привычные для традиционных логиков проблемы.
Спрашивай – Отвечаем
Одним из нетрадиционных видов человеческих рассуждений (нетрадиционных для классической логики, а не для человека) является поиск ответа на вопрос. Развитие баз знаний стимулировало интерес к тому, как могут формулироваться запросы к хранящейся в них информации и как могут формироваться ответы на эти вопросы. Другими словами, внимание логиков стали привлекать процедуры построения
Давно известно, что правильно сформулированный вопрос во многом содержит в себе информацию о возможном ответе на него. Но остается неясным, что значит «правильно сформулированный». В рассказе известного американского писателя-фантаста Р. Шекли «Верный вопрос» эта проблема находится в центре внимания. В рассказе говорится о поставленном в глубинах Космоса универсальном Ответчике, созданном некоторой сверхцивилизацией. Ответчик способен дать исчерпывающий ответ на любой вопрос, если он сформулирован правильно. Но оказывается, что этого никто из людей не может сделать. Все живые существа живут в мирах, которые состоят из частностей. Поясняя этот факт очередному претенденту на получение ответа, Ответчик говорит: «Положим, ты спрашиваешь: „Почему я родился под созвездием Скорпиона при проходе через Сатурн?“. „Я не сумею ответить на твой вопрос
Существует несколько типов вопросов, которые мы часто задаем другим людям или самим себе. Специалисты до сих пор не пришли к единому мнению о классификации всех возможных вопросов. Условно их пока делят на шесть типов в зависимости от того, какие процедуры требуются при ответе на них.
1.
2.
Для формирования ответов на ЛИ-вопросы необходима процедура проверки истинности альтернатив, перечисленных в них, и выбора той альтернативы, которая является истинной. Конечно, в базе знаний может не оказаться нужных данных. Это приводит к тому, что в качестве ответа на ЛИ-вопрос может быть выдано: «Не знаю» или «Не имею необходимой информации».
Возможен и другой крайний случай (к сожалению, весьма часто встречающийся в больших информационных системах), когда возникает известная позиция Ходжы Насреддина в разрешении спора двух сторонников взаимно исключающих альтернатив. Выслушав первого, он сказал: «Ты прав», выслушав второго он снова сказал: «Ты прав», а на замечание прохожего, что так быть не может, Насреддин сказал и ему: «Ты прав». При заполнении баз знаний (особенно из различных источников) в них одновременно могут храниться взаимоисключающие факты. При обнаружении такого положения ответ на ЛИ-вопрос должен звучать примерно так: «Однозначного ответа дать не могу, верно и одно и другое».
3.
Ответ на второй КАКОЙ-вопрос требует не только поиска, но и процедуры логического вывода следствий из того, что в множество истинных формул в качестве посылки включается новая формула, связанная с утверждением о том, что Д. Смит является министром обороны. Как и для ЛИ-вопросов, в этом случае возможно незнание ответа или неоднозначность его. КАКОЙ-вопросы второго типа есть вопросы о следствиях из принятия некоторого факта в базу знаний, что принципиально отличает их от КАКОЙ-вопросы первого типа.
4.
5.
6.
Из приведенной типологии вопросов видно, что ответы на многие из них могут трактоваться как
В более широком смысле от интеллектуальной системы требуется не просто объяснение, а, скорее,
Мы пришли к весьма важному моменту, когда становится очевидным, что в человеческих рассуждениях, выводах и методах обоснования появляется новый компонент, связанный с опытом и интуицией, еще не вылившимися в форму осознанных логических утверждений. В широком смысле обоснование некоторого факта или утверждения должно включать в себя наряду с его логической аргументацией и компонент, опирающийся на психологическую уверенность человека в справедливости или истинности тех или иных положений. Здесь теория человеческих рассуждений смыкается с психологией поведения людей. И именно об этом пойдет речь в последней главе книги.
Глава шестая. РАССУЖДЕНИЯ И ПОВЕДЕНИЕ
Причины действий человеческих обыкновенно бесчисленно сложнее и разнообразнее, чем мы их всегда потом объясняем, и редко определенно очерчиваются.
Рационален ли человек?
Этот вопрос может показаться странным. Мы привыкли, что рациональность, целенаправленность поведения человека, внутренняя логика его рассуждений тем больше, чем сильнее в нас проявляются «интеллектуальные возможности», чем более строго и научно мы действуем. Глубокое уважение к науке, вера в ее силу и исключительность в объяснении окружающего мира, в торжество научно-технического прогресса настолько сильны в нас, что мы склонны считать, что лишь научные способы рассуждений, опирающиеся на формальные логические схемы, могут оказаться продуктивными и справедливыми.
На предшествующих страницах этой книги была сделана попытка заронить сомнение в незыблемость этого расхожего мнения. Было показано, что строгие достоверные рассуждения, отвечающие самым полным ограничениям формальных логических систем, моделируют далеко не все виды рассуждений, которыми оперирует в своей деятельности человек. Многие виды научного знания базируются на рассуждениях нестрогих, носящих правдоподобный характер, или на выводах, использующих неполную исходную информацию. В этой главе обратим еще большее внимание на важность в моделировании человеческой деятельности и его поведения «нерациональных схем рассуждений».
Но начнем с того, что попытаемся описать основные черты целенаправленной (рациональной) модели поведения. Такая модель может быть охарактеризована следующими девятью особенностями.
1. В поведенческом акте четко разделяются конечные и промежуточные цели, средства достижения целей и результаты, возникающие при применении этих средств.
2. Имеется эффективная процедура, которая позволяет сравнивать между собой результаты и цели, оценивать степень достигнутости цели.
3. Имеется эффективная процедура, дающая возможность оценивать значимость достигаемых целей и сравнивать между собой различные цели по степени их важности.
4. Задана структура промежуточных целей. Другими словами, проведена декомпозиция конечных целей на промежуточные и определен порядок движения от целей нижнего уровня к целям верхнего уровня (переход с уровня на уровень соответствует приближению к конечным целям).
5. Средства сами по себе не имеют какой-либо ценности. Их ценность определяется лишь тем, насколько быстро идет движение к конечным целям.
6. Заданы условия выбора средств, не зависящие от целей, определяемые теми или иными четко осознанными обстоятельствами или возможностями.
7. Акт поведения оценивается по тому, насколько удалось в результате его совершения приблизиться к конечной цели.
8. Имеются процедуры оценки ресурсных ограничений, необходимых при выборе тех или иных средств или достижении тех или иных целей.
9. Ожидается, что в результате достижения конечной цели субъект получит некоторое «вознаграждение» (например, в виде морального удовлетворения).
Можно ли считать, что эти основные особенности реализуются в любом человеческом рассуждении или поведении? Всегда ли мы осознанно ставим перед собой цели, проводим анализ средств их достижения, оцениваем возможные ресурсы и делаем все остальное, без чего рациональное поведение не является таковым? Разве не ловим мы себя время от времени на мысли о том, что наши действия ни на что не направлены, что мы «просто убиваем время» или «ловим кайф»? Разве время от времени мы не делаем вещей, которые сами потом не в силах объяснить?
Но даже тогда, когда мы осознаем цель, которую хотим достичь, не начинаем ли мы действовать подобно Манилову, лишь рассуждая о пользе достижения этой цели, но не делая к этому никаких практических шагов. При тех или иных выводах мы часто прибегаем к некоторым утверждениям, в абсолютную истинность или ложность которых не верим. Когда мы говорим: «Ученье – свет, а неученье – тьма», мы, по-видимому, верим в истинность этой сентенции. Но в несколько иных обстоятельствах мы с той же внутренней убежденностью прибегаем к другой сентенции, явно противоречащей первой: «Век живи, век учись – дураком помрешь». В первой главе мы говорили о трех ипостасях человека: дитя, взрослый и родитель. И если рассуждения взрослого демонстрируют чисто логический характер, несомненно рациональный по особенностям, то рассуждения ребенка или родителя вовсе не преследуют рациональных целей. Дети часто получают удовольствие от самого процесса рассуждения, от тех эмоций, которые этот процесс вызывает, а рассуждающие в ипостаси «Родитель» часто как раз и занимаются тем, что «просто убивают время».
Стереотипы социального поведения, мода, сложившиеся в обществе морально-этические нормы во многом определяют наши рассуждения и поведение. В итальянском фильме «Игра в карты по-научному» баснословно богатая и бесчеловечная старуха обыгрывает в карты бедняков, мечтающих о том, что они, выиграв, разбогатеют. Так как старуха при каждом проигрыше просто удваивает ставку, а запас ее денег неиссякаем, то логически совершенно очевидно, что наступит момент, когда она отыграет все свои проигрыши и разорит противника. Подобный вывод строг и обоснован, ибо игра продолжается без ограничений. Но рассуждения двух детей, героев картины, основаны на иных принципах. Между ними происходит такой диалог: «Как ты думаешь, старуха проиграет? – Конечно! – А почему? – Потому что она плохая, а он хороший».
«Ты прав, но это меня не убеждает»
Факты для человека существуют не сами по себе. Они образуют взаимосвязанную и сложную структуру. Наличие того или иного факта, не подтверждаемого другими фактами, тесно связанными в сознании с ним, часто подвергается сомнению. И, наоборот, ненаблюдаемый факт может казаться истинным, если его релевантное окружение имеет место. Таким образом, для человека важен не только конкретный факт, но и тот контекст, в котором он существует в его сознании.
В последнее время в науке об интеллектуальных системах все чаще и чаще используется термин «уверенность». Факты принимаются или не принимаются людьми не только в силу их логической обоснованности, но и в силу той или иной уверенности людей в этих фактах, совместимости их с ранее сформировавшимися у человека представлениями и связями. Конечно, эта уверенность может быть мнимой, приводить к ошибочным умозаключениям.
«Выдергивание» фактов из контекста, оперирование ими вне релевантного окружения может приводить к их субъективному истолкованию. Вот как пишет о такой «операции» и ее последствиях для исторической науки писатель О. Сулейменов: «Я понял, что историческая ложь может оскорблять вещего так же, как историческая правда невежду. Мне приходилось видеть, как исторический факт мотается на качелях субъективной логики, возносясь на метафизические вершины и обрушиваясь в бездонные пропасти объективного незнания. Факт, взятый вне исторического контекста, превращается в мертвую игрушку ученых. Ибо факт – ядро эпохи, он живет в космосе обстоятельств своего времени, как земной шар в оболочке атмосферы».
Проблему аргументации можно было бы сформулировать как проблему поиска тех фактов (из которых данный факт вытекает), которые могли бы обосновать проявление интересующего нас факта. Факты, привлекаемые для аргументации, должны быть убедительными либо для самого субъекта (если он убеждает сам себя), либо для его оппонентов. Как-то на экскурсии в Больших Вязёмах автор услышал следующую аргументацию экскурсовода по поводу факта причастности Бориса Годунова к убийству царевича Дмитрия. Экскурсовод, показывая на храм Преображенья, стоящий в Больших Вязёмах, сказал: «Посмотрите на храм внимательно. Многие его детали напоминают Архангельский собор в Кремле. Значит, строя его, Борис Годунов как заказчик давал строителям образцы для подражания. Он еще не был на престоле, но явно думал о нем. Косвенно это для меня лично весьма убедительно свидетельствует, что Дмитрия убили по приказанию Годунова». Автору это рассуждение показалось малоубедительным. Но в процессе дальнейшего разговора с экскурсоводом он услышал немало других аргументов в пользу высказанного. И хотя автор не стал сторонником мнения о причастности Годунова к убийству Дмитрия, но соображения его оппонента стали для него более убедительными.
Таким образом, можно считать, что аргументация – это такой процесс, при котором одна из сторон пытается сменить систему аксиом у собеседника, «настроить» его на вывод из приведенной для аргументации совокупности фактов того утверждения, которое защищается. Но, чтобы добиться этого, необходимо сменить у собеседника систему ценностей, которая лежит в основе непринятия аргументации. Другими словами, при этом необходимо апеллировать не к чисто логическому содержанию утверждений, а к тем ценностным оценкам, которыми они обладают.
Процессы такого рода в практике человеческого общения называются «споры». Споры бывают самыми различными по своим целям и формам. Опишем ряд типичных видов спора.
1. Спорящий в процессе аргументации и ответов на нее хочет увеличить собственную уверенность в справедливости того тезиса, который он отстаивает. Возможно, что в процессе опровержения аргументации у лица, выдвинувшего тезис, произойдет смена аксиом, и он изменит свою точку зрения.
2. Спор происходит с единственной целью убеждения оппонента в справедливости выдвигаемого тезиса. При этом лицо, выдвинувшее некоторый тезис, может считать его истинным, но может и не считать его таковым. Во втором случае оправданием спора для него служит убеждение, что если оппонент примет тезис (хотя он и неверен), то оппоненту будет лучше. Например, происходит убеждение друга, что ему надо жениться на его новой знакомой, но стремление навязать ему этот брак проистекает вовсе не из того, что верен обосновываемый в споре тезис «Она лучше других тебе подходит», а потому, что «Жениться просто необходимо». И когда «Добрыня крестил огнем, а Путята мечом», то они были, по-видимому, уверены в том, что для язычников крещение было благом.
Два указанных вида спора исчерпывают то, что можно было бы назвать рациональным спором. Спорящие в них имеют свои четко осознаваемые цели и добиваются их, используя приемы, не содержащие обмана. Наверное, имитация таких споров в современных интеллектуальных системах – вещь вполне возможная. По крайней мере, ясно, как это делать принципиально, используя процедуры решателя и возможности базы знаний. Остальные виды спора, перечисленные ниже, реализовать в интеллектуальных системах намного труднее (да и с прагматической точки зрения целесообразность такой реализации требует особых обоснований).
3. Спор происходит ради победы в нем. Наградой за одержанную победу является укрепление личной установки, получение эмоционального подкрепления своей «всесильности». В таких спорах часто используются всевозможные обманы, подмены одних тезисов другими, отказ от ранее принятых положений и т.п. Споры такого рода представляют своеобразную психологическую игру, в которой целью является не истина, а доказательство своего превосходства над другим человеком.
4. Спор может использоваться «для убивания времени». Часто люди спорят просто ради любви к спору, к тем эмоциям, которые его сопровождают. В грибоедовское время жил в Москве Алексей Михайлович Пушкин, который ежедневно с утра искал кого-нибудь, чтобы начать с ним спорить, все равно о чем. Иногда в процессе спора он мог сменить тезис на противоположный, если видел, что оппонент уже согласен принять его тезис, и продолжал столь же красноречиво и яростно убеждать оппонента в верности антитезиса.
5. Спор ради обучения спору, когда не слишком опытный спорщик в процессе спора обучается приемам аргументации, уловкам и ловушкам и другим способам вести спор. Такие споры использовались в философских школах Античности для обучения учеников. Сократические диалоги являются одним из видов такого спора. Еще раз напомним, что вся силлогистика Аристотеля выросла из практики споров подобного типа.
6. Спор ради оскорбления оппонента, стремления унизить его, доказать, что его система ценностей намного хуже той, которой пользуется спорщик. В таком споре люди редко прислушиваются к аргументам оппонента. Иногда они попросту их не слышат. Об одном таком спорщике М.Ю. Лермонтов пишет в первой главе «Княжны Мэри»: «Спорить с ним я никогда не мог. Он не отвечает на ваши возражения, он вас не слушает. Только что вы остановитесь, он начинает длинную тираду, по-видимому, имеющую какую-то связь с тем, что вы сказали, но которая на самом деле есть только продолжение его собственной речи».
В процессе спора спорящий может слушать лишь себя, но может имитировать рассуждения своего оппонента. Во втором случае он пользуется схемами, получившими название
«Он думает, что…»
21-го августа 1974 года на шестнадцатой полосе «Литературной газеты» появилась миниатюра А. Жукова, имеющая непосредственное отношение к тому, о чем тут пойдет речь. Поэтому приведем ее полностью.
Личное мнение
«Да» или «нет»? – вот в чем вопрос. Если «да», не подумает ли Он, что я говорю «да» лишь потому, что я думаю, что так думает Он? То есть что я подхалим. А если «нет», не подумает ли Он, что, несмотря на то, что я думаю, что Он думает «да», я тем не менее говорю «нет», то есть что я не в меру строптив? Но если «да», Он подумает, что я говорю «да» потому, что мне показалось невыгодным говорить «нет». А если «нет», Он может подумать, что я говорю «нет» лишь для того, чтобы показать, что у меня есть собственное «Я», то есть что у меня его нет. А все таки «да» или «нет»? «Нет» или «да»? А почему это я вдруг решил, что Он думает «да»? А если Он думает наоборот? И тогда, если я скажу «нет»…
Мучения героя миниатюры по-человечески понятны. Знать мнение своего начальника – мечта многих поколений подчиненных. Еще во времена Римской империи был в ходу принцип Ipse dixit, который по-русски звучит весьма внушительно: «Сам сказал!». Но как узнать, что же Сам сказал? Нельзя же просто так спросить Самого. Выход из этого положения – моделирование предполагаемого мнения начальства. Основа такого моделирования –
При рефлексивном рассуждении мы как бы становимся не собой, а моделируемым персонажем, проводим рассуждение за него, глядим на мир и ситуацию его глазами. Для того, чтобы это было возможно, надо знать ту систему посылок и критериев, которые моделируемое лицо использует. Если таких знаний недостаточно или их нет, то существует лишь один выход: считать, что Он и Я одинаковы. Другими словами, считать, что Он обладает такими же посылками и критериями, как и Я, а его знания не больше моих.
Если внимательно прочитать эту юмореску, то можно заметить, что рефлексивные рассуждения очень напоминают вложенные друг в друга матрешки. Рекурсивный процесс вложения можно продолжать бесконечно, становясь попеременно на место моделируемого персонажа и свое. С этим вложением связано понятие
Рис. 37.
На рис. 37 показана ситуация погони. Персонаж
Здесь
Но верно ли это предположение? Ведь
В этом случае
А что будет, если
И если
Ситуация, очень похожая на этот последний случай, послужила основанием для рассказа «Ограбление произойдет в полночь», принадлежащего известному советскому писателю-фантасту И. Варшавскому. В нем описана следующая забавная ситуация. Полицейское управление получает в свое распоряжение мощный компьютер с пакетом программ, позволяющих прогнозировать возможные преступления. Проанализировав все случаи ограбления банков за последние пятьдесят лет, ЭВМ выдает прогноз, что сегодня произойдет ограбление Национального банка и сделает это известная банда папаши Сколетти. Машина даже рассчитывает оптимальный вариант ограбления, сулящий банде наибольший успех.
Все было бы хорошо, но у банды Сколетти тоже есть ЭВМ – родная сестра машины, стоящей в полицейском управлении, а программисты, работающие у бандитов, конечно, знают об ЭВМ, приобретенной полицией. И, конечно, они легко могут просчитать действия полиции при оптимальном варианте ограбления. Поэтому если их уровень рефлексии выше нулевого, то бандиты воспользуются не оптимальным вариантом, а тем, который наименее от него отличается.
Так начинается дуэль двух ЭВМ, которые постепенно наращивают ранги рефлексии своих рассуждений. Процесс этот, как мы уже говорили, бесконечен. ЭВМ рассчитывают и отвергают один вариант за другим, не останавливаясь окончательно ни на одном из них, предполагая, что противники уже рассчитали эти варианты. Дуэль кончается неожиданно. Шефу полиции сообщают, что десять минут назад Национальный банк ограблен. На испуганный вопрос программиста полицейского управления: «Неужели Сколетти?..», – шеф полиции яростно отвечает: «Думаю, что Сколетти целиком доверился такому же болвану, как вы. Нет, судя по всему, это дело рук Вонючки Симса. Я знаю его манеру действовать в одиночку, угрожая кольтом образца 1912 года и консервной банкой, насаженной на ручку от мясорубки».
Вонючка Симс не был способен к рефлексивным рассуждениям и выиграл на этом.
Рефлексивные рассуждения тесно связаны с некоторым классом игр, в которых игроки при выборе своих действий могут опираться на соображения о поведении других игроков. Простейшей из таких игр является игра, получившая название «Дилемма заключенного». Эта игра задается матрицей с определенными отношениями между выигрышами игроков при выборе ими одной из двух доступных им альтернатив. Например, матрица может иметь следующий вид:
В этой матрице
Обычно для интерпретации этих выборов рассказывают следующую криминальную историю. Полиция задержала двух человек, которые полицейским показались подозрительными. Во всяком случае, они явно смахивали на бродяг, а в стране, где это происходит, за бродяжничество полагается наказание – год тюремного заключения. Но у полицейского комиссара есть основания подозревать в них не просто бродяг. Похоже, что они – давно разыскиваемые преступники, на совести которых немало краж. Но как установить истину?
Комиссар выбирает следующую тактику. Он сажает подозреваемых в разные камеры и не дает им общаться между собой. При допросе каждому из них он объясняет, что если допрашиваемый сознается в совершении краж, то все наказание (шесть лет тюрьмы) понесет нераскаявшийся преступник, а сознавшийся будет полностью освобожден от наказания. Если же оба преступника сознаются одновременно, то каждому из них придется отсидеть по три года.
Перед подозреваемыми возникает дилемма: сознаваться или не сознаваться? Если бы они могли договориться между собой, то, конечно, надо было бы упорно отрицать свое участие в кражах. Год тюрьмы не такой уж большой срок, и они вскоре были бы на свободе. Но договориться им не дают. И все время каждого мучает мысль: что если сообщник сознается? Тогда придется сидеть шесть лет, а он будет гулять на свободе.
Итак, перед каждым из игроков две стратегии: сознаться (в матрице игры этому соответствуют альтернативы
Если у наших бродяг нулевой ранг рефлексии, то каждый из них способен рассуждать только на основе тех чисел, которые находятся в матрице игры. А это значит, что каждый из них руководствуется лишь собственными интересами. В таких условиях они мгновенно «раскалываются», признаются в совершенных кражах и получают по три года тюрьмы.
Если один из бродяг обладает первым рангом рефлексии, то он сначала подумает о своем компаньоне, встанет на его место, примет его посылки и критерии (в данной задаче эти посылки и критерии одинаковы у обоих игроков). Если имеются основания считать, что компаньон человек недалекий, не способный к рефлексии, то ясно, что он сознается при первой же возможности, ибо рассуждает по схеме
В этих условиях надо немедленно сознаваться, ибо три года тюрьмы все-таки лучше, чем шесть.
Если же компаньон умен, то хорошо бы знать, какой ранг он припишет своему сотоварищу. Если нулевой, то ситуация ясна – пары (
Оставим бродяг мучиться над их неразрешимой дилеммой, а комиссара полиции ждать, когда они «созреют». Вернемся к тем схемам рефлексивных рассуждений, которые мы привели.
Для того чтобы понять, как реализуются рассуждения с различными рангами рефлексии, введем специальный оператор
соответствует следующему рассуждению: «
Текст и рассуждение
В конце второй главы мы говорили о малоизвестных науках – герменевтике, экзегетике и гомилетике. Одним из достижений этих наук является четкое понимание того, что та или иная аргументация во многом зависит от формы текста и восстановления условий его возникновения. Примером аргументаций такого рода могут служить удивительно тонкие и остроумные соображения, используемые специалистами в области литературоведения или истории. Анализируя, например, роман М.А. Булгакова «Мастер и Маргарита» литературоведы смогли разгадать многое, что скрывается между строк этого произведения. Коровьев-Фагот оказывается носителем средневековой ереси альбигойцев, учение известного украинского мыслителя Г. Сковороды – лейтмотивом многих высказываний героев романа. А фамилия Берлиоз свидетельствует о глубинном противопоставлении всего замысла романа Булгакова замыслу «Фантастической симфонии» известного французского композитора. Такая работа требует обширных знаний об эпохе и личности писателя, умения воспринимать текст произведения как бы в нескольких измерениях.
Тексты обладают одной удивительной способностью. Если они передают живую речь, то невольно изменяют ее, трансформируют в ту или иную сторону, приглаживают, лишают тех компонентов, имевшихся в живой речи (интонация, сопровождающие жесты, мимика), которые во многом определяли характер живой речи. Эта особенность текстов не раз создавала трудности, когда стенографирование или запись показаний подозреваемых превращала в текст протокола их живую речь. Если судьи после этого знакомились с делом лишь по письменным текстам, то их суждения могли быть весьма далекими от истины. В почти документальном романе французского писателя Ж. Перро «Красный пуловер» рассказывается о судебном процессе над Ранусси, казненным в 1976 году по подозрению в убийстве ребенка. Не подвергая полному сомнению обстоятельства дела и судебного расследования, автор романа специально отмечает особенности протокола. От имени адвоката подсудимого он говорит:
«Вы знаете, я так и не услышал признаний в виде связного рассказа. Ранусси замолкал, едва речь заходила об уточнении деталей: он только повторял: „Да… да… да…“. Судья задавала ему вопросы, а он отвечал – если отвечал – либо односложными словами, либо кивком головы. Затем судья диктовала своему секретарю умело построенные фразы, и на бумаге выходило слитное повествование. Не поймите меня превратно! Я не утверждаю, что его заявления были сфабрикованы. Я просто повторяю, что обе стороны не выходили за рамки первоначальных признаний. Судья спрашивала: „Вы действительно сделали то-то и то-то?”, а обвиняемый отрешенно повторял: „Да, да”. Но уверяю вас, продиктованный секретарю текст звучит убедительно только потому, что составлен логично. Если бы вам довелось слышать, как Ранусси отвечает на наводящие вопросы, не имеющие вроде бы к нему никакого отношения, у вас наверняка зародились бы сомнения… На суде многократное повторение отдельных фраз может оказать решающее влияние. Присяжный, справедливо уверенный в том, что „стиль – это человек”, не знает, что в области юриспруденции стиль – это полицейский либо следственный судья… Речь может изобиловать колебаниями, непоследовательными высказываниями, повторами, намеками, противоречиями, умолчаниями, а результатом всегда будет логическое, хорошо сконструированное утвердительное повествование. И здесь нельзя говорить об умысле или недобросовестности полицейского или следственного судьи. Однако все согласятся, что обвиняемый, который ограничивается ответом „да” на любой вопрос, выглядит несколько иначе, чем обвиняемый, многословно описывающий свои поступки и деяния. Но поскольку запись ведется под диктовку судьи, отличить одно от другого при чтении протокола невозможно. Таким образом возникает картина, не то чтобы неверная, а лишенная перспективы и рельефа, полутонов и теней, и это заставляет допускать истинность каждого элемента в отдельности, не будучи уверенным в истинности целого».
Приведенная пространная выдержка из романа Ж. Перро еще раз подтверждает существование кардинальных различий в рассуждениях, основанных на безликих текстах и реализуемых в процессе живого общения оппонентов. Учитывая, что основным режимом взаимодействия интеллектуальных систем с пользователем является режим непосредственного диалога, было бы чрезвычайно важно учесть в моделях общения и рассуждений особенности непосредственной коммуникации. В частности, была бы чрезвычайно полезна замена текстовых сообщений через терминалы интеллектуальных систем, которые пока доминируют в общении человека с компьютерами, речевыми сообщениями с одновременным вводом в искусственную систему всего внеречевого окружения, сопровождающего устную речь. Но пока это дело будущего.
«Верую, ибо абсурдно!»
Это упоминавшееся уже изречение стало афоризмом. Тертуллиан использовал его, отказываясь от попытки объяснения догмата о троичной природе бога. Три ипостаси христианского бога не сводимы друг к другу, но тождественны между собой. В рамках формальной логики это приводит к нарушению ее основных законов и не дает возможности логически объяснить суть троичности бога. Тертуллиан в этих условиях поступил так, как поступает большинство людей при невозможности дать чему-либо логическое объяснение. Логика в этот момент отступает, и на первый план выступает либо ни на чем не основанное объяснение непонятного явления, либо вера в его истинность.
В первой главе мы говорили об асимметрии полушарий головного мозга, о различных принципах рассуждений, характерных для них. До сих пор мы рассматривали лишь левосторонние механизмы рассуждений, опирающиеся на некоторые логические в той или иной степени формализованные системы, на идею рационального рассуждения. Именно таким рассуждениям обучают в рамках европейской культуры. Но возможно обучение и иным способам постижения закономерностей окружающего нас мира. К сожалению, эти способы, характерные для правосторонних механизмов человека, слишком долго окутывала мистика, они вольно или невольно противопоставлялись «научным» методам постижения мира. При этом, однако, забывалось, что величайшие научные открытия часто происходили «сами по себе», в состоянии озарения, оказывались увиденными как бы внутренним зрением. Творческие способности человека всегда связывали с этими особыми состояниями его психики, когда поэтов посещает вдохновенье, а новая музыка начинает звучать для композитора столь явственно и законченно, что остается лишь записать ее.
Можно ли обучить человека переходу в эти состояния и постижению истин этим особым путем? Опыт, накопленный в последнее время и опирающийся на давнюю традицию ряда восточных школ, позволяет ответить на этот вопрос положительно. Основой такого обучения является всемерное развитие схем выводов по аналогии и ассоциации. И чем дальше друг от друга эти аналогии или ассоциации, тем более успешным будет обучение. С этой точки зрения схемы рассуждений по аналогии, которые мы описали в четвертой главе, еще слишком логичны и жестки. […][10]
…что выходят окнами на улицу, а приходят, когда на них никто не смотрит, с другой стороны, лишь бы не выйти из себя вовсе». Льюис Кэррол в своих произведениях ошеломляет читателей каскадом парадоксов и алогизмов. Э. Ионеску – создатель театра абсурда, вкладывает в уста своих персонажей такие высказывания, как «Мне больше нравится птица в поле, чем песок в тачке» или «Если звонят, то у двери иногда кто-то есть, а иногда никого нет». В шедшей на протяжении двадцати лет серии фильмов с участием братьев Маркосов все время участвует некто Чико, который характеризуется одним из персонажей следующим образом: «Он выглядит идиотом, говорит как идиот, но пусть вас это не вводит в заблуждение – он в самом деле идиот».
В области нетрадиционных, «нелогичных» рассуждений, теория делает только робкие первые шаги, а интеллектуальные системы еще пребывают в полном неведении о таком способе решения проблем.
КРАТКОЕ ЗАКЛЮЧЕНИЕ
Из того, что написано в этой книге, можно сделать следующие выводы, связанные с моделированием человеческих рассуждений в интеллектуальных системах.
1. Пока хорошо удается моделировать те рассуждения, которые носят достоверный характер и осуществляются в рамках некоторой формальной системы.
2. Достигнут определенный успех в области моделирования разного вида правдоподобных рассуждений.
3. Активно развиваются методы вывода, основанные на знаниях.
4. На начальной стадии находятся наши представления о тех системах рассуждений, которые связаны с системами ценностей и целей, присущих человеку. Интеллектуальные системы будущего, если мы ждем от них поведения и умения, подобных человеческим, не смогут без этого обойтись. А значит, моделирование рассуждений – открытое поле для исследований, свидетельствующее о молодости и перспективности этого научного направления, входящего в сферу исследований, называемых искусственным интеллектом.
И последнее: метафора левого и правого, проходящая через текст этой книги, по-видимому, имеет фундаментальный смысл. Во всяком случае, исследования в области истории культуры, проведенные в последние годы, свидетельствуют именно об этом. Дальнейшие исследования могут раскрыть некоторые тайны механизма человеческих рассуждений.
КОММЕНТАРИЙ
Глава первая
Чизхолм – мифический (подобно Мэрфи) ученый, персонаж научного фольклора США.
Правое и левое. При чтении этой книги может возникнуть вопрос о соотношении терминов «левостороннее» и «правостороннее мышление» с известными понятиями «рассудок», «разум» или «интеллект». В современной философско-психологической традиции понятия «рассудок» и «разум» связываются с двумя типами логического мышления. При этом механизм рассудка позволяет делать правильные логические выводы на основе имеющихся знаний, не порождая при своем использовании новых знаний. Деятельность механизмов рассудка можно назвать абстрактно-формальной. Разум дает знания, отличающиеся большей обобщенностью и глубиной. Его механизмы позволяют находить новые отношения между фактами и явлениями и формировать новые обобщенные понятия, т.е. механизмы, присущие разуму, способны порождать на логической основе новые значения. Наконец, интеллект – это относительно устойчивая структура умственных способностей конкретного человека, характеризующаяся наличием у него определенных знаний, способностей к логическим и ассоциативным умозаключениям и т.п. Как следует из того, что в книге говорится о левостороннем и правостороннем мышлении, эти два понятия не совпадают с понятиями разума, рассудка или интеллекта. Для выявления их взаимосвязи требуются специальные исследования.
Литература, посвященная функциональной асимметрии полушарий головного мозга у человека, достаточно богата, но быстро устаревает. Наиболее современное изложение состояния дел в этой области дано в монографии [1], которая частично была использована при написании книги. В этой монографии имеется достаточная библиография по данной проблеме. Отметим популярную книгу [2], в которой отражены некоторые иные, чем у нас, идеи и концепции, а также книгу [3], в которой деятельность правого полушария увязывается со сновидениями.
Хотелось бы подчеркнуть, что, несмотря на доминирование в нашем обществе людей с левополушарным мышлением, надо всегда помнить о том, что нравственные нормы, нормы морали, эффект сопереживания одного человека другому – это в основном прерогативы правого полушария, хотя возникли они не без участия левого полушария. Например, необходимость хранить знания, носителями которых были опытные члены племени, возраст которых не позволял им активно принимать участие в охоте и другой деятельности, требующей физических сил, привела к введению моральных законов типа «не убий». В последующие века эта «прагматическая» основа норм была забыта. При подавлении активности правого полушария возможно превращение человека в бесстрастную машину, для которой планирование на основе имеющейся цели всегда оправдано и при этом «цель оправдывает средства». К чему это может привести, в художественной форме описано в повести «Белый ящер» болгарского писателя П. Вежинова [4].
Пралогическое мышление. Исследование пралогического мышления, начатое Левн-Брюлем [5], было затем продолжено многими учеными. Для интересующихся современным положением дел в этой области можно порекомендовать несколько книг, где затрагиваются те или иные аспекты особенностей мышления людей, для которых феномены правостороннего мышления продолжают играть важную роль [6–9]. Остальную литературу по этим вопросам можно разыскать по библиографии в указанных книгах. Повесть У. Голдинга, о которой упомянуто в данном разделе, помещена в сборнике его произведений [10]. При знакомстве с нею можно получить достаточно полное представление о том, как воспринимали окружающий мир наши далекие предки, почти неспособные к левостороннему мышлению. Примеры из румынского фольклора, приведенные в качестве иллюстраций, заимствованы из работы [11], в которой в наглядной форме описана структуризация окружающего человека мира с помощью бинарных и тернарных шкал.
Заметим в заключение, что термин «пралогическое мышление» многим отечественным и зарубежным исследователям не нравится. Часто вместо него говорят об образном мышлении или архаическом мышлении. Однако автору кажется более удачным термин, принятый в этой книге.
Дети, родители и взрослые. Материал этого раздела представляет собой вольное изложение ряда вопросов, затронутых в работах специалистов по трансакционному анализу. К сожалению, эти работы на русский язык не переводились. Поэтому в библиографии указаны две книги на английском языке [12, 13], в которых популярно излагаются основные положения трансакционного анализа.
Книга К. Сагана [14], ссылки на которую также есть в данном разделе, отстаивает идею триединого мозга, в котором две составляющие не связаны с речью. Как пишет К. Саган: «Мозг как бы состоит из трех биокомпьютеров, и каждый из них имеет свой собственный разум, свою собственную личность, собственное чувство времени и пространства, собственную память, двигательную и другие функции». Эти три «водителя» совместно управляют нейрошасси, состоящим из спинного мозга, продолговатого мозга и варолиева моста. Нейрошасси в автономном режиме обеспечивает все гомеостазисные функции организма (регулирование дыхания, кровообращения и т.п.). На этом нейрошасси взаимодействуют между собой упоминавшиеся в тексте
Как рассуждает ребенок. В том обилии литературы, которая посвящена психологии ребенка и, в частности, тому, как развивается его мышление, можно утонуть, как в море. Немыслимо в рамках одной книги охватить всю проблему. Поэтому данный раздел, весьма фрагментарный, преследует лишь иллюстративную цель. Для тех, кому вопрос, связанный со становлением понятийного мышления у ребенка, интересен, можно указать несколько монографий, обобщающих представления по этому вопросу. Прежде всего, это две классические работы [15, 16], лежащие в основе многих последующих исследований. Из более новых произведений можно указать на вполне доступные для неподготовленного читателя книги [17, 18]. Многое из того, что сказано в разделе, навеяно авторами работы [17]. Из этой же книги заимствованы некоторые примеры детских высказываний. Немалую коллекцию их можно найти и в хорошо известной книге [19]. Этапы постепенного развития естественных языков, связанные с овладением средствами для выражения тех или иных отношений, приводятся в книге Л.З. Совы [132].
Особенности человеческих рассуждений. Перечисление особенностей рассуждений, свойственных человеку, сделанное в этом разделе, конечно, не претендует на полноту. В серии выступлений на эту тему, которая предшествовала замыслу и написанию данной книги, автор неоднократно изменял этот перечень. Но, по-видимому, с развитием теории рассуждений он будет в дальнейшем изменяться еще не один раз. В работе [20] указаны некоторые особенности человеческих рассуждений, которые не вошли в перечень данного раздела.
Глава вторая
Что сделал Аристотель? Уже во времена Аристотеля и несколько позже него делались попытки построить теорию дедуктивных рассуждений. Но эти попытки либо не были доведены до завершения, либо оказались хуже теории Аристотеля. Современники их не приняли, и они затерялись на долгие столетия. В [21, 22] читатели найдут несколько примеров построения дедуктивных теорий, предпринятых до наступления нового времени.
Силлогистика Аристотеля. Более полное, чем на страницах этой книги, изложение силлогистики и ее модификаций можно найти в традиционных учебниках логики, например в [23, 24]. Рассказ «Пампукская хрюря» заимствован из [24], а цитата о скотном дворе, иллюстрирующая закон логического тождества, – из [25]. Заметим, что законы силлогистики неоднократно подвергались критике как специалистами по математической логике (особенно закон исключенного третьего, отказ от которого привел к появлению интуиционистской и конструктивной логик, обходящихся без него), так и философами, специализирующимися в области диалектической логики.
Интересные результаты, связанные с психологическими особенностями восприятия людьми силлогистических умозаключений, приведены в [26]. В этой же работе излагаются результаты исследований психологов, объясняющие феномен неправильного восприятия тех или иных фигур силлогизмов.
В работе [27] рассмотрен вопрос о влиянии межполушарной асимметрии человеческого мозга на реализацию силлогистических выводов. Оказалось, что способность к такому выводу есть порождение левополушарного мышления. При функцировании лишь правого полушария испытуемые затруднялись в силлогистическом выводе и пытались подменить его рассуждениями эмпирического типа, опирающимися на практический опыт. Вот один из примеров, приведенных в [27]. Испытуемым предлагается силлогизм
Испытуемый с функционирующим левым и не функционирующим правым полушариями: «Да, в Приморске белые ночи, раз на той же широте». Другой испытуемый, у которого левое полушарие не функционирует: «Все равно не знаю, какие там ночи, кто его знает, где этот Приморск». В этих экспериментах левое полушарие выступает как победитель, но в экспериментах с пониманием метафор, описанных в этой же работе, оно уступает пальму первенства правому полушарию. Это еще раз подчеркивает важность обоих типов мышления для реализации человеческих рассуждений.
Расширения силлогистики Аристотеля. Попытки расширения традиционной силлогистики Аристотеля за счет включения в нее условных высказываний, отрицательных высказываний и ряда других форм высказываний делались почти с самого начала возникновения силлогистики. В упоминавшихся уже исследованиях [21, 22] можно найти немало примеров этого. И в наше время попытки создания различных расширений силлогистики продолжаются [23, 24, 28–31]. В книге [28], написанной со свойственным автору знаменитых приключений Алисы блеском, читатель найдет немало занимательных соритов, два из которых вошли в текст данного раздела. Заметим, что тот подход к силлогистике, который принят у Льюиса Кэррола, во многом близок к тому, как моделируются рассуждения в исчислениях, описанных в третьей главе.
Моделирование силлогистики. Несмотря на многочисленные попытки построить автоматическую систему, способную делать правильные силлогистические выводы, такие системы не получили широкого распространения. В основном это связано с тем, что неавтоматизированным остается начальный этап – перевод текстов посылок в нормальную форму. Автоматизировать его непросто. Для этого необходимо иметь развитую систему трансформаций предложений для языка. В работе [32] эта проблема обсуждается весьма подробно. В частности, в ней рассматриваются и трансформационные преобразования для введения кванторов, чтобы привести высказывания к нормальной форме. Тем не менее, хотя имеются значительные успехи в области трансформационных грамматик для естественных языков, все еще не существует развитых лингвистических процессоров, которые были бы эффективны при моделировании силлогистики.
В качестве примера совсем недавней попытки создания силлогистической машины можно указать на спецпроцессор, имитирующий силлогистический вывод, разработанный в г. Краснодаре специалистами из Кубанского государственного университета. Время проверки одного силлогизма на истинность или время построения заведомо истинного силлогизма в этом спецпроцессоре составляет 0,02 с. Однако в этом спецпроцессоре также нет автоматического преобразования посылок в нормальную форму и нет средств, позволяющих выявлять связи между различными фактами, например выявлять противоречивость посылок, когда она носит не синтаксический, а семантический характер (для этого также требуется иметь развитую трансформационную грамматику, устанавливающую синонимию высказываний). Таким образом, в этом спецпроцессоре реализуются лишь те процедуры, которые характерны для двух блоков модели силлогистического вывода, показанной на рис. 18, расположенных над блоком «База фактов».
Интересно отметить, что новое – это часто полностью забытое старое. В газете «Русские ведомости» 16 апреля 1914 года была опубликована заметка «Мыслительная машина». В ней говорилось: «В субботу, 19-го апреля, в большой аудитории Политехнического музея состоится публичная лекция проф. А.Н. Шукарева на тему „Познание и мышление“. Во время лекции будет демонстрирована мыслительная машина, аппарат, который позволяет воспроизвести механически процесс человеческой мысли, т.е. выводить заключения из поставленных посылок. Машина была впервые построена математиком Джевонсом и усовершенствована автором лекции. Результаты ее операций получаются на экране в словесной форме». Машина Шукарева была создана в Харьковском университете, а через 70 лет специалисты Кубанского университета, используя новую технику, повторили работу своего предшественника. Изложение истории создания логической машины Шукарева можно найти в [33]. В этой же работе говорится и о другой логической машине, созданной П.Д. Хрущевым.
Забытые науки. Возрождение этих наук только начинается. Поэтому на русском языке пока нет книг, в которых отражался бы современный уровень их понимания. Лишь книга [34] дает сведения о том, как использовались схемы рассуждений в алхимии. Эти рассуждения во многом определялись принципами установления аналогий, о которых мы говорили в четвертой главе. Некоторые сведения о приемах герменевтики и экзегетики можно получить из популярной статьи [35], опубликованной не так давно. Укажем еще на ряд труднодоступных, но интересных источников, в которых можно найти описание применения герменевтических схем в различных областях [36–39]. Для знающих немецкий язык можно отметить фундаментальный анализ герменевтических приемов, содержащийся в [40]. Использование подобных приемов с целью реконструкции способов рассуждения наших далеких предков стало сейчас довольно распространенным. Укажем в связи с этим на ранее упоминавшуюся работу [9], а также на исследование [41]. Некоторые сведения о логических системах Индии и Китая можно получить из [42–44].
Глава третья
Исчисление высказываний. Эта формальная система описана во всех руководствах по математической логике, например в [45]. Цитаты из Д. Самойлова заимствованы из сборника [46].
«Логик-теоретик». Существует весьма много программ, с помощью которых демонстрировались возможности ЭВМ при доказательстве выводимости формул в исчислении высказываний. Например, одна из первых работ в данной области [47] и первая отечественная система такого рода [48]. Программа «Логик-теоретик» была первым шагом на пути создания А. Ньюэллом и Г. Саймоном общей концепции решения творческих задач на ЭВМ на основе организованного эвристически перебора по лабиринту возможных альтернатив. Эта идея была воплощена ими в виде программы, названной «Общий решатель задач». Работы по этому кругу вопросов печатались неоднократно, например [49, 50]. Как позже выяснилось, подход к решению задач, реализованный в «Общем решателе задач», оказался не столь плодотворным, как думали авторы. Но для организации вывода в исчислении высказываний он удобен, хотя программа не всегда без большого перебора могла находить нужные пути по множеству альтернатив. В работах [49, 50] по этому поводу имеется немало экспериментальных наблюдений как над людьми, ищущими вывод, так и над работой программы «Логик-теоретик»
Исчисление предикатов. Исчисление предикатов описано во всех учебниках. Сошлемся на [45]. Проблема соответствия логики предикатов и силлогистики Аристотеля до сих нор вызывает некоторую полемику [31, 51]. Еще во второй половине 40-х годов известный логик Я. Лукасевич построил специальную формальную систему для силлогистики [52]. Он оставил два квантора
Я. Лукасевич ввел три правила вывода: 1) в выводимую формулу вместо любой переменной типа
Изложение вопросов, связанных с процедурами автоматизации доказательств, можно найти в монографии [53].
Первым универсальным методом доказательства был предложенный в 1965 году американским логиком Дж. Робинсоном метод резолюций. Его появление совершило переворот в использовании ЭВМ для доказательства теорем в исчислении предикатов. Начиная с работы самого Робинсона [54], возник огромный поток исследований в этом направлении. В монографии [53] на зафиксированном в ней временном срезе дан аналитический обзор всего сделанного в этой области. Но и до сегодняшнего дня всевозможные модификации метода Робинсона продолжают оставаться предметом публикаций.
Появление языка программирования ПРОЛОГ вновь стимулировало интерес к методу резолюций. Язык ПРОЛОГ, считающийся весьма перспективным для ЭВМ новых поколений, позволяет эффективно описывать выполняемые в нем процедуры в виде вывода в исчислении предикатов (точнее, в некоторой части этого исчисления, связанной с дизъюнктами Хориовского типа, исключающими некоторые типы выражений). А так как метод резолюций есть универсальная процедура для Хорновских дизъюнктов, то понятен тот интерес, который специалисты по программированию, созданию ЭВМ новых поколений и пользователи, оперирующие ПРОЛОГом, проявляют к методам типа метода резолюций.
Общая схема вывода. Описанное в этом разделе представление имеет куда большее значение, чем то, о котором в нашей книге идет речь. В теории искусственного интеллекта И-ИЛИ деревья и И-ИЛИ сети встречаются не только при моделировании рассуждений. Они широко используются при представлении знаний о проблемных областях разного типа. Находят они применение и в лингвистических процессорах, предназначенных для анализа текстов на естественном языке. В монографиях [55–57] заинтересованные читатели могут найти описание областей применения таких моделей. Идея метода обратного вывода принадлежит С.Ю. Маслову. Впервые она сформулирована в работе [58]. В настоящее время в СССР имеются версии программной реализации этого метода, во многом не уступающего по своей эффективности методу резолюций Робинсона. Рассказ Э. По, из которого приведена цитата, помещен в [59].
Глава четвертая
Стебаков Сергей Александрович – советский математик, специалист в области топологии, качественной теории дифференциальных уравнений и теории управления.
От Аристотеля до Бэкона. Историю становления учения об индукции до начала XX века содержит монография [60]. Для ознакомления с более поздним пониманием этих вопросов можно рекомендовать статьи из сборника [61]. Специально логике формирования гипотез посвящена работа [62]. Высказывание Р. Грегори о небиологичности дедукции и о роли индукции для живых организмов заимствовано из [63, с. 187].
Индукция Джона Стюарта Милля. Взгляды Милля изложены в его сочинении, вышедшем в 1843 году. Позже эта книга была переведена на русский язык [64]. Цитата из В. Луговского взята из поэмы «Сказка о дедовой шубе», вошедшей в книгу [65]. Все формулировки принципов Милля сделаны в соответствии с текстами из [60].
Читатели, знакомые с методами распознавания образов, должны почувствовать почти дословное совпадение принципов Милля с приемами, используемыми в обучении распознаванию и классификации с помощью обучающих выборок из примеров и контрпримеров. Первое и наиболее полное описание подобных приемов содержится в [66]. Другие подходы к решению подобных же задач имеются в многочисленных публикациях по распознаванию образов. Укажем лишь наиболее близкие по духу методы, описанные в работах [67–69]. Такая близость между индуктивными методами рассуждений и распознаванием (вернее, узнаванием и классификацией) образов еще раз подчеркивает верность замечания Р. Грегори, процитированного в предыдущем разделе.
Рассуждения по аналогии. Первой программой, в которой были реализованы принципы работы с пропорцией Лейбница была, по-видимому, программа «Аналогия», разработанная Т. Эвансом в конце 60-х годов. Она с успехом решала задачи типа задач на аналогию из известной книги головоломок Г. Айзенка [70].
Программа, находящая аналогии для множества родственников, была создана Д. Румельхартом и А. Абрахамсоном в 1973 году. Именно в ней была использована идея семантического пространства Осгуда. Метод построения этого пространства основан на следующих экспериментах. Испытуемым предъявляют около 400 шкал, на концах которых стоят слова-антонимы, описывающие признаки (например, добрый – злой, острый – тупой, быстрый – медленный). В середине шкалы находится нейтральное деление (оно отмечено словосочетаниями типа не добрый – не злой; не острый – не тупой; не быстрый – не медленный). Кроме того, на шкале имеется еще по несколько делений слева и справа от нейтрального деления. Они никакими словами не маркируются. Испытуемым задается (всем одинаковый) список слов (например, отец, дерево, шило и т.п.), и их просят расположить каждое из слов списка на всех шкалах. Многие шкалы испытуемым кажутся весьма неподходящими для расположения заданных слов (например, как разместить слово «отец» на шкале острый – тупой?). В этих случаях экспериментатор предлагает размещать их «как хочется». После этого шкалы с нанесенными на них словами подвергаются статистической обработке по методу факторного анализа и выделяются основные факторы.
Результатом опытов, проведенных по методу Осгуда, всегда является выделение трех главных факторов, устраняющих практически всю дисперсию. Эти три обобщенные шкалы обычно называют шкалами оценки, силы и активности. Они образуют оси пространства Осгуда. В этом пространстве понятия, близкие по своей семантике, образуют компактные скопления – кластеры. Одно из таких скоплений образуют слова, использованные на рис. 25. Весьма много для анализа методов разрешения пропорции Лейбница сделал математик из ГДР Д. Пёчке. Его подход мы продемонстрировали при описании поиска
ДСМ-метод. Этот метод изложен в [71, 72]. Интересно, что его авторы, пожалуй, впервые описали его не на уровне алгоритмов и программ, реализующих эти алгоритмы, а на уровне некоторой формальной логической системы. До них попытку такого рода сделали лишь авторы ГУХА-метода, созданного для формирования гипотез на основе статистических методов и логических рассуждений [73]. Сравнение этих двух методов с точки зрения правил правдоподобного вывода, используемых в них, дано в работе [74]. В [75] высказано немало соображений об ошибочных умозаключениях на основе наблюдаемых в экспериментах фактах. Многие из этих ошибок основаны на особенностях человеческих рассуждений, на неумении людей объективированно вводить оценки достоверности гипотез. В этой же книге дан анализ различных видов причин, частично использованный при написании данного раздела.
В настоящее время причинно-следственные отношения широко используются для описания знаний в интеллектуальных системах, например при описаниях течения разного рода заболеваний или знаний о последствиях многошагового управления в больших технических или организационных системах. Начинает создаваться специальная каузальная логика, в которой описываются общие процедуры для работы с причинно-следственными отношениями [76]. Интересно ознакомиться с работой [77], в которой решается ряд задач, аналогичных тем, которые решались и ДСМ-методом, но на иных принципах. Еще раз отметим близость многих постановок задач и методов их решения в индуктивных рассуждающих системах и системах распознавания образов, опирающихся на идею обучения на примерах [66].
Нечеткий вывод. Оператор «только» с логической точки зрения обсуждался в ряде работ, например в [78]. Приведенные в этом разделе примеры заимствованы из этой монографии, а также из [79]. Для углубленного знакомства с идеями нечетких множеств и различных методов, основанных на них, можно рекомендовать монографию [80]. Более подробно со схемами нечеткого вывода можно ознакомиться по соответствующим разделам книги [76], в которой, в частности, описана процедура порождения квантификаторов в заключительном утверждении, опирающаяся на идею «универсальной шкалы» И.В. Ежковой (ссылки на ее работы есть в [76]) в свое время был предложен принципиально иной метод определения квантификаторов заключения. Он основан на вычислении суперпозиции функций принадлежности для посылок в схеме, являющейся прямым обобщением на нечеткий случай правила вывода модус поненс.
Нечеткая силлогистика. Исследования в этой области – большое достижение специалистов нашей страны. Первые публикации по D-силлогизмам появились в 1984 году [81]. Они опираются на развитый С.В. Чесноковым детерминационный анализ (отсюда название D-силлогизмы), относящийся к обработке статистического материала, характерного для социологии и психологии [82]. История о силлогизме бабушки полностью заимствована из работы С.В. Чеснокова, которая на русском языке не публиковалась. Отголоски данной истории можно найти в [83]. Несколько иной взгляд на нечеткую силлогистику содержится в работах [84, 85], но общие принципы, лежащие в основе идеи «вычисления» значения нечеткого квантификатора, в этих исследованиях практически совпадают.
Коллекция схем. Систематические исследования в области схем умозаключений правдоподобного типа в середине 50-х годов начал известный математик Д. Пойа. Его монография [86], в которой описано более полусотни схем правдоподобных рассуждений, и сейчас является настольной книгой специалистов, работающих в этой области. Кроме схем, заимствованных из этого труда, в данном разделе приведен ряд схем, предлагавшихся в различное время на конференциях по искусственному интеллекту специалистами из разных стран.
Глава пятая
Что такое интеллектуальная система. В этой книге мы не можем уделить много места обсуждению особенностей систем, работа которых основана на знаниях. Кроме упомянутых в книге ЭВМ пятого поколения, интеллектуальных роботов для производства и экспертных систем можно указать еще на расчетно-логические системы, используемые в проектировании и планировании, интеллектуальные пакеты прикладных программ, облегчающие труд многих специалистов, системы автоматизации научных исследований и т.д. Все такие системы содержат базу знаний и блок, имитирующий профессиональные рассуждения. Более полное представление о специфике подобных систем и их работе можно получить из популярной [87, 88] и научной [89, 90] литературы.
Продукционные системы. Продукционные системы описывались в литературе неоднократно. Их модели, связанные с уточнением понятия алгоритма, излагаются, например, в [91]. В работах [92, 93] отражены многие аспекты применения продукции в интеллектуальных системах. Часто представление процессов в виде продукционных систем считают особым стилем программирования для ЭВМ новых поколений. Во всяком случае, с этой точки зрения они обладают рядом несомненных преимуществ по сравнению с классическими языками программирования.
Можно отметить по крайней мере три таких преимущества. Первое – естественная модульность, позволяющая весьма несложно вставлять и убирать продукции. Если в продукционной системе нет прямой связи между продукциями (например, нет ссылок на конкретные продукции в метапродукциях; выбирающих продукции из фронта или чего-нибудь подобного), то такая замена не вызывает никаких переделок. Однако при вставке и изъятии продукций надо учитывать и эффект их взаимодействия через базу знаний. Учет этого фактора может оказаться весьма непростым делом. Вторым преимуществом продукций является возможность одновременного описания с их помощью как фрагментов базы знаний, так и самих операторов преобразований. Другими словами, в продукциях можно однотипно описывать как декларативные, так и процедурные знания. Наконец, присущая продукциям асинхронность, встроенная в продукционные системы параллельность позволяют при наличии ЭВМ соответствующей архитектуры выполнять описываемую системой продукций процедуру параллельным способом. Однако за все приходится платить. И за эти достоинства продукционных систем, когда они выступают в качестве языка программирования, приходится расплачиваться весьма тяжелыми процедурами отладки и поиска ошибок.
Тем не менее, подобный стиль программирования находит в мире все больше сторонников. Заметим, что известные языки программирования ПРОЛОГ и РЕФАЛ многое как бы «заимствовали» из продукционных систем. Отметим также, что в возникшем в нашей стране еще до работ в области искусственного интеллекта ситуационном управлении [76] системы, подобные продукционным, использовались для поиска решений при оперативном управлении в сложных технических и организационных системах. Это были так называемые системы логико-трансформационных правил [94]. Пример с преобразованием схем химических реакций в продукционную систему принадлежит Т. Яхно.
Управление выводом. Обзор различных методов управления выводом в продукционных системах можно найти в [92, 93]. Поскольку продукционные системы часто выступают в качестве средства представления знаний в экспертных системах и осуществляют с помощью некоторого механизма управления выводом вывод на знаниях, то об этих механизмах можно найти достаточно богатые сведения в литературе по экспертным системам. Укажем в связи в этим на обзорные работы [95, 96].
Вывод на семантической сети. Вывод с помощью «поиска по образцу» на семантической сети, как он описан в этом разделе, используется во многих экспериментальных образцах машин баз знаний. Для этого создаются специальные аппаратные средства. К выводу на семантической сети можно свести метод резолюций, описанный в третьей главе. Переход к семантической сети позволяет строить процедуры вывода, обладающие большим уровнем параллелизма. В работе [97] рассмотрен один из таких методов, позволяющий резко повысить эффективность логического вывода в современных ЭВМ. При имитации движения по семантическим сетям в виде прямых, обратных или встречных волн в ЭВМ новых поколений предполагается использовать специальные аппаратные средства и языки волнового типа. Работа [98] показывает, какие принципы при этом используются. С особенностями немонотонных рассуждений можно ознакомиться по книге [99]. В [100] содержится интересная информация о выводах, которые можно делать при неполных знаниях в базе.
Спрашивай – Отвечаем. Логика вопросов и ответов описана в [101]. Ее авторы сумели построить теорию вопросно-ответных отношений для ЛИ-вопросов, КАКОЙ-вопросов и частично для ПОЧЕМУ-вопросов. Логики такого вида обычно называются
Глава шестая
Рационален ли человек? Модель целенаправленного поведения, описанная нами, основывается на модели, предложенной в [104]. Из [105] заимствованы некоторые примеры, опровергающие доминанту рационализма в поведении человека и его рассуждениях. В работе [104] показано, что модель рационального поведения человека обладает эмпирической, управленческой, методологической, теоретической и экзистенциальной ограниченностью.
«Ты прав, но это меня не убеждает». Проблемам логической аргументации посвящена монография [106]. В библиографии к этой книге интересующиеся могут найти новые источники по проблеме аргументации. Цитата из О. Сулейменова взята из [107, с. 8]. В работе [108] на конкретном примере продемонстрирован процесс аргументации, в котором представители Афин стараются изменить у жителей Мелоса систему исходных аксиом, чтобы Мелос отменил свое решение о неприсоединении его к коалиции городов, возглавляемых Афинами. Анализ этого процесса опирается на текст Фукидита, который включил в свою «Историю» эпизод дипломатических переговоров между Афинами и Мелосом. Таким схемам рассуждений посвящено исследование [109]. Типология споров, описанная в данном разделе, взята из этой книги.
«Он думает, что…». Материал этого раздела основан на результатах, содержащихся в книгах [110, 111]. Примеры использования таких рассуждений при решении некоторых задач поведения рассмотрены в [112, 113]. Отметим, что пока нельзя говорить о создании завершенной теории рефлексивных рассуждений, хотя важность такой теории не вызывает сомнений. Она станет особенно актуальной при возникновении коллективов интеллектуальных систем и необходимости организации совместного функционирования членов этого коллектива.
Еще один пример использования рефлексивных рассуждений дает рассказ Э. По «Пропавшее письмо» [59]. Герой этого рассказа сыщик Дюпен обнаруживает пропажу, пользуясь методом рассуждения по рефлексии, отождествляя свой интеллект с интеллектом противника. Этот метод Дюпен заимствовал у одного мальчугана, который, как правило, выигрывал в «чет-нечет» у своих противников, вычисляя их ранг рефлексии.
Текст и рассуждение. Исследования текста романа «Мастер и Маргарита», на которые имеются ссылки в данном разделе, содержатся в работах [114, 115]. В [115], кроме того, имеется столь же глубокий анализ ряда положений, скрытых за текстом книг Дж.Д. Сэлинджера. Выдержка из романа Ж. Перро взята из [116, с. 90, 92]. Исследования по теории пресуппозиции довольно многочисленны. Укажем на [117], в которой имеется библиография по этому вопросу.
Насколько работа над текстом может быть глубокой, показывает исследование [118]. Его авторы построили формальную систему, описывающую поведение тщеславного человека. Для этого они воспользовались максимами Ф. де Ларошфуко, считая их истинными утверждениями этой формальной системы. Анализируя данные высказывания, Ю.С. Мартемьянов и Г.В. Дорофеев ввели систему аксиом и правил вывода, с помощью которых порождаются все утверждения Ларошфуко. Среди введенных аксиом были как общечеловеческие (например, «Человеку неприятно отсутствие приятного»), так и те, которые характерны для тщеславного человека (например, «Считать себя хуже других человеку неприятнее всех прочих страданий»). Кроме аксиом были введены шесть принципов поведения человека (например, принцип выбора: «Человек из двух зол всегда выбирает меньшее или необязательное, а из двух благ – большее или обязательное»). Среди введенных правил вывода известное правило модус поненс и два специальных правила, одно из которых по форме напоминает последнее, но отличается от него тем, что заключение становится истинным не всегда, а лишь при отсутствии препятствий для его возникновения. Далее авторы доказали выводимость тех максим, которые имеются у Ларошфуко. В процессе этой работы было произведено логическое уточнение содержания понятий, используемых в тексте (таких, как «благо», «страдание», «скрывает» и т.п.), ибо в рамках формальной системы они должны получить однозначный смысл. Наконец, в построенной системе оказалось возможным выводить новые максимы, отсутствующие в тексте Ларошфуко, которые не противоречат законам мира тщеславного человека.
Не менее интересным является исследование [119], основанное на работе с текстами дневников Бисмарка. Анализируя дневниковые записи за определенный период, авторы построили систему ценностей, лежащую в основе тех действий, которые Бисмарк считал во внешней политике тогдашней Германии разумными. Затем на основе этой системы ценностей было произведено формальное построение его возможных действий в ситуации, не использовавшейся для предварительного анализа. Этот логико-формальный вывод оказался успешным.
В работе [120] подняты многие проблемы взаимосвязи системы ценностей, личностных эмоциональных состояний, рассуждений и поведения. И хотя в книге еще нет завершенной системы, способной в полном объеме связать между собой все эти компоненты, тем не менее многие пути к этому стали яснее. Интересно отметить, что, выявляя
«Верую, ибо абсурдно!». Материал этого раздела, касающийся практики дзен-буддизма, заимствован в основном из [121]. Высказывание Клоделя о различии логик научного и поэтического познания мира содержится в [122]. Примеры абсурдных высказываний, имеющиеся в тексте этого раздела, а также многие другие примеры подобных высказываний можно найти в работах [123–127].
Краткое заключение. Об асимметрии познавательных процессов при дедуктивном и индуктивном выводах хорошо написано в книге [128]. На материале истории математики эта проблема обсуждается в [129], а на материале истории архитектурных стилей – в [130]. Результаты, аналогичные тем, что изложены в [130], касающиеся стилевых особенностей музыкальных произведений, опубликованы в [131].
СПИСОК ЛИТЕРАТУРЫ
1. Глезерман Т.Б. Психофизиологические основы нарушения мышления при афазии. – М.: Наука, 1986. – 225 с.
2. Иванов В.В. Чёт и нечет (асимметрия мозга и знаковых систем). – М.: Сов. радио, 1978. – 184 с.
3. Ротенберг В.С, Аршавский В.В. Поисковая активность и адаптация. – М.: Наука, 1984. – 192 с.
4. Вежинов П. Измерения. – М.: Прогресс, 1982. – 293 с.
5. Леви-Брюль Л. Первобытное мышление. – М.: Атеист, 1930. – 337 с.
6. Кликс Ф. Пробуждающееся мышление. – М.: Прогресс, 1983. – 301 с.
7. Поршнев Б.Ф. Социальная психология и история. – М.: Наука, 1979. – 231 с.
8. Иорданский В.Б. Хаос и гармония. – М.: Наука, 1982. – 342 с.
9. Клочков И.С. Духовная культура Вавилонии: человек, судьба, время. – М.: Наука, 1983. – 203 с.
10. Голдинг У. «Шпиль» и другие повести. – М.: Прогресс, 1981. – 446 с.
11. Цивьян Т.В. Мифологическое программирование повседневной жизни / Этнические стереотипы поведения. – Л.: ЛО Наука, 1985. – С. 154–178.
12. Berne E. Games People Play. – N.Y.: Grove Press, Inc., 1967. – 192 p.
13. Harris T.A. I’m OK – You’re ОК. – London and Sydney: Pan Books, 1976. – 269 p.
14. Саган К. Драконы Эдема. – М.: Знание, 1986. – 255 с.
15. Выготский Л.С. Мышление и речь / Собр. соч. Т. 2. Проблемы общей психологии. – М.: Педагогика, 1982. – С. 10–361.
16. Пиаже Ж. Психология интеллекта. – М.: Просвещение, 1969. – 659 с.
17. Негневицкая Е.И., Шахнарович А.М. Язык и дети. – М.: Наука, 1981. – 110 с.
18. Лурия А.Р. Язык и сознание. – М.: МГУ, 1979. – 319 с.
19. Чуковский К.И. От 2 до 5. – М.: Детская литература, 1970. – 414 с.
20. Поспелов Д.А. О «человеческих» рассуждениях в интеллектуальных системах // Логика рассуждений и ее моделирование. Научный совет по комплексной проблеме «Кибернетика» при Президиуме АН СССР. – М., 1983. – С. 5–37.
21. Котарбиньский Т. Избранные произведения. – М.: ИЛ, 1963. – 911 с.
22. Стяжкин Н.И. Становление идей математической логики. – М.: Наука, 1964. – 304 с.
23. Асмус В.Ф. Логика. – М.: Госполитиздат, 1947. – 386 с.
24. Остер Г. Как хорошо дарить подарки. – М.: Детская литература, 1975. – 34 с.
25. Окуджава Б. Свидание с Бонапартом. – М.: Советский писатель, 1985. – 285 с.
26. Хофман И. Активная память. – М.: Прогресс, 1986. – 309 с.
27. Черниговская Т.В., Деглин В.Л. Метафорическое и силлогистическое мышление как проявление функциональной ассимметрии мозга // Труды по знаковым системам. – Тарту: ТГУ, 1986. – Вып. 19. – С. 68–84.
28. Кэррол Л. История с узелками. – М.: Мир, 1973. – 407 с.
29. Войшвилло Е.К. Понятие. – М.: МГУ, 1967. – 285 с.
30. Джиджян Р. З. Расширенная силлогистика. – Ереван: Ерев. ГУ 1977. – 206 с.
31. Бочаров В.А. Аристотель и традиционная логика. – М.: МГУ, 1984. – 132 с.
32. Корельская Т.Д. О формальном описании синтаксической синонимии. – М.: Наука, 1975. – 252 с.
33. Поваров Г.Н., Петров А.Е. Русские логические машины. Кибернетика и логика. – М.: Наука, 1978. – С. 137–152.
34. Рабинович В.Л. Образ мира в зеркале алхимии. – М.: Энергоиздат, 1981. – 151 с.
35. Урнов Д. Прекрасная экзегеза // Знание–Сила. – 1986. – № 9. – С. 46–48.
36. Бласс Ф. Герменевтика и критика. – Одесса, 1891. – 194 с.
37. Горнфельд А. О толковании художественного произведения // Русское богатство. – 1912. – № 2. – С. 145–172.
38. Беляева-Экземплярская С.Н. Музыкальная герменевтика. Искусство. – 1927. – Ки. 4. – С. 127–138.
39. Савваитов П. Библейская герменевтика. – СПб.: Типография Якова Трея, 1859. – 144 с.
40. Strack H. L. Einleitung in den Talmud. – Leipzig, 1908. – 254s.
41. Раевский Д.С. Модель мира скифской культуры. – М.: Наука, 1985. – 255 с.
42. Шербатской Ф.И. Теория познания и логика по учению позднейших буддистов. – Ч. 1. СПб., 1903. – 357 с.
43. Ииголлс Д-Г-Х. Введение в индийскую логику Навья-ньяя. – М.: Наука, 1975. – 237 с.
44. Янгутов Л.Е. Философское учение школы хуаянь. – Новосибирск: Наука, 1982. – 141 с.
45. Столл Р. Множества. Логика. Аксиоматические теории. – М.: Просвещение, 1968. – 231 с.
46. Самойлов Д. Равноденствие. – М.: Художественная литература, 1972. – 287 с.
47. Ван-Хао. На пути к механической математике // Кибернетический сборник. – М.: ИЛ. – 1962. – Вып. 5. – С. 114–165.
48. Шанин Н.А., Давыдов Г.В., Маслов С.Ю. и др. Алгорифм машинного поиска естественного логического вывода в исчислении высказываний. – М. – Л.: Наука, 1965. – 39 с.
49. Ньюэлл А., Шоу Дж., Саймон Г. Эмпирические исследования машины «Логик-теоретик»; пример изучения эвристики // Вычислительные машины и мышление. – М.: Мир, 1967. – С. 113, 114.
50. Ньюэлл А., Саймон Г. GPS-программа, моделирующая процесс человеческого мышления // Вычислительные машины и мышление. – М.: Мир, 1967. – С. 283–301.
51. Субботин А.Л. Теория силлогистики в современной формальной логике. – М.: Наука, 1965. – 124 с.
52. Лукасевич Я. Аристотелевская силлогистика с точки зрения современной формальной логики. – М.: ИЛ, 1959. – 311 с.
53. Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем. – М.: Наука, 1983. – 358 с.
54. Робинсон Дж. Машинно-ориентированная логика, основанная на принципе резолюции // Кибернетический сборник. Новая серия. – М.: Мир, 1970. – Вып. 7. – С. 194–218.
55. Уинстон П. Искусственный интеллект. – М.: Мир, 1980. – 519 с.
56. Тыугу Э.Х. Концептуальное программирование. – М.: Наука, 1984. – 255 с.
57. Поспелов Д.А. Логико-лннгвистическне модели в системах управления. – М.: Энергоиздат, 1981. – 231 с.
58. Маслов С.Ю. Обратный метод установления выводимости в классическом исчислении предикатов // ДАН СССР. – 1964. – Т. 159. – С. 17–20.
59. По Э.А. Полное собрание рассказов. – М.: Наука, 1970. – 799 с.
60. Минто В. Индуктивная и дедуктивная логика. – СПб., 1902. – 250 с.
61. Логика и эмпирическое познание. – М.: Наука, 1972. – 286 с.
62. Баженов Л.Б. Основные вопросы теории гипотезы. – М.: Высшая школа, 1961. – 68 с.
63. Грегори Р. Разумный глаз. – М.: Мир, 1972. – 209 с.
64. Милль Дж.Ст. Система логики силлогистической и индуктивной. – М.: 1914. – 880 с.
65. Луговской В. Стихотворения и поэмы. – М. – Л.: Советский писатель, 1966. – 637 с.
66. Бонгард М.М. Проблема узнавания. – М.: Наука, 1967. – 320 с.
67. Фу К. Структурные модели в распознавании образов. – М.: Мир, 1977. – 315 с.
68. Дуда Р., Харт П. Распознавание образов и анализ сцен. – М.: Мир, 1976. – 511 с.
69. Хант Э., Марин Дж., Стоун Ф. Моделирование процесса формирования понятий на вычислительной машине. – М.: Мир, 1970. – 301 с.
70. Айзенк Г. Проверьте свои способности. – М.: Мир, 1972. – 175 с.
71. Финн В.К. О машинно-ориентированной формализации правдоподобных рассуждений в стиле Ф. Бэкона – Д.С. Милля // Семиотика и информатика. – М.: ВИНИТИ, 1983. – Вып. 20. – С. 35–101.
72. Финн В.К. Правдоподобные выводы и правдоподобные рассуждения // Итоги науки и техники: Теория вероятностей. Математическая статистика. Теоретическая кибернетика / ВИНИТИ. – М., 1988. – Т. 28. – С. 62–142.
73. Гаек П., Гавранек Т. Автоматическое образование гипотез. – М.: Наука, 1984. – 277 с.
74. Ивашко В.Г. Об одной формализации индуктивных рассуждений для экспертных информационных систем // НТИ. Сер. 2. – 1984. – № 8. – С. 28–32.
75. Джини К. Логика в статистике. – М.: Статистика, 1973. – 128 с.
76. Поспелов Д.А. Ситуационное управление. Теория и практика. – М.: Наука, 1986. – 284 с.
77. Розенблит А.Б., Голендер В.Е. Логико-комбинаторные методы в конструировании лекарств. – Рига: Зинатне, 1983. – 351 с.
78. Лосский Н.О. Логика. Часть первая. – Берлин: Обелиск, 1923. – 166 с.
79. Ревзин И.И. Современная структурная лингвистика. – М.: Наука, 1977. – 263 с.
80. Нечеткие множества в моделях управления и искусственного интеллекта / Под ред. Д.А. Поспелова. – М.: Наука, 1986. – 311 с.
81. Чесноков С.В. Силлогизмы в детерминационном анализе // Изв. АН СССР. Техническая кибернетика. – 1984. – № 5. – С. 55–83.
82. Чесноков С.В. Детерминационный анализ социально-экономических данных. – М.: Наука, 1982. – 168 с.
83. Чесноков С.В. Вычисление точности
84. Ефимов Е.И. Исчисление правдоподобностей в нестрогих человеческих рассуждениях // Изв. АН СССР. Техническая кибернетика. – 1985. – № 5. – С. 60–75.
85. Ефимов Е.И. Детерминационное исчисление // Изв. АН СССР. Техническая кибернетика. – 1986. – № 5. – С. 62–81.
86. Пойа Д. Математика и правдоподобные рассуждения. – М.: ИЛ, 1957. – 535 с.
87. Поспелов Г.С., Поспелов Д.А. Искусственный интеллект – прикладные системы. – М.: Знание, 1985. – 48 с.
88. Печерский Ю.Н. Интеллектуальные системы. – Кишинев: Штиинца, 1987. – 84 с.
89. ЭВМ пятого поколения. Концепции, проблемы, перспективы. – М.: Финансы и статистика, 1984. – 110 с.
90. Широков Ф.В. На пути к пятому поколению компьютеров / Международный научно-исследовательский институт проблем управления. – М., 1985. – 170 с.
91. Кузнецов В.Е. Математические построения в К-системах // Семиотика и информатика. – 1986. – Вып. 27. – С. 62–81.
92. Нариньяни А., Яхно Т. Продукционные системы // Представление знаний в человеко-машинных и робототехнических системах / ВИНИТИ. – М., 1984. – Том А. – С. 136–177.
93. Нариньяни А.С. Система продукций как модульный программный комплекс // Прикладные и экспериментальные лингвистические процессоры / ВЦ СО АН СССР. – Новосибирск, 1982. – С. 125–152.
94. Лозовский В.С. Ситуационная и дефиниторная семантика системы представления знаний // Кибернетика. – 1979. – № 2. – С. 98–101.
95. Микулич Л.И. Проблемы создания экспертных систем // Теория и модели знаний (Теория и практика создания систем искусственного интеллекта). – Тарту: ТГУ, 1985. – С. 87–114.
96. Алексеева Е.Ф., Стефанюк В.Л. Экспертные системы – состояние и перспективы // Изв. АН СССР. Техническая кибернетика. – 1984. – № 5. – С. 153–167.
97. Вагин В.Н. Параллельная дедукция на семантических сетях // Изв. АН СССР. Техническая кибернетика. – 1986. – № 5. – С. 51–61.
98. Салатый П.С. Язык ВОЛНА–О как основа навигационных структур для баз знаний на основе семантических сетей // Изв. АН СССР. Техническая кибернетика. – 1986. – № 5. – С. 198–210.
99. Сандевалль Э. Правила немонотонного вывода для случаев множественного наследования информации с наличием исключений // ТИИЭР. – 1986. – Т. 74. – № 10. – С. 58-68.
100. Уилкс Й. Рассуждение при отсутствии явной информации и знании о себе // ТИИЭР. – 1986. – Т. 74 – № 10. – С. 119–125.
101. Белиап Н., Стил Т. Логика вопросов и ответов. – М.: Прогресс, 1981. – 288 с.
102. Гарден Ж.-К. Теоретическая археология. – М.: Прогресс, 1983. – 295 с.
103. Шекли Р. Верный вопрос // Миры Роберта Шекли. – М.: Мир, 1984. – С. 47-57.
104. Наумова Н.Ф. О системном описании целенаправленного поведения человека // Системные исследования. Ежегодник 1979. – М.: Наука, 1980. – С. 220–239.
105. Наумова Н.Ф. Человек рационален? // Знание–сила. – 1981. – № 10. – С. 32–34.
106. Брутян Г.А. Аргументация. – Ереван: АН АССР, 1984. – 104 с.
107. Сулейменов О. Аз и Я. Книга благонамеренного читателя. – Алма-Ата: Жазушы, 1975. – 302 с.
108. Сергеев В.М. Структура диалога и «неклассические» логики // Труды по знаковым системам. – Тарту: ТГУ, 1984. – Вып. 17. – С. 24–32.
109. Поварнин С. Спор. О теории и практике спора. – Петроград: Изд-во О. Богдановой, 1918. – 109 с.
110. Лефевр В.А. Конфликтующие структуры. – М. Высшая школа, 1967. – 85 с.
111. Лефевр В.А. Конфликтующие стуктуры. – М.: Сов. радио, 1973. – 158 с.
112. Варшавский В.И., Поспелов Д.А. Оркестр играет без дирижера. – М.: Наука, 1984. – 207 с.
113. Гаазе-Рапопорт М.Г., Поспелов Д.А. От амебы до робота: модели поведения. – М.: Наука, 1987. – 285 с.
114. Магомедова Д.М. «Никому не известный композитор-однофамилец…» (о семантических аллюзиях в романе М.А. Булгакова «Мастер и Маргарита») // Изв. АН СССР. Серия литературы и языка. – 1985. – № 1. – С. 83–86.
115. Галинская И.Л. Загадки известных книг. – М.: Наука, 1986. – 125 с.
116. Перро Ж. Красный пуловер. – М.: Прогресс, 1985. – 335 с.
117. Разлогова Е.Э. Логические отношения между смыслом и его компонентами // НТИ. Сер. 2. – 1982. – № 1. – С. 14–20.
118. Мартемьянов Ю.С., Дорофеев В.Г. Опыт терминолизации литературной лексики (о мире тщеславия по Ф. де Ларошфуко) // Логика рассуждений и ее моделирование / Науч. совет по комплексной проблеме «Кибернетика» при Президиуме АН СССР. – М.: 1983. – С. 38–103.
119. Луков В.Б., Сергеев В.М. Опыт моделирования мышления исторических деталей: Отто фон Бисмарк, 1866–1976 // Логика рассуждений и ее моделирование / Науч совет по комплексной проблеме «Кибернетика» при Президиуме АН СССР. – М., 1983. – С. 148–161.
120. Ишмуратов А.Т. Логический анализ практических рассуждений. – Киев: Наукова думка, 1987. – 138 с.
121. Померанц Г.С. Традиция и непосредственность в буддизме ЧАНЬ (ДЗЕН) // Роль традиций в истории и культуре Китая. – М.: Наука, 1972. – С. 74–86.
122. Claudel P. Reflexions sur la poesie. – Paris: Gallimard, 1967. – 185 p.
123. Михеева А. Когда по сцене ходят носороги… Театр абсурда Эжена Ионеску. – М.: Искусство, 1967. – 175 с.
124. Падучева Е.В. Тема языковой коммуникации в сказках Льюиса Кэррола // Семиотика и информатнка / ВИНИТИ. – М., 1982. – Вып. 18. – С. 76–119.
125. Левин Ю.И. Логико-семиотический эксперимент в фольклоре // Семиотика и информатика / ВИНИТИ. – М., 1981. – Вып. 16. – С. 145–162.
126. Трауберг Л. Мир наизнанку. – М.: Искусство, 1984. – 391 с.
127. Виан Б. Пена дней. – М.: Художественная литература, 1983. – 320 с.
128. Маслов С.Ю. Теория дедуктивных систем и ее применения. – М.: Радио и связь, 1986. – 133 с.
129. Яглом И.М. Почему высшую математику открыли одновременно Ньютон и Лейбниц? (Размышления о математическом мышлении и путях познания мира) // Число и мысль. – М.: Знание, 1983. – Вып. 6. – С. 99–125.
130. Маслов С.Ю. Асимметрия познавательных механизмов и ее следствия // Семиотика и информатика / ВИНИТИ. – М., 1983. – Вып. 20. – С. 3–31.
131. Данилова О.Н., Петров В.М. Периодические процессы в музыкальном творчестве. – Природа, № 10, 1988. – с. 54–59.
132. Сова Л.З. Эволюция грамматического строя в языках банту. – Л.: ЛО Наука, 1987. – 364 с.