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