В книге представлены теоретические оснований формализации правдоподобных рассуждений, используемых в ДСМ-методе автоматического порождения гипотез. Этот метод развивает средствами современной логики идеи Д.С. Милля об индукции и идеи Ч.С. Пирса об абдукции, кроме того, ДСМ-метод использует принцип фальсификации К.Р. Поппера как средство отбрасывания нерелевантных гипотез. Главным результатом, представленным в книге, является формализация эвристики типа «индукция + аналогия + абдукция», которая образует синтез этих познавательных процедур. Его формализацией являются правдоподобные рассуждения типа ДСМ. ДСМ-рассуждения, включающие контекстно-зависимую индукцию с контролируемыми выводами, являются весомым аргументом против антииндуктивизма К.Р. Поппера. Кроме того, ДСМ-рассуждения являются существенной частью ДСМ-метода автоматического порождения гипотез — оригинальной технологии и методологии интеллектуального анализа данных. Книга предназначена для специалистов в области искусственного интеллекта и анализа данных, а также для логиков и философов, интересующихся проблемами искусственного интеллекта.








