Использование логики предикатов для определения понятия «фрейм

Показано, что использование средств логики предикатов первого порядка для определения понятия «фрейм», впервые предложенного Марвином Минским в качестве модели для представления знаний, приводит к нарушению его первоначального смысла, вследствие чего теряются некоторые полезные свойства фреймовой модели.