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

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

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

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