Уперше побудовано предикатні моделі таких логіко-математичних понять, як рівність, рівність з набору властивостей, декартовий добуток, належність, теоретико-множинні операції об'єднання, перетинання та доповнення, розбивка множин, зв'язок відображень з відносинами, зв'язок розбивок з еквівалентностями. Одержані моделі дозволяють спростити побудову систем штучного інтелекту, орієнтованих на оперування відповідними поняттями, за рахунок їх використання як базисних елементів під час моделювання зазначених систем мовою числення предикатів першого порядку. На теоретико-множинній базі розроблено метод розв'язання довільних рівнянь алгебри з невідомими множинами і перетвореннями, який дозволяє без попереднього дослідження елементного складу множин, що входять у рівняння, записати критерій розв'язання та вигляд його загального розв'язку з використанням вільних параметрів. Даний метод покладено до засад розробки методу розв'язання рівнянь алгебри предикатних операцій. Уперше розроблено метод надходження загальних розв'язків рівнянь алгебри предикатних операцій з невідомими предикатами, що має для деяких рівнянь меншу обчислювальну складність у порівнянні з аналогами. Зазначено, що використання методу в дедуктивних базах даних дозволяє для визначеного класу запитів скоротити час їх обчислення в порівнянні з застосуванням методу повного перебору.

 Автореферати дисертацій 

---

Додаткова інформація про автора(ів) публікації:
(cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)

• Колесников Дмитро Олегович (технічні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"