Показати скорочену інформацію

dc.contributor.authorШекета, В. І.uk
dc.date.accessioned2016-01-26T13:45:35Z
dc.date.available2016-01-26T13:45:35Z
dc.date.issued2005
dc.identifier.citationШекета В. І. Дослідження категорійної моделі модифікаційних предикатних запитів [Текст] / В. І. Шекета // Вісник Вінницького політехнічного інституту. - 2005. - № 4. - С. 69-76.uk
dc.identifier.issn1997-9274
dc.identifier.issn1997-9266
dc.identifier.urihttp://visnyk.vntu.edu.ua/index.php/visnyk/article/view/205
dc.identifier.urihttp://ir.lib.vntu.edu.ua/handle/123456789/5413
dc.description.abstractЗапропоновано категорійну модель модифікаційних предикатних запитів на основі денотаційної семантики в рамках теорій фіксованих значень і виконано дослідження її властивостей шляхом введення поняття категорійної дедукції та її обчислювальних відповідей. В результаті виконано побудову індексованої категорії, що є універсумом всіх можливих станів бази знань інформаційної інтелектуальної системи, до яких може привести виконання модифікаційного запиту. Для кожного стану відповідний шар є множиною дедукцій, які можуть бути виконані та функторні інтерпретації, що відображають одержані синтаксичні і семантичні категорії через використання модифікаційних уніфікаторів і редукційних пар стрілок.uk
dc.description.abstractПредложена категорийная модель модификационных предикатных запросов на основе денотационной семантики в рамках теории фиксированных значений и выполнено исследование ее свойств путем определения категориальной дедукции и ее вычислительных решений. В результате выполнено построение индексированной категории, которая представляет собой универсум всех возможных состояний базы знаний информационной системы, как следствий выполнения модификационных предикатных запросов. Для каждого состояния, соответствующий слой представляет множество дедукций, которые могут быть выполнены и функторные интерпретации, которые отображают полученные синтаксические и семантические категории через использование модификационных унификаторов и редукционных пар стрелок.ru
dc.description.abstractThe 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.en
dc.language.isouk_UAuk_UA
dc.publisherВНТУuk
dc.titleДослідження категорійної моделі модифікаційних предикатних запитівuk
dc.title.alternativeResearch of categorical model for modification predicate inquiriesen
dc.title.alternativeИсследование категорийной модели модификационных предикатних запросовru
dc.typeArticle
dc.identifier.udc681. 3:622. 276


Файли в цьому документі

Thumbnail

Даний документ включений в наступну(і) колекцію(ї)

Показати скорочену інформацію