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