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

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

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

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

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