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

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

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

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

---

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.