Title: Action Languages, Temporal Action Logics and the Situation Calculus
Authors: Enrico Giunchiglia and Vladimir Lifschitz
Series: Linkping Electronic Articles in Computer and Information Science
ISSN 1401-9841
Issue: Vol. 4 (1999), No. 040
URL: http://www.ep.liu.se/ea/cis/1999/040/

Abstract: 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.

Original publication 1999-12-22 Postscript part I -- Checksum
Checksum (old) Information about recalculation of checksum
Postscript part II -- Checksum II
Checksum II (old) Information about recalculation of checksum