Представление знаний с использованием формальизмов