THE SUBSTANTIATION OF MATHEMATICAL LOGIC FORMAL SYSTEMS FOR SOLVING TASKS OF AUTOMATIC ELECTRONIC DOCUMENT MANAGEMENT

Рассматриваются формальные системы математической логики, в том числе система алгебры конечных предикатов, применительно к решению задач электронного документооборота. Дано обоснование выбора математического аппарата для описания и исследования автоматических процессов обработки формализованных документов в системе электронного документооборота, учитывающего особенности интеллектуальной деятельности человека. Описание рассмотренных формальных систем сведено в сравнительную таблицу. Сделан вывод о необходимости описания процессов в системе электронного оборота на языке теорий математической логики, позволяющих учитывать не только содержание, но и структуру формализованного электронного документа. Показана общая процедура процесса автоматической классификации документов с применением алгебры конечных предикатов. Сделаны основополагающие выводы: применение логических моделей при описании автоматической классификации документов в электронном документообороте позволяет снизить затраты на вычислительные мощности и сократить машинное время обработки документов. Наиболее адекватно для описания автоматических процессов в системе электронного документооборота применять алгебру конечных предикатов, c ее помощью возможно наиболее точное и полное описание формализованных электронных документов, их свойств и отношений между ними, и системы разграничения доступа между пользователями в системе электронного документооборота. Возможно также математическое описание и исследование автоматических процессов обработки формализованных документов в системе.