Язык логики предикатов не является полным и достаточным для научного описания предметной области. 1

Основной недостаток этого языка при представлении знаний состоит в ограниченной выразимости: существует множество фактов и взаимосвязей, которые тяжело или даже невозможно выразить средствами математической логики. 2 Например, такое логичное с точки зрения человека умозаключение, как «Человек колет дрова топором, топор — острый, следовательно человеку колоть дрова легко», на языке логики предикатов непредставимо, поскольку содержит сценарный, а не логический вывод. 2

Преимущество языка логики предикатов при представлении знаний заключается в том, что он обладает хорошо развитым и понятным математическим аппаратом. 2 Это позволяет легко программировать различные операции над знаниями, в том числе логический вывод новых знаний на основе имеющихся знаний. 2