Рогозин Олег Викторович, кандидат технических наук, доцент кафедрыИУ-7 МГТУ им. Баумана, г. Москва
Рогозин Николай Олегович, ассистент кафедры ИУ-7, МГТУ им. Баумана,г. Москва
В представленной статье рассматривается вариант реализации алгоритма обратного вывода при решении логических задач. Данный алгоритм широко применяется в системах искусственного интеллекта, экспертных системах. Приведён пример его использования в практических задачах. Подробно представлен сам алгоритм, а также грамматика для построения логических формул и высказываний.
Ключевые слова: искусственный интеллект, алгоритм обратного вывода, экспертные системы.
Библиографическое описание: Рогозин О.В., Рогозин Н.О. Алгоритм обратного вывода при решении логических задач // Образовательные технологии. 2018. № 2. С. 100-111
