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