CHAPTER 8

Concurrent Events

The event calculus allows several events to occur at the same time, because we may have event occurrences Happens1, τ1) and Happens2, τ2) such that α1 ≠ α2 and τ1 = τ2. In this case, we say that the event occurrences are concurrent or simultaneous. In this chapter, we first consider some concurrent event occurrences that we might want to prohibit and methods for prohibiting them. Then, we discuss concurrent event occurrences that have cumulative and canceling effects and how to handle them.

8.1 Restricting Concurrency

The commonsense world places certain restrictions on what events can occur simultaneously. This section presents two methods for representing these restrictions in the event calculus: (1) state ...

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.