Standard

Применение тактик муравьиных алгоритмов для решения некоторых задач искусственного интеллекта. / Петухова, Н.Д.; Косовская, Т.М.

в: ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. СЕРИЯ 10: ПРИКЛАДНАЯ МАТЕМАТИКА, ИНФОРМАТИКА, ПРОЦЕССЫ УПРАВЛЕНИЯ, № 3, 2015, стр. 67 — 82.

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

Harvard

Петухова, НД & Косовская, ТМ 2015, 'Применение тактик муравьиных алгоритмов для решения некоторых задач искусственного интеллекта', ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. СЕРИЯ 10: ПРИКЛАДНАЯ МАТЕМАТИКА, ИНФОРМАТИКА, ПРОЦЕССЫ УПРАВЛЕНИЯ, № 3, стр. 67 — 82.

APA

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

Vancouver

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

Author

Петухова, Н.Д. ; Косовская, Т.М. / Применение тактик муравьиных алгоритмов для решения некоторых задач искусственного интеллекта. в: ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. СЕРИЯ 10: ПРИКЛАДНАЯ МАТЕМАТИКА, ИНФОРМАТИКА, ПРОЦЕССЫ УПРАВЛЕНИЯ. 2015 ; № 3. стр. 67 — 82.

BibTeX

@article{361497d9b6b2461c89221a33651cabf2,
title = "Применение тактик муравьиных алгоритмов для решения некоторых задач искусственного интеллекта",
abstract = "В работе рассматривается NP-трудная задача доказательства формул, к которым сводятся многие задачи искусственного интеллекта, допускающие формализацию средствами исчисления предикатов. Предлагается применение модификации обратного метода Маслова с использованием тактик муравьиных алгоритмов и параллельных вычислений. Разработан новый алгоритм построения вывода для таких формул. Доказываются оценки числа шагов работы этого алгоритма. Приводится пример применения алгоритма к модельной задаче распознавания контурного изображения.",
keywords = "искусственный интеллект, исчисление предикатов, алгоритмическая сложность, обратный метод Маслова, муравьиные тактики, параллельные вычисления",
author = "Н.Д. Петухова and Т.М. Косовская",
year = "2015",
language = "русский",
pages = "67 — 82",
journal = " ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. ПРИКЛАДНАЯ МАТЕМАТИКА. ИНФОРМАТИКА. ПРОЦЕССЫ УПРАВЛЕНИЯ",
issn = "1811-9905",
publisher = "Издательство Санкт-Петербургского университета",
number = "3",

}

RIS

TY - JOUR

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

AU - Петухова, Н.Д.

AU - Косовская, Т.М.

PY - 2015

Y1 - 2015

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

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

KW - искусственный интеллект

KW - исчисление предикатов

KW - алгоритмическая сложность

KW - обратный метод Маслова

KW - муравьиные тактики

KW - параллельные вычисления

M3 - статья

SP - 67 — 82

JO - ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. ПРИКЛАДНАЯ МАТЕМАТИКА. ИНФОРМАТИКА. ПРОЦЕССЫ УПРАВЛЕНИЯ

JF - ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. ПРИКЛАДНАЯ МАТЕМАТИКА. ИНФОРМАТИКА. ПРОЦЕССЫ УПРАВЛЕНИЯ

SN - 1811-9905

IS - 3

ER -

ID: 5789584