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