TY - JOUR AU - Татьяна Матвеевна Косовская PY - 2014/06/30 Y2 - 2024/03/29 TI - Подход к решению задачи построения многоуровневого описания классов на языке исчисления предикатов JF - Труды СПИИРАН JA - ТС VL - 3 IS - 34 SE - Статьи DO - 10.15622/sp.34.10 UR - http://proceedings.spiiras.nw.ru/index.php/sp/article/view/1851 AB - Рассматривается задача построения многоуровневого описания классов, объекты которых характеризуются свойствами своих элементов и отношениями между ними. Задачи распознавания и анализа таких объектов являются NP-трудными, но при наличии достаточно коротких и часто встречающихся подформул в описаниях классов можно построить многоуровневое описание классов, существенно понижающее значение показателя степени в оценках числа шагов алгоритмов, решающих эти задачи. До сих пор выделение таких подформул оставлялось на усмотрение разработчика системы распознавания. В работе предлагается подход к их автоматическому выделению. ER -