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 O’Reilly online learning.

O’Reilly members experience live online training, plus books, videos, and digital content from 200+ publishers.