Обратный ход с учётом зависимостей

Техника интеллектуального поиска, которая использует информацию о зависимостях для непосредственного возвращения к источнику противоречия при рассуждении. Этот подход оптимизирует процесс поддержки истинности, избегая неэффективных возвратов назад.

← Назад