Method formalization of knowledge about the tasks of air traffic solved in the center of air traffic control
DOI №______
Abstract
In developing public expert systems for various purposes special role played by way of formalizing and knowledge representation. The task of developing a method of formalizing knowledge to open real-time expert system dedicated to this article. Particular attention is paid to the development of the knowledge base logical relationships in such a database, investigated the possibility of reducing the volume without disturbing the integrity and logical inference to provide such a basis in real time. The result of this paper is the method of formalization of knowledge about the problem of air traffic control.
Keywords: expert system; knowledge processing; knowledge management system; air movement; knowledge base; knowledge formalization.
References
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.
