Терещенко, Віталій Юрійович2025-07-142025-07-142025Терещенко, В. Ю. Програмна система інтеграції різнорідної інформації для моделей знань : дипломна робота … бакалавра : 122 Комп’ютерні науки / Терещенко Віталій Юрійович. – Харків : ХНАДУ, 2025. – 66 с.https://dspace.khadi.kharkov.ua/handle/123456789/26154Актуальність теми зумовлена потребою у створенні ефективних інструментів для автоматизованої обробки логічної інформації в інтелектуальних системах. Використання алгебри лінійних предикатних операцій дозволяє формалізувати та швидко вирішувати складні логічні задачі, що має практичне значення для баз даних, експертних систем і штучного інтелекту. Метою дослідження є алгоритмічна та програмна реалізація методу вирішення кванторних лінійних рівнянь на основі алгебри лінійних предикатних операцій, що дозволяє ефективно моделювати й обробляти формалізовану логічну інформацію. Завданнями дослідження є: - проаналізувати формальні способи побудови інтелектуальних систем і підходи до представлення знань; - провести огляд методів алгебраїзації логіки та засобів їх реалізації в інформаційних системах; - розробити алгоритм вирішення кванторних лінійних рівнянь та реалізувати його програмно. Методи дослідження – застосовано аналіз літературних джерел з алгебраїчної логіки та інтелектуальних систем, алгебраїчне моделювання на основі предикатної логіки другого порядку, а також методи побудови та аналізу лінійно-логічних операторів.ukкванторні рівнянняалгебра предикатівлогічні операториінтелектуальні системиавтоматизоване доведеннябаза знаньлінійно-логічна модельBachelor's theses