Event calculus and temporal action logics compared |
| |
Authors: | Erik T Mueller |
| |
Affiliation: | IBM Thomas J. Watson Research Center, P.O. Box 704, Yorktown Heights, NY 10598, USA |
| |
Abstract: | 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. |
| |
Keywords: | Commonsense reasoning Reasoning about action and change Event calculus Temporal action logics (TAL) |
本文献已被 ScienceDirect 等数据库收录! |
|