Работа посвящена обсуждению вопросов применимости неклассических логических исчислений к задаче верификации продукционных баз знаний. Рассмотрены возможности некоторых трёхзначных, четырёхзначных, а также нечётких логик. Показано, что хорошим подходом к верификации является использование логик с векторными семантиками в форме VTF-логик. Основанные на них экспертные системы смогут верифицировать свои БЗ без привлечения дополнительных (и внешних по отношению к ЭС) архитектурных элементов.