Применение тактик муравьиных алгоритмов для решения некоторых задач искусственного интеллекта

Н.Д. Петухова, Т.М. Косовская

Результат исследований: Научные публикации в периодических изданияхстатья

Аннотация

В работе рассматривается NP-трудная задача доказательства формул, к которым сводятся многие задачи искусственного интеллекта, допускающие формализацию средствами исчисления предикатов. Предлагается применение модификации обратного метода Маслова с использованием тактик муравьиных алгоритмов и параллельных вычислений. Разработан новый алгоритм построения вывода для таких формул. Доказываются оценки числа шагов работы этого алгоритма. Приводится пример применения алгоритма к модельной задаче распознавания контурного изображения.
Язык оригиналарусский
Страницы (с-по)67 — 82
ЖурналВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. СЕРИЯ 10: ПРИКЛАДНАЯ МАТЕМАТИКА, ИНФОРМАТИКА, ПРОЦЕССЫ УПРАВЛЕНИЯ
Номер выпуска3
СостояниеОпубликовано - 2015
Опубликовано для внешнего пользованияДа

Ключевые слова

  • искусственный интеллект
  • исчисление предикатов
  • алгоритмическая сложность
  • обратный метод Маслова
  • муравьиные тактики
  • параллельные вычисления

Цитировать