Дмитрий Поспелов - Моделирование рассуждений. Опыт анализа мыслительных актов

• Название: Моделирование рассуждений. Опыт анализа мыслительных актов
• Автор: Дмитрий Поспелов
• Издательство: Радио и связь
• Жанр: Прочая научная литература
• Год: 1989
• ISBN: 5-526 00183-3

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

Для широкого круга читателей.

---

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

Рассмотрим ряд схем получения заключений, характерных для герменевтики.

1. В одном из стихотворений К. Бальмонта есть такая строка: «Все моря целовали его корабли». Эта фраза явно неоднозначна. Неясно, кто кого целует: моря корабли или корабли моря. Однако если внимание читателя специально не обратить на этот факт, то эта неоднозначность как бы исчезает. Подавляющее большинство читателей (как, по-видимому, и сам К. Бальмонт) будет считать, что именно моря целовали корабли, а не наоборот. Весьма известный пример такого рода: «Мать любит дочь» – также демонстрирует неоднозначность субъекта и объекта, но большинство людей, встречая подобную фразу, твердо уверены, что субъектом ее является мать, а не дочь. И, наконец, еще один пример: «Он встретил ее на поляне с цветами». У этой фразы три смысла в зависимости от того, где были цветы: у него в руках, у нее в руках или просто росли на поляне. Абсолютное большинство людей воспринимает эту фразу однозначно, считая, что цветы росли на поляне, а не составляли букета в руках у него или у нее.

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

Опишем ряд герменевтических схем, основанных на учете взаимного расположения слов в тексте.

1a. Обозначим через S некоторый класс сущностей, а через Si – некоторые подклассы этого класса. Если во фразе сначала что-то утверждается об S, а затем то же самое утверждается об {Si}, то заключение относится лишь к множеству {Si}. Другими словами, общее, предшествующее частному, толкуется как частное. Поясним это на следующем примере:

«Если вам хочется услышать истинную поэзию, то возьмите русских поэтов: Пушкина, Лермонтова, Тютчева и почитайте их». С точки зрения приема, который мы анализируем, заключение рассуждения нужно понимать так, что Некрасова читать не рекомендуется, ибо общее «русские поэты» предшествует частному, заданному перечислением подкласса класса «русские поэты», содержащему только трех указанных поэтов.

1б. Если частное предшествует общему, то заключение касается общего. Пример: «Если вам хочется услышать истинную поэзию, то возьмите Пушкина, Лермонтова, Тютчева, русских поэтов и почитайте их». В этом случае с точки зрения законов герменевтики почитать надо не обязательно одного из трех поэтов, чьи имена перечислены перед именем общего для них класса сущностей «русские поэты», но любого из поэтов, входящего в этот класс.

1в. Если частное заключено между двумя общими, то заключение относится к тем расширениям частного, которые сохраняют сущность этих частных. Следующий пример поясняет этот прием: «Ты можешь купить на свои деньги все, что хочешь: посуду, холодильник, гарнитур для спальни, словом, все, что тебе нужно». Из этой фразы должен следовать вывод, что можно истратить деньги на любые вещи, нужные для оборудования квартиры, но никак не на одежду или украшения.

2. Если имеются два утверждения, из которых одно относится к некоторому классу сущностей S, а другое – к некоторому подклассу класса S, то закон не всегда распространяется на этот подкласс. Возможны различные случаи.

2а. Если частный случай упомянут в контексте общего случая, то на частный случай распространяются все выводы, вытекающие из общего случая, а все пояснения к частному случаю являются истинными и для общего случая. Рассмотрим пример: «Всякая найденная вещь должна быть возвращена владельцу или передана в стол находок. Если кто-то забыл книгу, выходя из метро, то надо окликнуть его, пока он не вышел из вагона, или догнать его. Если же пассажира в вагоне не было, когда была обнаружена книга, то ее надо сдать в стол находок». Согласно правилам герменевтики, восходящим еще к толкованию Пятикнижия талмудистами, подобный текст переносит все, что сказано о книге, на любые предметы, обнаруженные в вагоне метро.

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

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

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

3. Этот герменевтический прием рассуждения весьма распространен в юриспруденции всех стран. Если в некотором месте текста, когда говорится о чем-то и допускается, что это что-то необходимо следует из посылок q1 и q2, а в другом месте этого текста говорится о том же самом, но в качестве необходимой посылки указывается лишь q1, то и в первом случае посылку q2 можно опустить.

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

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

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