event-calculus-initiates-terminates-holdsat

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

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

The event calculus uses predicates initiates(E, F, T), terminates(E, F, T), happensAt(E, T), and a single holdsAt inertia axiom to solve the frame problem.

Summary

The Event Calculus tracks what is true over time by only recording what explicitly starts and stops changing, then assuming everything else persists by default. This gives the system a compact way to reason about how the world evolves after each event without having to restate every unchanged fact, which would otherwise explode combinatorially.