Определяются понятийные модели для представления и обработки знаний. Понятийная модель состоит из понятийной структуры и описания содержания входящих в нее понятий. Понятийная структура определена как множество понятий, на которых заданы отображения обобщения и ассоциации. Содержание понятий описывается с помощью различного рода перечисляющих и разрешающих процедур. Показано, что благодаря семантической инвариантности используемого формализма улучшаются характеристики систем управления с понятийными моделями предметной области.