Large Language Model Evaluation on Financial Benchmarks
Bing Zhang, Mikio Takeuchi, et al.
ICAIF 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.
Bing Zhang, Mikio Takeuchi, et al.
ICAIF 2024
Matteo Baldoni, Nirmit Desai, et al.
AAMAS 2009
Fahiem Bacchus, Joseph Y. Halpern, et al.
IJCAI 1995
Vitaly Feldman
JMLR