Аннотация доклада.

Формализмы представления знаний - это класс математических систем, реализующих универсальные абстракции понятий представления и обработки знаний. При этом абстрактность обеспечивает глубину, а универсальность – полноту возможностей моделирования интеллектуальных систем. Специальный класс формализмов знаний составляют пространства конфигураций, определяемые как абстрактные математические системы. Инварианты таких пространств поддерживают исследование и применение, связанные с моделированием процессов мышления. Атрибутами указанных процессов являются когнитивные цели (операции). Цели определяют содержание, а операции  этапы процессов реализации целей. Фундамент моделирования процессов обработки знаний образуют алгебраические операции и алгоритмические процессы синтеза знаний, уточняемые в инвариантах формализмов знаний. Универсальная иерархия классов алгебраических операций (морфизмов) формализмов знаний опирается на аналоги сущностей фундаментальных математических систем. Начальные данные процессов синтеза задают семейства элементарных и простых знаний, составляющие абстрактные и прикладные онтологии. Процессы синтеза порождают замыкания онтологий и представляются комбинациями операций (шаблонами) реализаций когнитивных целей. Порождающие принципы (инварианты) представления и морфизмов обработки знаний для класса формализмов знаний расширяются в общую модель мультиагентной интеллектуальной системы – согласованной с трёхуровневой архитектурой процессов мышления. Информационные и функциональные компоненты этой модели относятся к внешнему, алгоритмическому и абстрактному уровням, а их содержание моделируется онтологиями и алгебраическими структурами синтезируемых знаний. Предложенная архитектура поддерживает инженерию формализмов знаний и слабо формализованных нематематических моделей из разных дисциплин, обеспечивающую их совместное использование в интеллектуальных системах.