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 E

The Event Calculus and Temporal Action Logics

Abstract We compare the event calculus with support for events with duration and temporal action logic (TAL) 1.0. We start by restricting the event calculus and TAL 1.0 to integer time, inertial fluents, and relational fluents. We further restrict TAL 1.0 action type specifications to definite reassignment of a single fluent. We then prove that these restricted versions are not equivalent. We show that equivalence cannot be restored even if more general TAL action type specifications are used. We then further restrict the two formalisms to single-step actions and prove that these versions are logically equivalent.

Keywords Event calculus, Temporal action logics, Equivalence proof

In this ...

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