frame-solution-categorization-action-vs-condition-centered
IN premise — summaries/2026/08/24/wiki-Frame_problem.md
Created 2026-08-25T02:58:49+00:00
Fluent occlusion and predicate completion solutions are action-centered; successor state axioms are condition-centered (one per fluent); fluent and event calculus solutions are state-term-centered.
Summary
The three main families of frame-problem solutions each anchor their logic around a different concept: what an action does, whether a particular fact keeps holding, or the state term itself. This structural choice matters because it determines where the complexity lives and how the system scales when you add new actions or new facts to track.