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

• Хорошо развитый и понятный математический аппарат. 1 Синтаксис и интерпретация логических функций, элементарных и предикатных формул, правил логического вывода образуют единую стройную теорию математической логики. 1 Это позволяет легко программировать различные операции над знаниями, в том числе логический вывод новых знаний на основе имеющихся знаний. 1
• Формальная единообразная процедура доказательства теорем. 4 При использовании исчисления предикатов знания о некоторой предметной области рассматриваются как совокупность логических формул, изменения в модели представления знаний происходят в результате добавления или удаления логических формул. 3
• Гибкость и экономичность. 4 Знание рассматривается как множество независимых или слабо зависимых фактов, что позволяет осуществлять модификацию знаний и обучение простым добавлением или устранением утверждений. 4