інформаційні технології, ІТ, информационные технологии, ИТ, information technologies ; бази знань, (БЗ), базы знаний, (БЗ), knowledge bases ; візуалізація, визуализация, imaging ; метаграфи, метаграфы ; статична веріфікація, статическая верификация ; IT-technologies, IT-технології, IT-технологии

Удосконалено нечітку логічну модель, яка побудована для оброблення інформації, за рахунок подання ієрархічної бази нечітких знань (БНЗ) у вигляді метаграфа з додатковими обмеженнями на його структуру та введеним порядком вузлів, і нечіткого логічного виведення на його основі з виділенням необхідної для виведення частини. Запропоновано метод статичної верифікації ієрархічної БНЗ, поданої у вигляді метаграфа, що дозволило проводити перевірку БНЗ на відповідність властивостям несуперечливості, лінгвістичної повноти, лінгвістичної ненадлишковості, відсутності зациклювання. Запропоновано метод візуалізації метаграфів, в якому враховується вкладеність вершин у метавершини при розрахунку їх взаємного розташування на площині та його розширення для випадку ієрархічнихx метаграфів. Розроблено інформаційну технологію створення та використання БНЗ із застосуванням метаграфів, яка базується на удосконаленій моделі, розроблених методах та алгоритмах.

• УДК // Представлення знань
• УДК // Теорія графів