Frame Condition

释义 Definition

Frame condition（框架条件）：在逻辑、程序验证或人工智能规划中，用来说明某个动作/过程执行后，哪些状态（事实、变量）保持不变的条件或公理。它常用于避免把“未改变的部分”都逐条重复写出（与“框架问题 frame problem”相关）。在不同领域也可能泛指“在某个框架下成立的约束条件”。

发音 Pronunciation (IPA)

/freɪm kənˈdɪʃən/

例句 Examples

A frame condition states what does not change after an action.
框架条件说明一个动作发生后，哪些东西不会改变。

To prove the program is correct, we wrote frame conditions ensuring only the target variables can be modified, while all other state remains unchanged.
为了证明程序正确，我们写了框架条件，确保只有目标变量会被修改，而其他状态保持不变。

词源 Etymology

frame 有“框架、结构”的意思，condition 是“条件、约束”。合在一起强调“在某个结构/模型中用于限定不变性的条件”。该用法在形式化推理、程序规范与AI行动理论中逐渐固定（尤其与20世纪中后期关于“框架问题”的讨论相关）。

相关词 Related Words

• Frame Problem
• Precondition
• Postcondition
• Invariant
• Axiom
• Constraint
• Assumption
• Specification
• Situation Calculus
• STRIPS

文学/著作中的用例 Literary Works

• John McCarthy, “Some Philosophical Problems from the Standpoint of Artificial Intelligence”（1969）：讨论行动与常识推理背景下的问题脉络，与框架条件/框架公理密切相关。
• Raymond Reiter, **Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems**（2001）：在行动理论与情景演算中系统讨论与“保持不变”相关的形式化表述（常涉及框架条件/框架公理）。
• Vladimir Lifschitz 等关于Action Languages / Situation Calculus的论文与教材：在形式化描述动作影响时，经常出现“frame conditions”这一术语来约束未受影响的事实保持不变。