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