asp-inertia-rule-strong-negation-syntax
IN premise — summaries/2026/08/24/wiki-Frame_problem-chunk-2.md
Created 2026-08-25T02:58:48+00:00
The Answer Set Programming inertia rule is expressed as: r(X, T+1) ← r(X, T), not ~r(X, T+1), using strong negation to express 'the fluent is not explicitly made false.'
Summary
Inertia in this system means a property keeps holding over time unless something explicitly declares it false, and the syntax relies on a specific distinction: "not explicitly made false" is a stronger condition than simply "we can't prove it's false." This matters because it prevents the system from accidentally losing facts just because no rule reasserts them, which would make temporal reasoning unstable and overly sensitive to gaps in the knowledge base.