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

  Повний текст PDF - 359.795 Kb    Зміст випуску     Цитування публікації

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"