Кроме того, эти стратегии совместимы с любой традиционной полной стратегией резолюционного доказательства теорем. Далее, приведенные ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Лупанов О.Б. Кибернетический сборник Выпуск21


Кроме того, эти стратегии совместимы с любой традиционной полной стратегией резолюционного доказательства теорем. Далее, приведенные методы позволяют проводить поиск в глубину и образовывать подцели более естественным образом, чем это делает большинство резолюционных стратегий. На самом деле мы продолжаем разрабатывать другие методы, которые используют абстракции вместе с обратными рассуждениями и которые в большей степени полагаются на семантику, решая, какая из подцелей достижима.

(cкачать страницу)

Смотреть книгу на libgen

Кроме того, эти стратегии совместимы с любой традиционной полной стратегией резолюционного доказательства теорем. Далее, приведенные методы позволяют проводить поиск в глубину и образовывать подцели более естественным образом, чем это делает большинство резолюционных стратегий. На самом деле мы продолжаем разрабатывать другие методы, которые используют абстракции вместе с обратными рассуждениями и которые в большей степени полагаются на семантику, решая, какая из подцелей достижима.