Индуктивные методы Д.С. Милля в системах искусственного интеллекта. Часть II

Во второй части статьи определяется отношение выводимости гипотез из базы фактов, которое используется для распознавания различных видов корректности ДСМ-рассуждений. Устанавливается соответствие между тотальной корректностью ДСМ-рассуждений и пространствами толерантности. Формализуются индуктивные методы остатков и сопутствующих изменений и определяются соответствующие стратегии ДСМ-рассуждений. Посредством правил правдоподобного вывода для метода сопутствующих изменений вводятся операциональные определения динамических закономерностей в базах фактов. Также обсуждаются особенности ДСМ-метода автоматического порождения гипотез в интеллектуальных системах как средства knowledge discovery.