The Effects of Events
Events change the state of the world. When an event occurs, some properties of the world that are false become true and some properties of the world that are true become false. This chapter is concerned with the representation of the effects of events on world properties. We discuss positive and negative effect axioms, commonly used effect axiom idioms, preconditions, and state constraints.
3.1 Positive and Negative Effect Axioms
In the event calculus, the effects of events are described by two predicates. The predicate Initiates(α, β, τ) represents that, if an event α occurs at timepoint τ, then fluent β will be true after τ. The predicate Terminates(α, β, τ) represents that, if an event α occurs at timepoint ...
Get Commonsense Reasoning now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
