# The Frame Problem

> 【EN】To most AI researchers, the frame problem is the challenge of representing the effects of action in logic without having to represent explicitly a large number of intuitively obvious non-effects. But to many philosophers, the AI researchers' frame problem is suggestive of wider epistemological issues. Is it possible, in principle, to limit the scope of the reasoning required to derive the consequences of an action? And, more generally, how do we account for our apparent ability to make decisions on the basis only of what is relevant to an ongoing situation without having explicitly to consider all that is not relevant? 【中】词条区分逻辑中的框架问题与认识论的框架问题：前者关于如何在形式系统中刻画行动，后者追问原则上能否限定推导行动后果所需的推理范围，以及我们何以能只依据与当下情境相关的因素做决定，而不必逐一考虑所有无关事项；此外还考察常识惯性的形而上学与该问题的今日形态。

- ID: m13212
- Category: technical
- Domain: 人工智能

## Definition

对多数人工智能研究者而言，框架问题是如何在逻辑中表征行动的后果，而不必显式地表征大量直觉上显而易见的“非后果”；对许多哲学家而言，它还暗示着更广泛的认识论问题。 脚手架作用：- 压缩推理规模：只显式刻画被行动改变的部分，其余默认保持不变。 - 识别相关性：追问哪些事实真正需要纳入，避免在不相干细节上耗尽计算资源。

## How it works

一次行动只改变世界的一小部分，其余大体照旧。形式系统若缺乏这种“惯性”假设，就必须逐条显式断言哪些东西没有变，推理规模随即爆炸；因此问题的要害在于如何把相关性约束内建进表征方式本身。

## Practice

1) 列出行动可能改变的状态变量；2) 明确默认保持不变的其余部分；3) 采用封闭世界或惯性假设以免逐一枚举；4) 检查异常情形是否真的被覆盖；5) 在决策时把注意力限定于与当前情境相关的变量。

## Use

- 压缩推理规模：只显式刻画被行动改变的部分，其余默认保持不变。 - 识别相关性：追问哪些事实真正需要纳入，避免在不相干细节上耗尽计算资源。

[Read the web page](https://thinkingmodels.site/en/entries/detail/m13212)