ВИЗНАЧЕННЯ ЕФЕКТИВНОСТІ МЕХАНІЗМІВ ЛОГІЧНОГО ВИВЕДЕННЯ

Анотація

Предметом дослідження в статті є алгоритми співставлення зі зразком, які використовуються в програмному інструментарії розробки систем, що базуються на правилах. Мета роботи - представлення особливостей вибору або генерації бенчмарків алгоритмів співставлення зі зразком в залежності від специфіки вирішуваних задач. В статті вирішуються наступні завдання: визначити проблематику тестових задач; провести аналіз концепцій базових алгоритмів співставлення зі зразком; провести аналіз існуючих бенчмарків алгоритмів співставлення зі зразком; виокремити основні підходи та методи формування бенчмарків. Методами, що аналізуються, є Rete, Treat та їх модифікації, а також методи та підходи до формування бенчмарків для аналізу продуктивності алгоритмів співставлення та систем, заснованих на правилах. Отримані наступні результати: для порівняльного аналізу представлено концепції базових алгоритмів співставлення зі зразком, що дозволило виокремити значимі характеристики, які впливають на продуктивність співставлення в термінах часу виконання та структури бази знань. Виокремлення характеристик відбувалося за двома підходами, які стосуються логічного виведення в системах, що базуються на правилах (rule-base) та для систем Semantic Web. Визначено базові тестові задачі, які використовуються в якості бенчмарків. Представлено основні бенчмарки алгоритмів співставлення зі зразком з відповідним визначенням специфіки області їх використання. Висновки: визначено проблеми аналізу ефективності механізмів логічного виведення для прикладних систем різного типу. Проведено аналіз та представлено концептуальні відмінності базових алгоритмів співставлення зі зразком, які впливають на вимоги до формування або вибору бенчмарків. На основі проведеного аналізу представлено основні характеристики бенчмарків для продукційних систем та систем Semantic Web. Визначено основні підходи та методи формування бенчмарків. Перспективним напрямком подальших досліджень вбачається вбачається створення нових тестових задач, які дозволять застосовувати представлення в термінах логіки першого порядку