Метод повторного використання знань у формі логічних рівнянь

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