Göm menyn
Files: Description Format
Fulltext PDF (requires Acrobat Reader)
Fulltext part 1 PostScript (requires a PostScript Reader)
  Fulltext part 2 PostScript (requires a PostScript Reader)
   
Authors: Enrico Giunchiglia and Vladimir Lifschitz
Article title: Action Languages, Temporal Action Logics and the Situation Calculus
Publ. type: Article
Volume: 4
Article No: 40
Language: English
Abstract [en]: 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.
Publisher: Linköping University Electronic Press
Year: 1999
Available: 1999-12-22
No. of pages: 19
Series: Linköping Electronic Articles in Computer and Information Science
ISSN: 1401-9841


Responsible for this page: Peter Berkesand
Last updated: 2017-02-21