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

Поспелов Дмитрий Александрович

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 с.