Выделение наибольшей общей подформулы предикатных формул для решения ряда задач искусственного интеллекта

Т.М. Косовская, Д.А. Петров

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

3 Цитирования (Scopus)

Аннотация

В работе описывается алгоритм выделения общей с точностью до имён переменных подформулы двух элементарных конъюнкций предикатных формул. Доказываются оценки числа шагов его работы. Анализируется время применения его реализации в зависимости от параметров исходных данных. Предожен полиномиальный алгоритм проверки совпадения с точностью до имён переменных двух элементарных конъюнкций предикатных формул, правильность работы которого превышает 99,5\%.
Эти алгоритмы могут быть применены к построению многоуровневого описания класса объектов при условии, что каждый объект представлен как множество своих элементов и характеризуется свойствами этих элементов и отношениями между ними. Построенное многоуровневое описание позволяет существенно понизить показатель степени в оценке числа шагов решения NP-трудной задачи распознавания.
Библиогр. 16 наим.
Переведенное названиеEXTRACTION OF A MAXIMAL COMMON SUB-FORMULA OF PREDICATE FORMULAS FOR THE SOLVING OF SOME ARTIFICIAL INTELLIGENCE PROBLEMS
Язык оригиналарусский
Страницы (с-по)250-262
Число страниц13
ЖурналВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. СЕРИЯ 10: ПРИКЛАДНАЯ МАТЕМАТИКА, ИНФОРМАТИКА, ПРОЦЕССЫ УПРАВЛЕНИЯ
Том13
Номер выпуска3
DOI
СостояниеОпубликовано - 2017

Предметные области Scopus

  • Компьютерные науки (все)
  • Теория оптимизации
  • Прикладная математика

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

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

Fingerprint Подробные сведения о темах исследования «Выделение наибольшей общей подформулы предикатных формул для решения ряда задач искусственного интеллекта». Вместе они формируют уникальный семантический отпечаток (fingerprint).

  • Цитировать