TY - JOUR AU - Костенко, Константин Иванович AU - Лебедева, Анастасия Павловна PY - 2018/09/30 TI - КОГНИТИВНОЕ УПРАВЛЕНИЕ ФОРМАЛИЗОВАННЫМ МАТЕМАТИЧЕСКИМ КОНТЕНТОМ JF - Современные информационные технологии и ИТ-образование; Том 14 № 3 (2018): Современные информационные технологии и ИТ-образованиеDO - 10.25559/SITITO.14.201803.616-625 KW - N2 - Рассматривается задача управления формализованным математическим контентом произвольной области знаний, представляемым как онтология раздела этой области и составляющим базу первичных знаний простой структуры. Онтология включает многообразие сущностей разных типов и отношений между ними, близких к категориям и структурам математического языка. Такие знания являются точными, что позволяет разрабатывать корректные алгоритмы решения абстрактных и прикладных задач в областях знаний на основе онтологий. Под управлением контентом понимается моделирование процессов реализации произвольных когнитивных целей, адаптированных к области профессиональной деятельности. Система рассматриваемых классов когнитивных целей основана на иерархии классов слабо формализованных когнитивных целей и операций Б. Блюма, получаемой как результат разностороннего анализа процессов мышления. Реализации целей составляют алгебраические структуры сложных семантических представлений, синтезированных на основе элементов онтологии. Моделирование процессов синтеза осуществляется с использованием элементов иерархии классов операций обработки формализованных знаний, являющихся аналогами фундаментальных типов отображений из разных областей математики. Получение точных определений в работе достигается посредством сужения содержания целей из отдельных классов, обеспечивающего независимость средств, применяемых для их реализации. При этом независимость целей и операций основывается на использовании разных классов объектов в качестве исходных данных и результатов, семейств формальных операций и схем их применения для моделирования когнитивных операций и целей. Итоговую таблицу математических ассоциаций для классов целей Б. Блюма, составляют сведения о реализующих математические уточнения целей операциях в формализмах представления знаний, областях определения и значений для таких операций. Приведены описания регулярных форматов данных окрестностей и серий, схемы комбинаций формальных операций, реализующих когнитивные цели понимания и оценивания, составленные с использованием конструкций специального языка. UR - http://sitito.cs.msu.ru/index.php/SITITO/article/view/428