ОБОСНОВАНИЕ ФОРМАЛЬНЫХ СИСТЕМ МАТЕМАТИЧЕСКОЙ ЛОГИКИ ДЛЯ РЕШЕНИЯ ЗАДАЧ АВТОМАТИЧЕСКОГО ЭЛЕКТРОННОГО ДОКУМЕНТООБОРОТА

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

1. Проектирование информационных систем управления документооборотом научно-образовательных учреждений: монография / М. Н. Краснянский, С. В. Карпушкин, А. В. Остроух и др. Тамбов: Изд-во ТГТУ, 2015. 216 с.

2. Методы и средства автоматизированного проектирования практической онтологии / Б. В. Добров, Н. В. Лукашевич, О. А. Невзорова, Б. Е. Федунов // Известия РАН. Теория и системы управления. 2004. № 2. С. 58–68.

3. Бондаренко М. Ф., Шабанов-Кушнаренко Ю. П. Об алгебре конечных предикатов // Бионика интеллекта. Информация, язык, интеллект. 2011. № 3 (77). С. 3–13.

4. Клини С. К. Введение в математику. М.: Изд-во иностранной литературы, 1957. 524 с.

5. Достоверный и правдоподобный вывод в интеллектуальных системах / В. Н. Вагин, Е. Ю. Головина, А. А. Загорянская, М. В. Фомина; под ред. В. Н. Вагина, Д. А. Поспелова. 2-е изд., испр. и доп. М.: Физматлит, 2008. 512 с.

6. Галиев Ш. И. Математическая логика и теория алгоритмов: учебное пособие. Казань: Изд-во КГТУ им. А. Н. Туполева. 2002. 270 с.

7. Девятков В. В. Системы искусственного интеллекта: учебное пособие. М.: Изд-во МГТУ им. Н. Э. Баумана, 2001. 352 с. (Информатика в техническом университете).

8. Мендельсон Э. Введение в математическую логику. М.: Изд-во Наука, 1971. 320 с.

9. Бондаренко М. Ф., Шабанов-Кушнаренко Ю. П. Нормальные формы формул алгебры конечных предикатов // Бионика интеллекта. Информация, язык, интеллект. Харьков. 2011. № 3 (77). С. 14–29.

10. Косовская Т. М. Самообучающаяся сеть с ячейками, реализующими предикатные формулы // Труды СПИИРАН. 2015. № 6 (43). С. 94–112.

11. Поддубный М. И., Королев И. Д. Представление политики мандатного разграничения доступа через модель Харрисона-Руззо-Ульмана [Электронный ресурс] // Политематический сетевой электронный научный журнал КубГАУ. 2015. № 3 (107). URL: http://ej.kubagro.ru/2015/03/pdf/111.pdf (дата обращения: 26.01.2018).

12. Развитие методологических основ информатики и информационной безопасности систем: депонированная рукопись № 1165-B2004. Дата депонирования: 07. 07.2004 / А. П. Фисун, А. Г. Касилов, В. Е. Фисенко, В. А. Минаев, В. В. Афанасьев, В. В. Митяев, Р. А. Фисун, К. А. Джевага, С. А. Кожухов. М.: ВИНИТИ, 2004. 253 с.