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