Event Calculus

Origin. Kowalski and Sergot introduced Event Calculus (1986). Formalism for reasoning about events and their effects. Alternative to Situation Calculus. Based on time points and fluents. Better handles continuous time and narrative.

Models. Events, times, and fluents. Events: instantaneous occurrences. Fluents: properties that change over time. Events initiate and terminate fluents. Frame axioms implicit via persistence. Time can be discrete or continuous.

Formalism.

Basic predicates:

Happens(e, t): event e occurs at time t
Initiates(e, f, t): event e initiates fluent f at t
Terminates(e, f, t): event e terminates fluent f at t
HoldsAt(f, t): fluent f holds at time t
Clipped(t₁, f, t₂): f terminated between t₁ and t₂

Persistence axiom: HoldsAt(f, t₂) ← Happens(e, t₁) ∧ t₁ < t₂ ∧ Initiates(e, f, t₁) ∧ ¬Clipped(t₁, f, t₂)

Clipped(t₁, f, t₂) ↔ ∃e,t. Happens(e, t) ∧ t₁ < t < t₂ ∧ Terminates(e, f, t)

Circumscription: Minimize Happens, Initiates, Terminates. Commonsense: only stated events occur.

Ramifications: State constraints: ¬(HoldsAt(f, t) ∧ HoldsAt(g, t)) Trigger indirect effects.

Example: Initiates(TurnOn(l), Lit(l), t) Terminates(TurnOff(l), Lit(l), t) Happens(TurnOn(lamp1), 5) ⊢ HoldsAt(Lit(lamp1), 10)

Continuous change: Trajectory(f, t₁, f', d): f changes to f' over duration d. Models gradual processes.

Symbols.

Symbol	Unicode	Name	Meaning
←	U+2190	Leftwards arrow / Rule	Head holds if body holds
↔	U+2194	Biconditional	Definitional form of Clipped
∧	U+2227	Conjunction	Joins the conditions of an axiom
¬	U+00AC	Negation	Absence of an interrupting event
∃	U+2203	Existential quantifier	Some event at some intervening time
<	U+003C	Less-than sign	Temporal precedence of time points
⊢	U+22A2	Turnstile / Derivability	Conclusion drawn in the example
Happens	—	Occurrence	Event e occurs at time t
HoldsAt	—	Truth at a time	Fluent f is true at time t
Initiates	—	Initiation	Event e makes fluent f start to hold
Terminates	—	Termination	Event e makes fluent f cease to hold
Clipped	—	Interruption	f is terminated somewhere in the interval
Trajectory	—	Continuous change	Value of a fluent as a function of elapsed time
e	—	Event	Instantaneous occurrence
f	—	Fluent	Time-varying property
t	—	Time point	Element of the temporal order

Metatheory. The calculus is a first-order theory whose closure comes from a circumscription policy rather than from frame axioms: Happens, Initiates and Terminates are minimized while HoldsAt is allowed to vary, so only the stated events occur and only the stated effects follow. For the standard shape of domain description the theory is separable in Lifschitz's sense, the circumscriptions reduce to predicate completion, and the second-order quantifier disappears — which is what makes the logic-programming and answer-set implementations faithful rather than merely convenient. Mueller (2004) showed that the discrete event calculus axioms are equivalent to the classical ones when time ranges over the integers, so reasoning over a bounded window reduces to propositional satisfiability and becomes decidable. Kowalski and Sadri (1997) established intertranslatability with the situation calculus for a class of theories, showing the two formalize the same content under different ontologies: a narrative laid on a time line against a branching tree of action histories.

Applies to. Narrative understanding. Planning and scheduling. Legal reasoning (contract execution). Databases (temporal queries). Robotics (action effects). Biomedical processes. Business process modeling.

Limitations. The closure is supplied by circumscription, so where a domain description falls outside the separable shape the second-order quantifier does not eliminate and there is no first-order theory left to reason in, let alone a proof system; the well-behaved cases are exactly those predicate completion happens to cover. Events are instantaneous by definition, so duration and overlap are not in the base ontology, and concurrency requires added axioms under which the effects of simultaneous events can cancel or conflict with no principle in the calculus deciding the outcome. Continuous change is handled by Trajectory, which interpolates between stipulated values; differential constraints cannot be expressed. State constraints reintroduce the ramifications that Initiates and Terminates were meant to enumerate away, and reconciling the two demands a separate account of causal propagation. Over an unbounded time line the theory is undecidable — the satisfiability-based procedures decide only because the window is fixed in advance.