В работе предложен метод формализации различий знаний о предметной области между пользователями и базой знаний информационной системы, и их использование для поддержки актуальности базы знаний. In this paper we propose a method of formalizing differences between knowledge of users and knowledge base of information systems, and using this differences for verification knowledge base.