Standard

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

In: КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ, No. 3, 2014, p. 9-20.

Research output: Contribution to journal › Article

Harvard

Петухова, НД & Косовская, ТМ 2014, 'Решение задач логико-предметного распознавания образов с использованием тактик обратного метода Маслова', КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ, no. 3, pp. 9-20. <http://elibrary.ru/item.asp?id=22616039>

APA

Петухова, Н. Д., & Косовская, Т. М. (2014). Решение задач логико-предметного распознавания образов с использованием тактик обратного метода Маслова. КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ, (3), 9-20. http://elibrary.ru/item.asp?id=22616039

Vancouver

Петухова НД, Косовская ТМ. Решение задач логико-предметного распознавания образов с использованием тактик обратного метода Маслова. КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ. 2014;(3):9-20.

Author

Петухова, Н.Д. ; Косовская, Т.М. / Решение задач логико-предметного распознавания образов с использованием тактик обратного метода Маслова. In: КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ. 2014 ; No. 3. pp. 9-20.

BibTeX

@article{49eab1be12fa4af78f72f57dfef47909,
title = "Решение задач логико-предметного распознавания образов с использованием тактик обратного метода Маслова",
abstract = "Статья посвящена модификации Обратного метода Маслова для особой формы предикатных формул, используемых для решения задач искусственного интеллекта, допускающих формализацию средствами исчисления предикатов. Приведен и обоснован алгоритм доказательства выводимости формул особого типа, основанный на обратном методе. Получены оценки числа шагов работы этого алгоритма. Рассмотрен пример применения алгоритма для выделения и распознавания заданного объекта из составного.",
keywords = "искусственный интеллект логико-предметное распознавание образов исчисление предикатов обратный метод Маслова",
author = "Н.Д. Петухова and Т.М. Косовская",
year = "2014",
language = "русский",
pages = "9--20",
journal = "КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ",
issn = "2071-2340",
publisher = "Издательство СПбГЭТУ {"}ЛЭТИ{"}",
number = "3",

}

RIS

TY - JOUR

T1 - Решение задач логико-предметного распознавания образов с использованием тактик обратного метода Маслова

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

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

PY - 2014

Y1 - 2014

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

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

KW - искусственный интеллект логико-предметное распознавание образов исчисление предикатов обратный метод Маслова

M3 - статья

SP - 9

EP - 20

JO - КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ

JF - КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ

SN - 2071-2340

IS - 3

ER -

ID: 5752717