Дослідження категорійної моделі модифікаційних предикатних запитів

Abstract

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

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

The categorical model for modification predicate inquiries is offered on the basis of denotation semantics within the framework of fixed values theory and exploration of its properties is done through introduction of categorical deduction notion and its calculable answers. As a result the construction of indexed category, as an universum of all possible states of knowledgebase, to which can bring implementation of modification predicate query is done. For every state, the proper layer represents the set of deductions which can be executed, and functor interpretations, that are displaying the got syntactic and semantic categories through the use of modification unificators and reduction pairs of arrows.