«Он думает, что…». Материал этого раздела основан на результатах, содержащихся в книгах [110, 111]. Примеры использования таких рассуждений при решении некоторых задач поведения рассмотрены в [112, 113]. Отметим, что пока нельзя говорить о создании завершенной теории рефлексивных рассуждений, хотя важность такой теории не вызывает сомнений. Она станет особенно актуальной при возникновении коллективов интеллектуальных систем и необходимости организации совместного функционирования членов этого коллектива.
Еще один пример использования рефлексивных рассуждений дает рассказ Э. По «Пропавшее письмо» [59]. Герой этого рассказа сыщик Дюпен обнаруживает пропажу, пользуясь методом рассуждения по рефлексии, отождествляя свой интеллект с интеллектом противника. Этот метод Дюпен заимствовал у одного мальчугана, который, как правило, выигрывал в «чет-нечет» у своих противников, вычисляя их ранг рефлексии.
Текст и рассуждение. Исследования текста романа «Мастер и Маргарита», на которые имеются ссылки в данном разделе, содержатся в работах [114, 115]. В [115], кроме того, имеется столь же глубокий анализ ряда положений, скрытых за текстом книг Дж.Д. Сэлинджера. Выдержка из романа Ж. Перро взята из [116, с. 90, 92]. Исследования по теории пресуппозиции довольно многочисленны. Укажем на [117], в которой имеется библиография по этому вопросу.
Насколько работа над текстом может быть глубокой, показывает исследование [118]. Его авторы построили формальную систему, описывающую поведение тщеславного человека. Для этого они воспользовались максимами Ф. де Ларошфуко, считая их истинными утверждениями этой формальной системы. Анализируя данные высказывания, Ю.С. Мартемьянов и Г.В. Дорофеев ввели систему аксиом и правил вывода, с помощью которых порождаются все утверждения Ларошфуко. Среди введенных аксиом были как общечеловеческие (например, «Человеку неприятно отсутствие приятного»), так и те, которые характерны для тщеславного человека (например, «Считать себя хуже других человеку неприятнее всех прочих страданий»). Кроме аксиом были введены шесть принципов поведения человека (например, принцип выбора: «Человек из двух зол всегда выбирает меньшее или необязательное, а из двух благ – большее или обязательное»). Среди введенных правил вывода известное правило модус поненс и два специальных правила, одно из которых по форме напоминает последнее, но отличается от него тем, что заключение становится истинным не всегда, а лишь при отсутствии препятствий для его возникновения. Далее авторы доказали выводимость тех максим, которые имеются у Ларошфуко. В процессе этой работы было произведено логическое уточнение содержания понятий, используемых в тексте (таких, как «благо», «страдание», «скрывает» и т.п.), ибо в рамках формальной системы они должны получить однозначный смысл. Наконец, в построенной системе оказалось возможным выводить новые максимы, отсутствующие в тексте Ларошфуко, которые не противоречат законам мира тщеславного человека.
Не менее интересным является исследование [119], основанное на работе с текстами дневников Бисмарка. Анализируя дневниковые записи за определенный период, авторы построили систему ценностей, лежащую в основе тех действий, которые Бисмарк считал во внешней политике тогдашней Германии разумными. Затем на основе этой системы ценностей было произведено формальное построение его возможных действий в ситуации, не использовавшейся для предварительного анализа. Этот логико-формальный вывод оказался успешным.
В работе [120] подняты многие проблемы взаимосвязи системы ценностей, личностных эмоциональных состояний, рассуждений и поведения. И хотя в книге еще нет завершенной системы, способной в полном объеме связать между собой все эти компоненты, тем не менее многие пути к этому стали яснее. Интересно отметить, что, выявляя ролевую структуру слов в тексте, можно делать выводы, которые невозможно получить иным способом. И. Сильдмяэ, много занимавшийся этой проблемой, приводит такой пример вывода:
«Верую, ибо абсурдно!». Материал этого раздела, касающийся практики дзен-буддизма, заимствован в основном из [121]. Высказывание Клоделя о различии логик научного и поэтического познания мира содержится в [122]. Примеры абсурдных высказываний, имеющиеся в тексте этого раздела, а также многие другие примеры подобных высказываний можно найти в работах [123–127].
Краткое заключение. Об асимметрии познавательных процессов при дедуктивном и индуктивном выводах хорошо написано в книге [128]. На материале истории математики эта проблема обсуждается в [129], а на материале истории архитектурных стилей – в [130]. Результаты, аналогичные тем, что изложены в [130], касающиеся стилевых особенностей музыкальных произведений, опубликованы в [131].
СПИСОК ЛИТЕРАТУРЫ
Еще один пример использования рефлексивных рассуждений дает рассказ Э. По «Пропавшее письмо» [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. Чесноков С.В. Вычисление точности D-силлогизмов в статистике таблиц сопряженности // Изв. АН СССР. Техническая кибернетика. – 1985. – № 1. – С. 141–144.
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 с.
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. Чесноков С.В. Вычисление точности D-силлогизмов в статистике таблиц сопряженности // Изв. АН СССР. Техническая кибернетика. – 1985. – № 1. – С. 141–144.
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 с.