The Triggering of Events
Abstract
We discuss the representation of triggered events in the event calculus. A triggered event is an event that occurs when a particular condition becomes true. An example of a triggered event is a ball bouncing off of a wall when it reaches the wall. We also discuss triggered fluents.
Keywords
Commonsense reasoning
Event calculus
Reasoning about action and change
Triggered events
Natural actions
Triggered fluents
So far, we have addressed that when an event occurs, a fluent changes its truth value. What about the opposite? That is, when a fluent changes its truth value, an event occurs; more generally, when a particular condition becomes true, an event occurs. We call such an event a triggered event ...
Get Commonsense Reasoning, 2nd Edition 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.