Радиопромышленность. 2018; 28: 105-114
ОБОСНОВАНИЕ ФОРМАЛЬНЫХ СИСТЕМ МАТЕМАТИЧЕСКОЙ ЛОГИКИ ДЛЯ РЕШЕНИЯ ЗАДАЧ АВТОМАТИЧЕСКОГО ЭЛЕКТРОННОГО ДОКУМЕНТООБОРОТА
https://doi.org/10.21778/2413-9599-2018-2-105-114Аннотация
Список литературы
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 с.
Radio industry (Russia). 2018; 28: 105-114
THE SUBSTANTIATION OF MATHEMATICAL LOGIC FORMAL SYSTEMS FOR SOLVING TASKS OF AUTOMATIC ELECTRONIC DOCUMENT MANAGEMENT
https://doi.org/10.21778/2413-9599-2018-2-105-114Abstract
References
1. Proektirovanie informatsionnykh sistem upravleniya dokumentooborotom nauchno-obrazovatel'nykh uchrezhdenii: monografiya / M. N. Krasnyanskii, S. V. Karpushkin, A. V. Ostroukh i dr. Tambov: Izd-vo TGTU, 2015. 216 s.
2. Metody i sredstva avtomatizirovannogo proektirovaniya prakticheskoi ontologii / B. V. Dobrov, N. V. Lukashevich, O. A. Nevzorova, B. E. Fedunov // Izvestiya RAN. Teoriya i sistemy upravleniya. 2004. № 2. S. 58–68.
3. Bondarenko M. F., Shabanov-Kushnarenko Yu. P. Ob algebre konechnykh predikatov // Bionika intellekta. Informatsiya, yazyk, intellekt. 2011. № 3 (77). S. 3–13.
4. Klini S. K. Vvedenie v matematiku. M.: Izd-vo inostrannoi literatury, 1957. 524 s.
5. Dostovernyi i pravdopodobnyi vyvod v intellektual'nykh sistemakh / V. N. Vagin, E. Yu. Golovina, A. A. Zagoryanskaya, M. V. Fomina; pod red. V. N. Vagina, D. A. Pospelova. 2-e izd., ispr. i dop. M.: Fizmatlit, 2008. 512 s.
6. Galiev Sh. I. Matematicheskaya logika i teoriya algoritmov: uchebnoe posobie. Kazan': Izd-vo KGTU im. A. N. Tupoleva. 2002. 270 s.
7. Devyatkov V. V. Sistemy iskusstvennogo intellekta: uchebnoe posobie. M.: Izd-vo MGTU im. N. E. Baumana, 2001. 352 s. (Informatika v tekhnicheskom universitete).
8. Mendel'son E. Vvedenie v matematicheskuyu logiku. M.: Izd-vo Nauka, 1971. 320 s.
9. Bondarenko M. F., Shabanov-Kushnarenko Yu. P. Normal'nye formy formul algebry konechnykh predikatov // Bionika intellekta. Informatsiya, yazyk, intellekt. Khar'kov. 2011. № 3 (77). S. 14–29.
10. Kosovskaya T. M. Samoobuchayushchayasya set' s yacheikami, realizuyushchimi predikatnye formuly // Trudy SPIIRAN. 2015. № 6 (43). S. 94–112.
11. Poddubnyi M. I., Korolev I. D. Predstavlenie politiki mandatnogo razgranicheniya dostupa cherez model' Kharrisona-Ruzzo-Ul'mana [Elektronnyi resurs] // Politematicheskii setevoi elektronnyi nauchnyi zhurnal KubGAU. 2015. № 3 (107). URL: http://ej.kubagro.ru/2015/03/pdf/111.pdf (data obrashcheniya: 26.01.2018).
12. Razvitie metodologicheskikh osnov informatiki i informatsionnoi bezopasnosti sistem: deponirovannaya rukopis' № 1165-B2004. Data deponirovaniya: 07. 07.2004 / A. P. Fisun, A. G. Kasilov, V. E. Fisenko, V. A. Minaev, V. V. Afanas'ev, V. V. Mityaev, R. A. Fisun, K. A. Dzhevaga, S. A. Kozhukhov. M.: VINITI, 2004. 253 s.
