fluent-calculus-reifies-states-as-terms

IN premise — summaries/2026/08/24/wiki-Frame_problem.md

Created 2026-08-25T02:58:49+00:00

The fluent calculus reifies state predicates into terms (e.g., open ∘ on), treating a state as an object rather than a set of true predicates, and actions are described as transformations between state terms.

Summary

Instead of tracking a world as a list of separate true-or-false facts, this approach bundles a state into a single object and describes actions as functions that turn one state-object into another. For the system, that means it can compare, substitute, and transform whole states directly, but answering a question about any one specific fact requires peeling into the state object rather than just looking it up in a table.