Цитата из книги «Искусственный интеллект и Большие Данные. Без хайпа и наукообразия»

В основе логической модели лежит формальная система вывода знаний из некоторой системы посылок. База знаний содержит некий набор утверждений, которые считаются правильными, а также некоторая совокупность правил вывода. Применяя правила вывода к уже известной совокупности правильных утверждений, можно получать новые формально правильные утверждения, к совокупности которых опять можно применять правила вывода и получать новые утверждения. Полученные путём логического вывода утверждения сохраняются в базе знаний и в дальнейшем также могут использоваться для проверки истинности новых утверждений (доказательство теорем на основе уже доказанных теорем).