Преимущества логических моделей представления знаний:

• независимо от количества формул и процедур, логическая форма будет иметь только один вывод; 1
• использование классического аппарата математической логики, методы которой достаточно хорошо изучены и формально обоснованы; 34
• существуют достаточно эффективные процедуры вывода, использующие механизмы автоматического доказательства теорем для поиска и логически осмысленного вывода информации; 34
• в базах знаний можно хранить лишь множество аксиом, а все остальные знания получать из них по правилам вывода. 34

Недостатки логических моделей представления знаний:

• из-за того, что факты (формулы) выглядят очень похоже, модель тяжело использовать для конкретных предметной области из-за отсутствия определённости в некоторых сферах науки; 1
• в логическую модель тяжело добавить необходимое количество аксиом для корректной работы будущей системы; 1
• вывод, полученный из верных аксиом, может не иметь смысла со стороны человеческого разума. 1