Akari Asai, Zeqiu Wu, et al.
ICLR 2024
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.
Akari Asai, Zeqiu Wu, et al.
ICLR 2024
Dzung Phan, Vinicius Lima
INFORMS 2023
Ryan Johnson, Ippokratis Pandis
CIDR 2013
Joseph Y. Halpern
aaai 1996