|
Труды СПИИРАН, 2014, выпуск 34, страницы 204–217
(Mi trspy741)
|
|
|
|
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)
Подход к решению задачи построения многоуровневого описания классов на языке исчисления предикатов
Т. М. Косовскаяab a Федеральное государственное бюджетное учреждение науки Санкт-Петербургский институт информатики и автоматизации РАН
b Санкт-Петербургский государственный университет
Аннотация:
Рассматривается задача построения многоуровневого описания классов, объекты которых характеризуются свойствами своих элементов и отношениями между ними. Задачи распознавания и анализа таких объектов являются NP-трудными, но при наличии достаточно коротких и часто встречающихся подформул в описаниях классов можно построить многоуровневое описание классов, существенно понижающее значение показателя степени в оценках числа шагов алгоритмов, решающих эти задачи. До сих пор выделение таких подформул оставлялось на усмотрение разработчика системы распознавания. В работе предлагается подход к их автоматическому выделению.
Ключевые слова:
исскуственный интеллект, предикатные формулы исчисления, сложность алгоритма, NP-полнота, уровневое описание классов.
Образец цитирования:
Т. М. Косовская, “Подход к решению задачи построения многоуровневого описания классов на языке исчисления предикатов”, Тр. СПИИРАН, 34 (2014), 204–217
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/trspy741 https://www.mathnet.ru/rus/trspy/v34/p204
|
Статистика просмотров: |
Страница аннотации: | 164 | PDF полного текста: | 83 | Список литературы: | 30 |
|