%A Костенко, Константин Иванович %A Лебедева, Анастасия Павловна %A Левицкий, Борис Ефимович %D 2017 %T МОДЕЛИРОВАНИЕ КОГНИТИВНЫХ ЦЕЛЕЙ ОПЕРАЦИЯМИ НАД ФОРМАЛИЗОВАННЫМИ ЗНАНИЯМИ %K %X Создание формальных основ для понятий, связанных с построением и использованием интеллектуальных систем, включает разработку унифицированных инструментов, интегрирующих опыт реализации порождающих принципов прикладных систем, основанных на знаниях, используя абстрактные инварианты и конструкты современной математики. Конструирование сложных знаний является частью процессов в интеллектуальных системах, моделируемых специальными типами теоретико-множественных, топологических, структурирующих и адаптирующих отображений. Рассмотрена классификация формализованных операций, моделирующих различные операции над знаниями. Такая классификация основана на слабо формализованных инвариантах когнитивной цели и фундаментальных конструктах формализма абстрактного пространства знаний, моделях процессов мышления в когнитивных задачах искусственного интеллекта. Синтез сложных знаний реализуется построением связных семантических представлений, являющихся решениями профессиональных задач. Основу процесса синтеза составляют операции формирования и преобразования серий однородных фрагментов знаний. %U http://sitito.cs.msu.ru/index.php/SITITO/article/view/293 %J Современные информационные технологии и ИТ-образование %0 Journal Article %R 10.25559/SITITO.2017.3.418 %P 83-92%V 13 %N 3 %@ 2411-1473 %8 2017-10-01