Использование логических формализмов для построения базы знаний в области строительной механики