База знаний, содержимое которой в процессе функционирования не изменяется. Логический вывод в такой базе эквивалентен выводу в формальной системе и обладает свойством монотонности, т.е. ранее выведенные утверждения остаются верными на весь период функционирования Б.З.З.