Издательство — Образовательные технологии — Выпуск №2/2018

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

Ключевые слова: искусственный интеллект, алгоритм обратного вывода, экспертные системы.