Tushar Deepak Chandra, Sam Toueg
Journal of the ACM
We compare the event calculus and temporal action logics (TAL), two formalisms for reasoning about action and change. We prove that, if the formalisms are restricted to integer time, inertial fluents, and relational fluents, and if TAL action type specifications are restricted to definite reassignment of a single fluent, then the formalisms are not equivalent. We argue that equivalence cannot be restored by using more general TAL action type specifications. We prove however that, if the formalisms are further restricted to single-step actions, then they are logically equivalent. © 2006 Elsevier B.V. All rights reserved.
Tushar Deepak Chandra, Sam Toueg
Journal of the ACM
Hong Guan, Saif Masood, et al.
SoCC 2023
Arnold L. Rosenberg
Journal of the ACM
Kazuaki Ishizaki, Takeshi Ogasawara, et al.
VEE 2012