Standard

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

In: Труды СПИИРАН: SPIIRAS Proceedings, No. 3(34), 2014, p. 204-217.

Research output: Contribution to journalArticlepeer-review

Harvard

APA

Vancouver

Author

BibTeX

@article{1c9e8d58fe6249b899cf172822204a2d,
title = "Подход к решению задачи построения многоуровневого описания классов на языке исчисления предикатов",
abstract = "Рассматривается задача построения многоуровневого описания классов, объекты которых характеризуются свойствами своих элементов и отношениями между ними. Задачи распознавания и анализа таких объектов являются NP-трудными, но при наличии достаточно коротких и часто встречающихся подформул в описаниях классов можно построить многоуровневое описание классов, существенно понижающее значение показателя степени в оценках числа шагов алгоритмов, решающих эти задачи. До сих пор выделение таких подформул оставлялось на усмотрение разработчика системы распознавания. В работе предлагается подход к их автоматическому выделению.",
keywords = "Искусственный интеллект, формулы исчисления предикатов, сложность алгоритмов, NP-полнота, уроыневые описания классов",
author = "Т.М. Косовская",
year = "2014",
language = "русский",
pages = "204--217",
journal = "SPIIRAS Proceedings",
issn = "2078-9181",
publisher = "Санкт-Петербургский институт информатики и автоматизации РАН",
number = "3(34)",

}

RIS

TY - JOUR

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

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

PY - 2014

Y1 - 2014

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

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

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

KW - формулы исчисления предикатов

KW - сложность алгоритмов

KW - NP-полнота

KW - уроыневые описания классов

M3 - статья

SP - 204

EP - 217

JO - SPIIRAS Proceedings

JF - SPIIRAS Proceedings

SN - 2078-9181

IS - 3(34)

ER -

ID: 5724651