Представление формальных моделей в интеллектуальных системах поддержки принятия решений
Автор: Мишин С.А., Мишин А.В.
Журнал: Теория и практика современной науки @modern-j
Рубрика: Основной раздел
Статья в выпуске: 5 (5), 2015 года.
Бесплатный доступ
В статье рассматривается подход к построению формальной системы, позволяющей объединять локальные теории отдельных объектов в глобальную теорию реальности, на основе теории категорий и топосов. Полученные результаты могут быть использованы при построении баз знаний интеллектуальных систем поддержки принятия решений.
База знаний, формализованная теория объекта, логический вывод, категорный подход
Короткий адрес: https://sciup.org/140266641
IDR: 140266641
Список литературы Представление формальных моделей в интеллектуальных системах поддержки принятия решений
- Мишин А.В. Основы теории формальных систем: построение моделей принятия решений / А.В. Мишин. - Воронеж: Изд-во Воронежского института МВД России, 2003. - 116 с.
- Мишин А.В. Построение когнитивных моделей принятия решений / А.В. Мишин, С.А. Мишин // Автоматизация и современные технологии. - 2004. - № 9. - С. 6-13.
- Мишин А.В. Аксиоматическое представление знаний о сложных предметных областях / А.В. Мишин // Исследования по математическому анализу, математическому моделированию и информатике. - Владикавказ: Владикавказский научный центр РАН и РСО-А, 2007. - С. 287-293.
- Биркгоф Г. Теория решёток / Г. Биркгоф. - М.: Наука, 1984. - 566 с.
- Букур Н., Деляну А. Введение в теорию категорий и функторов / Н. Букур, А. Деляну. - М.: Мир, 1972. - 259 с.
- Голдблатт Р. Топосы: Категорный анализ логики / Р. Голдблатт. - M: Мир, 1983. - 486 с.
- Расёва Е. Математика метаматематики / Е. Расёва, Р. Сикорский. - М.: Наука, 1972. - 591 с.
Статья научная
