Files: Description File size Format
Fulltext
Original
PDF (requires Acrobat Reader)
Fulltext
1 st Revised
PDF (requires Acrobat Reader)
Fulltext
Original
PostScript (requires a PostScript Reader)
  Fulltext
1st Revised
PostScript (requires a PostScript Reader)
   
Authors: Patrick Doherty, Joakim Gustafsson, Lars Karlsson, and Jonas Kvarnström
Article title: TAL: Temporal Action Logics Language <> Specification and Tutorial
Publ. type: Article
Volume: 3
Article No: 15
Language: English
Abstract [en]: The purpose of this article is to provide a uniform, lightweight language specification and tutorial for a class of temporal logics for reasoning about action and change that has been developed by our group during the period 1994-1998. The class of logics are collected under the name TAL, an acronym for Temporal Action Logics. TAL has its origins and inspiration in the work with Features and Fluents (FF) by Sandewall, but has diverged from the methodology and approach through the years. We first discuss distinctions and compatibility with FF, move on to the lightweight language specification, and then present a tutorial in terms of an excursion through the different parts of a relatively complex narrative defined using TAL. We conclude with an annotated list of published work from our group. The article tries to strike a reasonable balance between detail and readability, making a number of simplifications regarding narrative syntax and translation to a base logical language. Full details are available in numerous technical reports and articles which are listed in the final section of this article.
PDF
Publisher: Linköping University Electronic Press
Year: 1998
Available: Original 1998-10-05, 1st Revised 1999-07-15
No. of pages: Original 32 and 1st Revised 32
Series: Linköping Electronic Articles in Computer and Information Science
ISSN: 1401-9841
REFERENCE TO THIS PAGE:
Doherty, Patrick ; Gustafsson, Joakim ; Karlsson, Lars and Kvarnström, Jonas (1998). TAL: Temporal Action Logics Language <> Specification and Tutorial in Linköping Electronic Articles in Computer and Information Science, Vol. 3. http://www.ep.liu.se/ea/cis/1998/015/. ()