Formalization of knowledge the tasks of air traffic control systems for advanced air traffic control

DOI №______

Authors

  • К. П. Сторчак, (Storchak К. P.) State University of Telecommunications, Kyiv
  • А. П. Бондарчук, ( Bondarchuk A. P.) State University of Telecommunications, Kyiv
  • Д. Є. Василенко, (Vasylenko D. Ye.) State University of Telecommunications, Kyiv
  • О. М. Шушура, (Shushura О. М.) State University of Telecommunications, Kyiv
  • О. А. Золотухіна, (Zolotukhina O. A.) State University of Telecommunications, Kyiv

Abstract

Development of advanced air traffic control systems requires the development of new approaches to the design and development of special mathematical and software. One of the promising ways to improve special software is to use the methods of artificial intelligence. To develop the knowledge base and data of such systems should be analyzed and the choice of method of formalization of knowledge. We justify the choice of the method of formalization of knowledge allowing for the solution of air traffic control problems.

Keywords: air traffic control; artificial intelligence; the formalization of tasks; automation; management; decision-making.

References
1. ДСТУ 2481-94. Системи оброблення інформації. Інтелектуальні інформаційні технології. Терміни та визначення. Київ: Держстандарт України, 1994. 30 с.
2. Искусственный интеллект. Справочник в 3-х кн. Кн. 2. Модели и методы / под ред. Д. А. Поспелова. Москва: Радио и связь. 1990. 304 с.
3. Теоретические основы автоматизации процессов выработки решений в системах управления / В. Е. Ярушек, В. П. Прохоров, Б. Н. Судаков, А. В. Мишин. Харьков: ХВУ, 1993. 446 с.
4. Ивлев Ю. В. Содержательная семантика модальной логики. Москва: МГУ, 1985. 170 с.
5. Слинин Я. А. Современная модальная логика. Ленинград: ЛГУ, 1976. 104 с.
6. Соснин П. И. Логика понятий. Саратов: Саратов. гос. ун-т, 1986. 86 с.
7. Модальные и интенсиональные логики и их применение к проблемам методологии науки / под ред. В. А. Смирнова. Москва: Наука, 1984. 368 с.
8. Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем / пер. с англ. Москва: Наука, 1983. 360 с.
9. Заде Л. Понятие лингвистической переменной и его применение к принятию приближенных решений. Москва: Мир, 1976. 165 с.
10. Дюбуа Д., Прад А. Теория возможностей. Приложение к представлению знаний в информатики / пер. с фр. Москва: Радио и связь, 1990. 287 с.
11. Низиенко Б. И, Павленко М. А., Бердник П. Г. Метод формализации знаний, содержащих модальности для экспертных систем реального времени // Системи обробки інформації. 2004. Вип. 10(38). С. 117–125.
12. Павленко М. А. Разработка процедуры многоэтапной формализации знаний для экспертных систем реального времени // Системи обробки інформації. 2004. Вип. 9(37). С. 124–133.
13. Когнітивний підхід до розробки інформаційних моделей в системах підтримки прийняття рішень / М. А. Павленко, В. К. Медведєв, П. Г. Бердник, С. В. Міхасьов // Наука і техніка Повітряних Сил Збройних Сил України. 2016. № 2. С. 138–141.
14. Онипченко П. М., Павленко М. А., Тимочко О. І. Напрямки підвищення оперативності і якості бойової підготовки льотного складу авіації Повітряних Сил Збройних Сил України // Системи обробки інформації. 2016. № 3. С. 264–266.
15. Гибридная модель знаний для распознавания ситуаций в воздушном пространстве / М. А. Павленко, А. И. Тимочко, Н. А. Королюк, М. Ю. Гусак // Автоматика и вычислительная техника. 2014. Т. 49, №5. С. 16–25.

Downloads

Published

2019-11-25

Issue

No. 2 (2019)

Section

Articles