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.
