O'Reilly logo

Commonsense Reasoning by Erik T. Mueller

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

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 ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required