ОБОСНОВАНИЕ ФОРМАЛЬНЫХ СИСТЕМ МАТЕМАТИЧЕСКОЙ ЛОГИКИ ДЛЯ РЕШЕНИЯ ЗАДАЧ АВТОМАТИЧЕСКОГО ЭЛЕКТРОННОГО ДОКУМЕНТООБОРОТА
Аннотация
Рассматриваются формальные системы математической логики, в том числе система алгебры конечных предикатов, применительно к решению задач электронного документооборота. Дано обоснование выбора математического аппарата для описания и исследования автоматических процессов обработки формализованных документов в системе электронного документооборота, учитывающего особенности интеллектуальной деятельности человека. Описание рассмотренных формальных систем сведено в сравнительную таблицу. Сделан вывод о необходимости описания процессов в системе электронного оборота на языке теорий математической логики, позволяющих учитывать не только содержание, но и структуру формализованного электронного документа. Показана общая процедура процесса автоматической классификации документов с применением алгебры конечных предикатов. Сделаны основополагающие выводы: применение логических моделей при описании автоматической классификации документов в электронном документообороте позволяет снизить затраты на вычислительные мощности и сократить машинное время обработки документов. Наиболее адекватно для описания автоматических процессов в системе электронного документооборота применять алгебру конечных предикатов, c ее помощью возможно наиболее точное и полное описание формализованных электронных документов, их свойств и отношений между ними, и системы разграничения доступа между пользователями в системе электронного документооборота. Возможно также математическое описание и исследование автоматических процессов обработки формализованных документов в системе.
Об авторах
В. А. МинаевРоссия
Минаев Владимир Александрович - доктор технических наук, профессор.
105005, Москва, 2-я Бауманская ул., д. 5, стр. 1, тел: +7 (916) 294-92-90
И. Д. Королев
Россия
Королев Игорь Дмитриевич, доктор технических наук, профессор.
350063, Краснодар, ул. Красина, д. 4, тел.: +7 (918) 311-46-21
А. В. Мазин
Россия
Мазин Анатолий Викторович - доктор технических наук, профессор, заведующий кафедрой ЭИУ6-КФ.
248000, Калуга, ул. Баженова, д. 2, тел.: +7 (910) 915-58-25
А. С. Мезенцев
Россия
Мезенцев Александр Сергеевич – адъюнкт.
350063, Краснодар, ул. Красина, д. 4, тел.: +7 (918) 247-38-80
М. И. Поддубный
Россия
Поддубный Максим Игоревич - кандидат технических наук, начальник лаборатории.
350063, Краснодар, ул. Красина, д. 4, тел.: +7 (903) 448-08-60
Список литературы
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 с.
Для цитирования:
Минаев В.А., Королев И.Д., Мазин А.В., Мезенцев А.С., Поддубный М.И. ОБОСНОВАНИЕ ФОРМАЛЬНЫХ СИСТЕМ МАТЕМАТИЧЕСКОЙ ЛОГИКИ ДЛЯ РЕШЕНИЯ ЗАДАЧ АВТОМАТИЧЕСКОГО ЭЛЕКТРОННОГО ДОКУМЕНТООБОРОТА. Радиопромышленность. 2018;28(2):105-114. https://doi.org/10.21778/2413-9599-2018-2-105-114
For citation:
Minaev V.A., Korolev I.D., Mazin A.V., Mezentsev A.S., Poddubny M.I. THE SUBSTANTIATION OF MATHEMATICAL LOGIC FORMAL SYSTEMS FOR SOLVING TASKS OF AUTOMATIC ELECTRONIC DOCUMENT MANAGEMENT. Radio industry (Russia). 2018;28(2):105-114. (In Russ.) https://doi.org/10.21778/2413-9599-2018-2-105-114