Метод формалізації знань про завдання управління повітряним рухом, розв'язуваних в центрах управління повітряним рухом

DOI №______

Анотація

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

Ключові слова: експертна система; обробка знань; знання; система управління; повітряний рух; база знань; формалізація знань.

Список використаної літератури
1. Метод формализации знаний в открытой экспертной системе реального времени в автоматизированных системах управления воздушным движением / Д. Е. Василенко, Д. Н. Обидин, П. Г. Бердник, В. Н. Руденко // Системи озброєння і військова техніка. 2016. № 3. С. 44–49.
2. Василенко Д. Е., Обидин Д. Н., Бердник П. Г. Разработка процедуры контроля непротиворечивости знаний для открытой экспертной системы реального времени // Системи обробки інформації. 2016. № 9. С. 90–93.
3. Искусственный интеллект. Справочник в 3-х кн. Кн. 2. Модели и методы / под ред. Д. А. Поспелова. М.: Радио и связь. 1990. 304 с.
4. Теоретические основы автоматизации процессов выработки решений в системах управления / В. Е. Ярушек, В. П. Прохоров, Б. Н. Судаков, А. В. Мишин. Харьков: ХВУ, 1993. 446 с.
5. Ивлев Ю. В. Содержательная семантика модальной логики. М.: МГУ, 1985. 170 с.
6. Слинин Я. А. Современная модальная логика. Л.: ЛГУ, 1976. 104 с.
7. Object-Oriented Analysis and Design with Applications (3rd Edition). Grady Booch, Robert A. Maksimchuk, Michael W. Engle, Bobbi J. Young [et al.]. 720 р.
8. Eric Evans Domain-Driven Design: Tackling Complexity in the Heart of Software. 442 p.
9. Vaughn Vernon. Implementing Domain-Driven Design. «ВИЛЬЯМС», 2016. 688 p.
10. Когнітивний підхід до розробки інформаційних моделей в системах підтримки прийняття рішень / М. А. Павленко, В. К. Медведєв, П. Г. Бердник, С. В. Міхасьов // Наука і техніка Повітряних Сил Збройних Сил України. 2016. № 2. С. 138–141.
11. Гибридная модель знаний для распознавания ситуаций в воздушном пространстве / М. А. Павленко, А. И. Тимочко, Н. А. Королюк, М. Ю. Гусак // Автоматика и вычислительная техника. 2014. Т. 49, №5. С. 16–25.