М.:Либроком, 2009. — 432 с.
В книге представлены теоретические оснований формализации
правдоподобных рассуждений, используемых в ДСМ-методе
автоматического порождения гипотез. Этот метод развивает средствами
современной логики идеи Д.С. Милля об индукции и идеи Ч.С. Пирса об
абдукции, кроме того, ДСМ-метод использует принцип фальсификации
К.Р. Поппера как средство отбрасывания нерелевантных гипотез.
Главным результатом, представленным в книге, является формализация
эвристики типа «индукция + аналогия + абдукция», которая образует
синтез этих познавательных процедур. Его формализацией являются
правдоподобные рассуждения типа ДСМ. ДСМ-рассуждения, включающие
контекстно-зависимую индукцию с контролируемыми выводами, являются
весомым аргументом против антииндуктивизма К.Р. Поппера. Кроме
того, ДСМ-рассуждения являются существенной частью ДСМ-метода
автоматического порождения гипотез — оригинальной технологии и
методологии интеллектуального анализа данных. Книга предназначена
для специалистов в области искусственного интеллекта и анализа
данных, а также для логиков и философов, интересующихся проблемами
искусственного интеллекта.
Предисловие (Аншаков О. М., Финн В. К.)
Источники
Введение
Правдоподобные рассуждения в интеллектуальных системах типа ДСМ (Финн В. К.)
ДСМ-метод как система автоматического обучения (Кузнецов С. О.)
Об одной интерпретации ДСМ-метода автоматического порождения гипотез (Аншаков О. М.)
Синтез познавательных процедур и проблема индукции (Финн В. К.)
Логико-математические основания ДСМ-метода
ДСМ-метод автоматического порождения гипотез с отношением порядка (Финн В. К.)
Об обобщенном ДСМ методе автоматического порождения гипотез (Финн В. К.)
О некоторых способах построения логических языков с кванторами по кортежам (Скворцов Д. П.)
О характеристиках переборных задач, возникающих при автоматическом порождении гипотез ДСМ-методом (Забежайло М. И.)
О дедуктивной имитации некоторых вариантов ДСМ-метода автоматического порождения гипотез (Аншаков О. М, Скворцов Д. П., Финн В. К.)
Формализация правдоподобных рассуждений в логике предикатов (Виноградов Д. В.)
Логические программы для квазиаксиоматических теорий (Виноградов Д. В.)
Корректные логические программы для правдоподобных рассуждений (Виноградов Д. В.)
Каузальные модели предметных областей (Аншаков О. М.)
Обобщенные кванторы, определяемые с помощью шаблонов. Часть 1 (Аншаков О. М.)
Обобщенные кванторы, определяемые с помощью шаблонов. Часть 2 (Аншаков О. М.)
ДСМ-метод на языке соответствий Галуа (Кузнецов С. О.)
ДСМ-метод в науках о жизни
Интеллектуальные системы для анализа медицинских данных (Финн В. К, Блинова В. Г., Панкратова Е. С., Фабрикантова Е.Ф.)
Источники
Введение
Правдоподобные рассуждения в интеллектуальных системах типа ДСМ (Финн В. К.)
ДСМ-метод как система автоматического обучения (Кузнецов С. О.)
Об одной интерпретации ДСМ-метода автоматического порождения гипотез (Аншаков О. М.)
Синтез познавательных процедур и проблема индукции (Финн В. К.)
Логико-математические основания ДСМ-метода
ДСМ-метод автоматического порождения гипотез с отношением порядка (Финн В. К.)
Об обобщенном ДСМ методе автоматического порождения гипотез (Финн В. К.)
О некоторых способах построения логических языков с кванторами по кортежам (Скворцов Д. П.)
О характеристиках переборных задач, возникающих при автоматическом порождении гипотез ДСМ-методом (Забежайло М. И.)
О дедуктивной имитации некоторых вариантов ДСМ-метода автоматического порождения гипотез (Аншаков О. М, Скворцов Д. П., Финн В. К.)
Формализация правдоподобных рассуждений в логике предикатов (Виноградов Д. В.)
Логические программы для квазиаксиоматических теорий (Виноградов Д. В.)
Корректные логические программы для правдоподобных рассуждений (Виноградов Д. В.)
Каузальные модели предметных областей (Аншаков О. М.)
Обобщенные кванторы, определяемые с помощью шаблонов. Часть 1 (Аншаков О. М.)
Обобщенные кванторы, определяемые с помощью шаблонов. Часть 2 (Аншаков О. М.)
ДСМ-метод на языке соответствий Галуа (Кузнецов С. О.)
ДСМ-метод в науках о жизни
Интеллектуальные системы для анализа медицинских данных (Финн В. К, Блинова В. Г., Панкратова Е. С., Фабрикантова Е.Ф.)