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

Глава пятая

Что такое интеллектуальная система. В этой книге мы не можем уделить много места обсуждению особенностей систем, работа которых основана на знаниях. Кроме упомянутых в книге ЭВМ пятого поколения, интеллектуальных роботов для производства и экспертных систем можно указать еще на расчетно-логические системы, используемые в проектировании и планировании, интеллектуальные пакеты прикладных программ, облегчающие труд многих специалистов, системы автоматизации научных исследований и т.д. Все такие системы содержат базу знаний и блок, имитирующий профессиональные рассуждения. Более полное представление о специфике подобных систем и их работе можно получить из популярной [87, 88] и научной [89, 90] литературы.

Продукционные системы. Продукционные системы описывались в литературе неоднократно. Их модели, связанные с уточнением понятия алгоритма, излагаются, например, в [91]. В работах [92, 93] отражены многие аспекты применения продукции в интеллектуальных системах. Часто представление процессов в виде продукционных систем считают особым стилем программирования для ЭВМ новых поколений. Во всяком случае, с этой точки зрения они обладают рядом несомненных преимуществ по сравнению с классическими языками программирования.

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

Тем не менее, подобный стиль программирования находит в мире все больше сторонников. Заметим, что известные языки программирования ПРОЛОГ и РЕФАЛ многое как бы «заимствовали» из продукционных систем. Отметим также, что в возникшем в нашей стране еще до работ в области искусственного интеллекта ситуационном управлении [76] системы, подобные продукционным, использовались для поиска решений при оперативном управлении в сложных технических и организационных системах. Это были так называемые системы логико-трансформационных правил [94]. Пример с преобразованием схем химических реакций в продукционную систему принадлежит Т. Яхно.

Управление выводом. Обзор различных методов управления выводом в продукционных системах можно найти в [92, 93]. Поскольку продукционные системы часто выступают в качестве средства представления знаний в экспертных системах и осуществляют с помощью некоторого механизма управления выводом вывод на знаниях, то об этих механизмах можно найти достаточно богатые сведения в литературе по экспертным системам. Укажем в связи в этим на обзорные работы [95, 96].

Вывод на семантической сети. Вывод с помощью «поиска по образцу» на семантической сети, как он описан в этом разделе, используется во многих экспериментальных образцах машин баз знаний. Для этого создаются специальные аппаратные средства. К выводу на семантической сети можно свести метод резолюций, описанный в третьей главе. Переход к семантической сети позволяет строить процедуры вывода, обладающие большим уровнем параллелизма. В работе [97] рассмотрен один из таких методов, позволяющий резко повысить эффективность логического вывода в современных ЭВМ. При имитации движения по семантическим сетям в виде прямых, обратных или встречных волн в ЭВМ новых поколений предполагается использовать специальные аппаратные средства и языки волнового типа. Работа [98] показывает, какие принципы при этом используются. С особенностями немонотонных рассуждений можно ознакомиться по книге [99]. В [100] содержится интересная информация о выводах, которые можно делать при неполных знаниях в базе.

Спрашивай – Отвечаем. Логика вопросов и ответов описана в [101]. Ее авторы сумели построить теорию вопросно-ответных отношений для ЛИ-вопросов, КАКОЙ-вопросов и частично для ПОЧЕМУ-вопросов. Логики такого вида обычно называются эротетическими. Для других типов вопросов, рассмотренных в данном разделе, логики пока не построены. Для того чтобы имитировать для вопросно-ответных отношений случаи неполноты информации в базе знаний или ее противоречивости, Н. Белнап предложил специальную четырехзначную логику, описание которой имеется в приложении к книге [101]. В этой логике наряду с обычными логическими оценками «Истина» и «Ложь» используются специальные оценки «Неизвестно» и «Истина и Ложь одновременно». Высказывание о мышлении специалистов в области археологии заимствовано из [102, с. 9]. Рассказ о космическом Ответчике помещен в [103].

Глава шестая

Рационален ли человек? Модель целенаправленного поведения, описанная нами, основывается на модели, предложенной в [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. Чесноков С.В. Вычисление точности 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 с.