框架问题

“框架问题”，缘起于对于智能体的“行动”（action）的刻画问题。在AI中，一个“行动”就是指系统对环境所要施加的一个动作，对于它的实施，显然是为了带来系统所希望发生的某种环境变化。不难想见，对于任何一个智能体（无论是自然的还是人工的）来说，它都需要预见到：怎样的行动会带来怎样的“效果”（effect），否则，它就不可能有计划地通过改变环境来达到自身的目的。于是，AI科学家就必须在设计智能系统时，设法表征出这种变化，以确定动作本身的效果。

从逻辑角度看，一个行动式，就可以被表达为一个条件式的前件，而其效果，则可以被表达为该条件式的后件。因此，从表面上看来，对于“行动—效果”关系的刻画，传统的命题逻辑系统就已足用。但更为仔细的考虑将向我们揭示：事情本身绝没有这么简单。

很显然，一个行动的效果，无疑就对应着世界中将会被该行动改变的那部分，而不会牵涉到世界中不会被改变的那部分。

默认的基本形式特征是：它们告诉了我们，当一个行动在世界中发生之后，世界中哪些事情不会发生变化。换言之，这些预设为我们勾勒了一个行动得以在其中发生的那个不变的框架（frame）。这些预设本身，则叫作“框架公理”（frame axioms）。但麻烦的是，由于这个框架所牵涉到的信息量过于庞大，对于它的表征往往会导致系统的运算负担过大，并无法完成实时任务。于是，这就汇出了所谓的“框架问题”（the Frame Problem）。