Каратаєв, О.Ситніков, Д.2024-10-082024-10-082023Каратаєв О. Метод повторного використання знань у формі логічних рівнянь / О. Каратаєв, Д. Ситніков // Сучасний стан наукових досліджень та технологій в промисловості. – 2023. – № 3(25). – С. 15–26. – DOI: https://doi.org/10.30837/ITSSI.2023.25.015.https://openarchive.nure.ua/handle/document/28990Предмет дослідження – процеси побудови та поповнення баз знань, повторного використання знань, і створення програмних систем на основі баз знань, інтерпретація знань як один із підходів до повторного їх застосування, що полягає у виведенні нових знань на основі наявних фактів у базі знань. Мета дослідження – розроблення методу повторного використання знань за допомогою вирішення логічних рівнянь скінченних предикатів для певної предметної галузі. Для досягнення поставленої мети визначено такі завдання: дослідити дескриптивні підходи до логічного моделювання предметної галузі, що дають змогу повторного використання знань, заданих системою логічних рівнянь у межах алгебри скінченних предикатів; розробити метод поповнення бази знань у формі предикатних рівнянь за допомогою вилучення змінних із логічних систем, де рівняння є складними логічними зв’язками між дискретними ознаками об’єктів або процесів. Використано такі методи: алгебра скінченних предикатів, кванторні операції з предикатами для інтерпретації знань. Здобуто такі результати: проаналізовано дескриптивні методи повторного використання знань; запропоновано метод поповнення бази знань у формі логічних рівнянь з метою спрощення подальшого використання неявних зв’язків між дискретними ознаками; розглянуто приклад поповнення бази знань медичної галузі, що дає змогу повторного використання знань, заданих неявно. Висновки. Запропонований метод дає змогу поповнювати базу знань у формі логічних рівнянь способом додавання предикатних рівнянь, що пов’язують окремі набори дискретних змінних, які цікавлять ученого або практика. Метод поповнення бази знань оснований на додаванні нових спрощених рівнянь; спрощені предикатні рівняння моделюють логічні закономірності, що неявно містяться в основній базі знань; проведено експериментальне дослідження.ukпрограмна інженеріяповторне використання знаньалгебра скінченних предикатівлогічні рівнянняArticlehttps://doi.org/10.30837/ITSSI.2023.25.015