Формалізація знань про завдання управління повітряним рухом для перспективних систем управління повітряним рухом

DOI №______

Анотація

Розвиток перспективних систем управління повітряним рухом потребує вивчення нових підходів до проектування і створення спеціального математичного та програмного забезпечення. Одним із перспективних напрямків удосконалення спеціального математичного забезпечення є використання методів штучного інтелекту. Для розробки баз знань і даних таких систем необхідно провести аналіз і вибір методу формалізації знань. У статті обґрунтовано вибір методу формалізації знань із урахуванням особливостей розв’язання задач управління повітряним рухом.

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

Список использованной литературы
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.