Програмна система інтеграції різнорідної інформації для моделей знань

Abstract

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