Розроблено моделі й інформаційну технологію створення пакетів ділової документації, яка базується на методах інтелектуальної обробки даних. Як математичний апарат для моделювання процесів обробки текстових даних у документах використано теорію категорій. Проаналізовано властивості категорій і можливості предикатних категорій для представлення текстової інформації. Введено інтерпретацію категорії у термінах алгебрах предикатів - предикатну категорію. Розглянуто випадки - категорію з об'єктами та безоб'єктну категорію. Показано, що ядро лінійного логічного оператора можна розглядати як знання або правила одержання знань, а лінійний логічний оператор - як механізм здійснення запиту для одержання нових знань. Показано застосування предикатних категорій для формалізації даних, представлених за допомогою логічних моделей. Досліджено властивості добутку морфізмів. Функціонування логічної моделі представлення знань відтворено у вигляді послідовності відображень і категоріальних діаграм. Удосконалено засоби інтелектуальної обробки даних, які грунтуються на застосуванні теорії категорій і логічних мереж. Запропоновано алгебричну модель ідентифікації документів типу "лист-запит". Виділено формальні ознаки документа такого типу, визначено області їх зміни. Розглянуто основні типи документів і побудовано структуру логічної мережі документа за типом товару. Розроблено програмний комплекс розв'язання рівнянь алгебри предикатів для реалізації одержаних логічних мереж.

  Завантажити