Дослідження категорійної моделі модифікаційних предикатних запитів
Ключові слова:
предикатний запит, категорійна модель, категорійна дедукція, функторна інтерпретація, денотаційна семантика, теорія фіксованих значень, індексована категорія, модифікація бази знаньАнотація
Запропоновано категорійну модель модифікаційних предикатних запитів на основі денотаційної семантики в рамках теорій фіксованих значень і виконано дослідження її властивостей шляхом введення поняття категорійної дедукції та її обчислювальних відповідей. В результаті виконано побудову індексованої категорії, що є універсумом всіх можливих станів бази знань інформаційної інтелектуальної системи, до яких може привести виконання модифікаційного запиту. Для кожного стану відповідний шар є множиною дедукцій, які можуть бути виконані та функторні інтерпретації, що відображають одержані синтаксичні і семантичні категорії через використання модифікаційних уніфікаторів і редукційних пар стрілок.##submission.downloads##
-
PDF
Завантажень: 42
Переглядів анотації: 105
Опубліковано
2010-11-12
Як цитувати
[1]
В. І. Шекета, «Дослідження категорійної моделі модифікаційних предикатних запитів», Вісник ВПІ, вип. 4, с. 69–76, Листоп. 2010.
Номер
Розділ
Інформаційні технології та комп'ютерна техніка
Ліцензія
Автори, які публікуються у цьому журналі, згодні з такими умовами:
- Автори зберігають авторське право і надають журналу право першої публікації.
- Автори можуть укладати окремі, додаткові договірні угоди з неексклюзивного поширення опублікованої журналом версії статті (наприклад, розмістити її в інститутському репозиторії або опублікувати її в книзі), з визнанням її первісної публікації в цьому журналі.
- Авторам дозволяється і рекомендується розміщувати їхню роботу в Інтернеті (наприклад, в інституційних сховищах або на їхньому сайті) до і під час процесу подачі, оскільки це сприяє продуктивним обмінам, а також швидшому і ширшому цитуванню опублікованих робіт (див. вплив відкритого доступу).
