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

• Шекета Василь Іванович (технічні науки)

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