Неофітна Т. М. Категорні моделі і метод поповнення ієрарххічних баз знань предметних областей автоматизованих систем

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