ДСМ-метод автоматического порождения гипотез: Логические и эпистемологические основания

Обложка ......Page 1 Титульная страница ......Page 2 Аннотация ......Page 3 Оглавление ......Page 4 Предисловие (Аншаков О.М, Финн В.К.) ......Page 5 Источники ......Page 9 Введение ......Page 10 Глава 1. Правдоподобные рассуждения в интеллектуальных системах типа ДСМ (Финн В.К.) ......Page 11 Глава 2. ДСМ-метод как система автоматического обучения (Кузнецов С.О.) ......Page 52 Глава 3. Об одной- интерпретации ДСМ-метода автоматического порождения гипотез (Аншаков О.М.) ......Page 82 Глава 4. Синтез познавательных процедур и проблема индукции (Финн В.К.) ......Page 97 Часть I. Логико-математические основания ДСМ-метода ......Page 166 Глава 1. ДСМ-метод автоматического порождения гипотез с отношением порядка (Финн В.К.) ......Page 167 Глава 2. Об обобщенном ДСМ методе автоматического порождения гипотез (Финн В.К.) ......Page 193 Глава 3. О некоторых способах построения логических языков с кванторами по кортежам (Скворцов Д.П.) ......Page 215 Глава 4. О характеристиках переборных задач, возникающих при автоматическом порождении гипотез ДСМ-методом (Забежайло М.И.) ......Page 234 Глава 5. О дедуктивной имитации некоторых вариантов ДСМ-метода автоматического порождения гипотез (Аншаков О.М., Скворцов Д.П., Финн В.К.) ......Page 241 Глава 6. Формализация правдоподобных рассуждений в логике предикатов (Виноградов Д.В.) ......Page 288 Глава 7. Логические программы для квазиаксиоматических теорий (Виноградов Д.В.) ......Page 295 Глава 8. Корректные логические программы для правдоподобных рассуждений (Виноградов Д.В.) ......Page 300 Глава 9. Каузальные модели предметных областей (Аншаков О.М.) ......Page 307 Глава 10. Обобщенные кванторы, определяемые с помощью шаблонов. Часть 1 (Аншаков О.М.) ......Page 334 Глава 11. Обобщенные кванторы, определяемые с помощью шаблонов. Часть 2 (Аншаков О.М.) ......Page 361 Глава 12. ДСМ-метод на языке соответствий Галуа (Кузнецов С.О.) ......Page 387 Часть II. ДСМ-метод в науках о жизни ......Page 398 Глава 1. Интеллектуальные системы для анализа медицинских данных (Финн В.К, Блинова В.Г., Панкратова Е.С, Фабрикантова Е.Ф.) ......Page 399