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