алгоритми, алгоритмы, algorithms, Algorithmen, algorithmes ; модальна логіка, модальная логика ; модель, model ; представлення знань, представление знаний, knowledge representation, KR, ; предикати, предикаты

У дисертації наведено нове вирішення наукової задачі моделювання розповсюдження лісової пожежі. Удосконалено її математичне забезпечення, створено нові моделі, алгоритми та методи Розроблено нову молель математичної структури зони пожежі у вигляді сукупності плоских і тривимірних просторових об"єктів. Запропоновано використання багатосортного вирахування предикатів вищого порядку для опису геометричної структури зони пожежі. Розглянуто використання модальної логіки вищого порядку у сполученні з термопальною для подання знань про динаміку предметної області. Розроблено новий метод комбінування модальної алетичної логіки вищого порядку з термопальною, внаслідок чого створено темпоральну модельну логіку вищого порядку. Наведено інтерпретацію багатосортної логіки предикатів вищого порядку з використанням аксіоматичного підходу. Розроблено алгоритми інтерпретації моделі темпоральної молельної логіки поведінки окремих елементарних об"єктів і всієї множини динаміних об"єктів, що складають геометричну структуру зони пожежі, на базі ймовірнісно-множинного методу Монте-Карло. Створено програмний продукт для візуального відображення розповсюдження лісової пожежі.

• УДК // Без людини-оператора. Автомати. Роботи
• УДК // Обладнання для обробки даних