fluent-occlusion-sandewall-occlude-predicate

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

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

Fluent occlusion, proposed by Sandewall, introduces auxiliary predicates like occludeopen(t) representing 'permission to change'; a fluent may change only if its occlusion predicate is true at the next time point.

Summary

This introduces a gatekeeping rule: a state or property can only change from one moment to the next if the system has explicitly granted "permission" for that change at the upcoming time step. It matters because it gives the system a clean way to block unintended or unexplained changes, so that properties stay stable unless something actively allows them to shift.