Research output: Contribution to journal › Article › peer-review
Подход к решению задачи построения многоуровневого описания классов на языке исчисления предикатов. / Косовская, Т.М.
In: Труды СПИИРАН: SPIIRAS Proceedings, No. 3(34), 2014, p. 204-217.Research output: Contribution to journal › Article › peer-review
}
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