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

Результат исследований: Научные публикации в периодических изданияхстатья

Аннотация

Рассматривается задача построения многоуровневого описания классов, объекты которых характеризуются свойствами своих элементов и отношениями между ними. Задачи распознавания и анализа таких объектов являются NP-трудными, но при наличии достаточно коротких и часто встречающихся подформул в описаниях классов можно построить многоуровневое описание классов, существенно понижающее значение показателя степени в оценках числа шагов алгоритмов, решающих эти задачи. До сих пор выделение таких подформул оставлялось на усмотрение разработчика системы распознавания. В работе предлагается подход к их автоматическому выделению.
Язык оригиналарусский
Страницы (с-по)204-217
ЖурналТруды СПИИРАН: SPIIRAS Proceedings
Номер выпуска3(34)
СостояниеОпубликовано - 2014

Ключевые слова

  • Искусственный интеллект
  • формулы исчисления предикатов
  • сложность алгоритмов
  • NP-полнота
  • уроыневые описания классов

Цитировать