ISOMORPHISM OF PREDICATE FORMULAS IN ARTIFICIAL INTELLIGENCE PROBLEMS

Переведенное название: Изоморфизм предикатных формул в задачах Искусственного Интеллекта

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

Аннотация

В статье рассматривается понятие изоморфизма элементарных конъюнкций предикатных формул. Изоморфные формулы задают одно и то же отношение между различными аргументами, а следовательно, выделение изоморфных друг другу подформул в множестве более сложных формул позволяет выявить структуру исследуемых объектов. Описываются задачи, при решении которых выделение такой структуры позволяет уменьшить их вычислительную сложность.
Язык оригиналаанглийский
Страницы (с-по)221–230
ЖурналInternational Journal on Information Theory and Applications
Том26
Номер выпуска3
СостояниеОпубликовано - июн 2019
Событие"ITHEA ISS Joint International Events of Informatics" - Varna, Болгария
Продолжительность: 1 июл 201912 июл 2019
Номер конференции: 22

    Fingerprint

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

  • Компьютерные науки (все)

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

  • логико-предметное распознавание, изоморфизм формул, NP-полнота, GI-полнота

Цитировать