Формальная логическая модель представления знаний: теория и иллюстрации