лінійна темпоральна логіка, линейная темпоральная логика ; логічний метод, логический метод ; обчислювальні методи, вычислительные методы ; онтологія, онтология

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

• УДК // Гарантії якості програмного забезпечення. Верифікація і оцінка (V&V)
• УДК // Мікроелектроніка. Інтегральні схеми
• УДК // Підготовка виробництва
• УДК // Представлення знань
• УДК // Програми та алгоритми для розв'язання окремих задач за допомогою комп'ютера