Linkping University Electronic Press

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.

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