О классе ДСМ-рассуждений, использующих изоморфизм правил индуктивного вывода

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