O'Reilly logo

Commonsense Reasoning, 2nd Edition 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

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

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