Ковальский ( 1979а) выделяет два аспекта проблемы фреймов: во-первых, многочисленность аксиом фреймов, требуемых для реальных ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Хоггер К.N.
Введение в логическое программирование
Ковальский ( 1979а) выделяет два аспекта проблемы фреймов: во-первых, многочисленность аксиом фреймов, требуемых для реальных приложений, и, во-вторых, трудность эффективного управления ими, когда они вызываются снизу вверх при проведении прямого рассуждения от исходного состояния к целевому. Предлагаемые им средства для преодоления указанных трудностей заключаются соответственно в том, чтобы использовать единственную обобщенную аксиому фрейма, имеющую возможность доступа к отдельной базе данных, где представлены все те свойства, которые должны сохраняться при различного рода переходах состояния, и чтобы эта аксиома фрейма исполнялась сверху вниз, и, таким образом, ее применение не было бы восприимчивым к комбинаторному взрыву фактов, не имеющих отношения к цели, что характерно для рассуждений методом снизу вверх.