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



Выдержка из книги Хоггер К.N. Введение в логическое программирование


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

(cкачать страницу)

Смотреть книгу на libgen

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