Enrico Giunchiglia and Vladimir Lifschitz
In the first part of the paper, we investigate the relationship between the action description language C and the situation calculus. Action description languages are based on the model of time that includes only two time instants: 0 for the beginning of the execution of an action and 1 for the end. The ontology of time in the situation calculus is much more elaborate. We show how to bridge the gap between these two ontologies by defining a translation from C into the situation calculus. The second part of the paper relates C to the formalism of temporal action logics (TAL) by showing how a fragment of C can be embedded into TAL
View:
PS
Citation:
In Working Notes of the IJCAI-99 Workshop on Nonmonotonic Reasoning, Action, and Change 1999.
Bibtex:

Vladimir Lifschitz Faculty vl [at] cs utexas edu