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

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

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

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