Аннотация:
В статье рассматривается новый вариант обобщенного ДСМ-метода автоматизированной поддержки научных исследований. Этот вариант ДСМ-метода АПНИ использует тернарные предикаты сходства (причина, множества тормозов, эффект) такие, что они содержат бинарные предикаты “причина-эффект” и явные определения тормозов.
Обсуждается возможность разбиения базы фактов для случаев истинности предикатов обобщенного метода и метода сходства с запретом на контрпримеры.
Ключевые слова:обобщенный ДСМ-метод, запрет на контрпримеры, тормоз причины.
Полный текст:
PDF файл (349 kB)
