Appendix D

The Discrete Event Calculus with Branching Time

Abstract In this appendix, we present BDEC, a branching time version of the discrete event calculus. We characterize the relationship between BDEC and the linear discrete event calculus, and between BDEC and a simple version of the situation calculus.

Keywords Event calculus, Discrete event calculus with branching time, Situation calculus

In this appendix, we present BDEC, a branching time version of the discrete event calculus.1 We characterize the relationship between BDEC and the linear discrete event calculus, and between BDEC and a simple version of the situation calculus.

D.1 LDEC

We start by defining LDEC, a version of the linear discrete event calculus, which facilitates comparison ...

Get Commonsense Reasoning, 2nd Edition now with O’Reilly online learning.

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