Объясните суть 'проблемы кадрирования' (frame problem) в теории искусственного интеллекта и робототехники. Почему для системы алгоритмически сложно описать, что *не* меняется в результате определенного действия, и какие теоретические подходы (например, флюент-логика) предлагаются для её решения?