1. Наука
  2. Видання
  3. Системи обробки інформації
  4. 9(90)'2010
  5. Об условиях существования решения логических уравнений с неизвестными бинарными отношениями в информационной системе

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

Д. Э. Ситников, П. Э. Ситникова, А. И. Коваленко
Системи обробки інформації. — 2010. — № 9(90). — С. 198-200.
УДК 510.6:004
Мова статті: російська
Анотації на мовах:

В статье изложены некоторые аспекты поиска неизвестных отношений в интеллектуальных информационных системах. Ввиду сложности проблемы класс отношений ограничен бинарными предикатами, а множество допустимых операций – операциями булевой алгебры и дополнительной операцией перестановки переменных. Исследованы произвольные уравнения с бинарными отношениями и получены критерии существования решения таких уравнений. Полученные результаты могут быть использованы для построения логических выводов в интеллектуальных системах разнообразного назначения, а также для извлечения знаний в соответствии с заданными логическими критериями из баз данных и знаний.
Ключові слова: информационная система, алгебра конечных предикатов, параметрические уравнения, булева алгебра
Інформація про авторів публікації:
Бібліографічний опис для цитування:
Ситников Д. Э. Об условиях существования решения логических уравнений с неизвестными бинарными отношениями в информационной системе / Д. Э. Ситников, П. Э. Ситникова, А. И. Коваленко  // Системи обробки інформації. — 2010. — № 9. — С. 198-200.