Пошук академічних текстів

Інформація × Реєстраційний номер 2120U009323, Матеріали видань та локальних репозитаріїв Категорія Стаття, Опубліковано, Рецензована стаття Назва роботи ВИЗНАЧЕННЯ ЕФЕКТИВНОСТІ МЕХАНІЗМІВ ЛОГІЧНОГО ВИВЕДЕННЯ Автор Shapovalova S.Mazhara O.Shapovalova S.Mazhara O. Дата публікації 25-11-2020 Постачальник інформації Національний університет «Полтавська політехніка імені Юрія Кондратюка» Першоджерело https://journals.nupp.edu.ua/sunz/article/view/2020 Видання Національний університет «Полтавська політехніка імені Юрія Кондратюка» Опис Предметом дослідження в статті є алгоритми співставлення зі зразком, які використовуються в програмному інструментарії розробки систем, що базуються на правилах. Мета роботи - представлення особливостей вибору або генерації бенчмарків алгоритмів співставлення зі зразком в залежності від специфіки вирішуваних задач. В статті вирішуються наступні завдання: визначити проблематику тестових задач; провести аналіз концепцій базових алгоритмів співставлення зі зразком; провести аналіз існуючих бенчмарків алгоритмів співставлення зі зразком; виокремити основні підходи та методи формування бенчмарків. Методами, що аналізуються, є Rete, Treat та їх модифікації, а також методи та підходи до формування бенчмарків для аналізу продуктивності алгоритмів співставлення та систем, заснованих на правилах. Отримані наступні результати: для порівняльного аналізу представлено концепції базових алгоритмів співставлення зі зразком, що дозволило виокремити значимі характеристики, які впливають на продуктивність співставлення в термінах часу виконання та структури бази знань. Виокремлення характеристик відбувалося за двома підходами, які стосуються логічного виведення в системах, що базуються на правилах (rule-base) та для систем Semantic Web. Визначено базові тестові задачі, які використовуються в якості бенчмарків. Представлено основні бенчмарки алгоритмів співставлення зі зразком з відповідним визначенням специфіки області їх використання. Висновки: визначено проблеми аналізу ефективності механізмів логічного виведення для прикладних систем різного типу. Проведено аналіз та представлено концептуальні відмінності базових алгоритмів співставлення зі зразком, які впливають на вимоги до формування або вибору бенчмарків. На основі проведеного аналізу представлено основні характеристики бенчмарків для продукційних систем та систем Semantic Web. Визначено основні підходи та методи формування бенчмарків. Перспективним напрямком подальших досліджень вбачається вбачається створення нових тестових задач, які дозволять застосовувати представлення в термінах логіки першого порядку Додано в НРАТ 2026-04-19 Закрити